ixmonad-0.30: Indexed monads library

Safe HaskellNone

Control.IxMonad.Maybe

Documentation

data F Source

data T Source

data U Source

data IMaybe p a whereSource

Constructors

INothing :: IMaybe F a 
IJust :: a -> IMaybe T a 
IDyn :: IMaybe s a -> IMaybe U a 

Instances