ixmonad-0.30: Indexed monads library

Safe Haskell	None

Control.IxMonad.Monad

Documentation

data Monad m t a whereSource

Constructors

Wrap :: Monad m => m a -> Monad m () a

Instances

Monad m => IxMonad (Monad m)

unWrap :: Monad m t a -> m aSource