ixmonad-0.50: Embeds effect systems into Haskell using an parameteric effect monad (the |Effect| type class)
Control.Effect.Update
data Eff w where Source
Constructors
data Update w a Source
Fields
Instances
update :: Eff s -> (b, Eff t) -> (b, Eff (Plus Update s t)) Source
put :: a -> Update (Just a) () Source