mpc::monads Namespace Reference

Methods deducible from other methods of monad . More...

Variables
constexpr partial< detail::fmap_op >	fmap {}
	fmap :: (a -> b) -> f a -> f b More...
constexpr partial< detail::seq_apply_op >	seq_apply {}
	seq_apply :: f (a -> b) -> f a -> f b More...
constexpr partial< detail::discard1st_op >	discard1st {}
	discard1st :: f a -> f b -> f b More...

Detailed Description

Methods deducible from other methods of monad .

Variable Documentation

discard1st

constexpr partial<detail::discard1st_op> mpc::monads::discard1st {}

inlineconstexpr

discard1st :: f a -> f b -> f b

(*>) in Haskell

discard1st m1 m2 = m1 `bind` (constant m2)

fmap

constexpr partial<detail::fmap_op> mpc::monads::fmap {}

inlineconstexpr

fmap :: (a -> b) -> f a -> f b

fmap f xs = xs `bind` (returns . f)

seq_apply

constexpr partial<detail::seq_apply_op> mpc::monads::seq_apply {}

inlineconstexpr

seq_apply :: f (a -> b) -> f a -> f b

(<*>) in Haskell

seq_apply mf xs = mf `bind` (\f -> xs `bind` (returns . f))