ixmonad-0.30: Indexed monads library
Control.IxMonad.Update
data Put a Source
Constructors
Instances
data NoPut Source
class UpdateBind s t whereSource
Methods
bind :: (s, a) -> (a -> (t, b)) -> (Plus (,) s t, b)Source
put :: a -> (Put a, ())Source