Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Synopsis
- newtype ReactionM s o a = M (s -> [o] -> Maybe (s, [o], a))
- react :: ReactionM a o a -> a -> (a, [o])
- put :: o -> ReactionM s o ()
- 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 ()
Documentation
newtype ReactionM s o a Source #
Writer & State & Exception monad
Instances
MonadFail (ReactionM s o) Source # | |
Applicative (ReactionM s o) Source # | |
Defined in ReactionM 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 # | |
Functor (ReactionM s o) Source # | |
Monad (ReactionM s o) Source # | |