ixmonad-0.2: Indexed monads library
Control.IxMonad
class IxMonad m whereSource
Associated Types
type Unit m Source
type Plus m s t Source
type Inv m s t :: ConstraintSource
Methods
return :: a -> m (Unit m) aSource
(>>=) :: Inv m s t => m s a -> (a -> m t b) -> m (Plus m s t) bSource
(>>) :: Inv m s t => m s a -> m t b -> m (Plus m s t) bSource
Instances
fail :: aSource