identity.hpp File Reference

#include <functional>
#include <mpc/control/monad.hpp>
#include <mpc/functional/partial.hpp>
#include <mpc/prelude.hpp>
#include <mpc/utility/copyable_box.hpp>

Go to the source code of this file.

Classes
struct	mpc::Identity< T >
	newtype Identity a = Identity { runIdentity :: a } More...
struct	mpc::detail::is_Identity_impl< class >
struct	mpc::detail::is_Identity_impl< Identity< T > >
struct	mpc::detail::make_Identity_op
struct	mpc::detail::run_Identity_op
struct	mpc::monad_traits< Identity< T > >
struct	mpc::monad_traits< Identity< T > >::bind_op
	(>>=) :: forall a b. m a -> (a -> m b) -> m b More...
struct	mpc::functor_traits< Identity< T > >
struct	mpc::functor_traits< Identity< T > >::fmap_op
struct	mpc::applicative_traits< Identity< T > >

Namespaces
namespace	mpc::detail
	Implementation details are here.
namespace	mpc::cpo
	Customization point objects are here.

Functions
template<class T >
	mpc::Identity (T) -> Identity< T >

Variables
constexpr partial< detail::make_Identity_op >	mpc::cpo::make_Identity {}
constexpr partial< detail::run_Identity_op >	mpc::cpo::run_Identity {}