ยค reactiveF, reactiveSP, et al

Types

reactiveF :: (a -> ReactionM t b a2) -> t -> F a b
reactiveSP :: (a -> ReactionM t b a2) -> t -> SP a b
data ReactionM s o a = M (s -> [o] -> Maybe (s, [o], a))
instance Functor (ReactionM s o)
instance Applicative (ReactionM s o)
instance Monad (ReactionM s o)

get :: ReactionM a o a
put :: a1 -> ReactionM a2 a1 ()
set :: s -> ReactionM s o ()
update :: (t -> t) -> ReactionM t o ()
rfail :: ReactionM s o a
nop :: Monad m => m ()
lift :: Maybe a -> ReactionM s o a
react :: ReactionM a1 o a2 -> a1 -> (a1, [o])

Description

Program stateful abstract fudgets in a monadic style