LIO.Monad

Documentation

class (Label l, Monad m) => MonadLIO l m | m -> l where

Synonym for monad in which LIO is the base monad.

Minimal complete definition

liftLIO

Methods

liftLIO :: LIO l a -> m a

Lift an LIO computation.

Instances

Label l => MonadLIO l (LIO l)

Methods

liftLIO :: LIO l a -> LIO l a