mempty

Synopsis

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

Description

mempty is a metafunction for the mempty operation of the monoid typeclass.

Header

#include <mpllibs/metamonad/mempty.hpp>

Expression semantics

For any MonadTag tag:

mempty<MonadTag>

is equivalent to

monoid<MonadTag>::mempty

Example

typedef mempty<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

[up]