ixmonad-0.30: Indexed monads library

Safe HaskellNone

Control.IxMonad.Update

Documentation

data Put a Source

Constructors

Put a 

Instances

UpdateBind s (Put t) 
Show a => Show (Put a) 

data NoPut Source

Constructors

NoPut 

Instances

class UpdateBind s t whereSource

Methods

bind :: (s, a) -> (a -> (t, b)) -> (Plus (,) s t, b)Source

Instances

put :: a -> (Put a, ())Source