ReactionM

Documentation

newtype ReactionM s o a

Writer & State & Exception monad

Constructors

M (s -> [o] -> Maybe (s, [o], a))

Instances

Monad (ReactionM s o)

Defined in ReactionM

Methods

(>>=) :: ReactionM s o a -> (a -> ReactionM s o b) -> ReactionM s o b

(>>) :: ReactionM s o a -> ReactionM s o b -> ReactionM s o b

return :: a -> ReactionM s o a

Functor (ReactionM s o)

Defined in ReactionM

Methods

fmap :: (a -> b) -> ReactionM s o a -> ReactionM s o b

(<$) :: a -> ReactionM s o b -> ReactionM s o a

MonadFail (ReactionM s o)

Defined in ReactionM

Methods

fail :: String -> ReactionM s o a

Applicative (ReactionM s o)

Defined in ReactionM

Methods

pure :: a -> ReactionM s o a

(<*>) :: ReactionM s o (a -> b) -> ReactionM s o a -> ReactionM s o b

liftA2 :: (a -> b -> c) -> ReactionM s o a -> ReactionM s o b -> ReactionM s o c

(*>) :: ReactionM s o a -> ReactionM s o b -> ReactionM s o b

(<*) :: ReactionM s o a -> ReactionM s o b -> ReactionM s o a

react :: ReactionM a1 o a2 -> a1 -> (a1, [o])

put :: a1 -> ReactionM a2 a1 ()

set :: s -> ReactionM s o ()

get :: ReactionM a o a

field :: (a -> b) -> ReactionM a o b

update :: (t -> t) -> ReactionM t o ()

rfail :: ReactionM s o a

lift :: Maybe a -> ReactionM s o a

nop :: Monad m => m ()