Control.IxMonad.Update

Documentation

data Put a

Constructors

Put a

Instances

UpdateBind s (Put t)

Show a => Show (Put a)

data NoPut

Constructors

NoPut

Instances

Show NoPut

UpdateBind s NoPut

class UpdateBind s t where

Methods

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

Instances

UpdateBind s NoPut

UpdateBind s (Put t)

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