maybe monad

This is the C++ template metaprogramming equivalent of Haskell's Maybe monad. The purpose of this monad is to provide basic error handling for pure code. Note that metamonad offers a higher level error handling monad, the exception monad.

Monadic values comprise nothing and just<T>, where T is a nullary metafunction. just evaluates its argument. nothing represents error, just represents normal result.

General information