state.hpp File Reference

#include <functional>
#include <mpc/control/state/stateT.hpp>
#include <mpc/data/functor/identity.hpp>
#include <mpc/functional/partial.hpp>
#include <mpc/prelude/compose.hpp>
#include <mpc/prelude/fst.hpp>

Go to the source code of this file.

Classes
struct	mpc::detail::is_State_impl< class >
struct	mpc::detail::is_State_impl< StateT< S, M > >
struct	mpc::detail::make_State_op< S >
struct	mpc::detail::run_State_op
struct	mpc::detail::eval_State_op
struct	mpc::detail::exec_State_op
struct	mpc::detail::map_State_op

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

Typedefs
template<class S , is_Identity M>
using	mpc::State = StateT< S, M >
	type State s = StateT s Identity
template<is_State ST>
using	mpc::State_state_t = StateT_state_t< ST >
template<is_State ST>
using	mpc::State_monad_t = StateT_monad_t< ST >

Variables
template<class S >
constexpr partial< detail::make_State_op< S > >	mpc::cpo::make_State {}
constexpr partial< detail::run_State_op >	mpc::cpo::run_State {}
constexpr partial< detail::eval_State_op >	mpc::cpo::eval_State {}
constexpr partial< detail::exec_State_op >	mpc::cpo::exec_State {}
constexpr partial< detail::map_State_op >	mpc::cpo::map_State {}
constexpr auto	mpc::cpo::with_State = with_StateT