template <class MonadTag>
struct mzero
{
// unspecified
};
mzero
is a metafunction for the mzero
operation of the monad plus typeclass.
#include <mpllibs/metamonad/mzero.hpp>
For any MonadTag
tag:
mzero<MonadTag>
is equivalent to
monad_plus<MonadTag>::mzero
typedef mzero<list_tag>::type empy_list;
Copyright Abel Sinkovics (abel at elte dot hu) 2011. Distributed under the Boost Software License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt