mzero

Synopsis

template <class MonadTag>
struct mzero
{
  // unspecified
};

Description

mzero is a metafunction for the mzero operation of the monad plus typeclass.

#include <mpllibs/metamonad/mzero.hpp>

Expression semantics

For any MonadTag tag:

mzero<MonadTag>

is equivalent to

monad_plus<MonadTag>::mzero

Example

typedef mzero<list_tag>::type empy_list;

[up]