Contents Index

Org.Org.Semantic.HBase.Category.LiftedMonad

Synopsis

class (Monad l, Monad m) => LiftedMonad l m | m -> l where lift :: l a -> m a class LiftedMonad l m => StrictlyLiftedMonad l m | m -> l where getUnlift :: m (m a -> l a) class StrictlyLiftedMonad l m => ReverseLiftedMonad l m | m -> l where unlift :: m a -> l a callWithMap :: StrictlyLiftedMonad l m => ((m a -> l a) -> l b) -> m b

Documentation

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

exactly one 'lift' level Methods lift :: l a -> m a Instances Monad m => LiftedMonad m (Contextual m context) Monad m => LiftedMonad m (ContinuationPass (m a)) Monad m => LiftedMonad m (ExceptionContinuationPass (m a) ex) Monad m => LiftedMonad m (ExceptionMonad m ex) Monad m => LiftedMonad m (GuardContinuationPass u (m k)) Monad m => LiftedMonad m (OrMonad m) Monad m => LiftedMonad m (PlusMonad m) (Monad m, Monad n, ExtractableFunctor n) => LiftedMonad m (StackedMonad m n) Monad m => LiftedMonad m (StateMonad m state) LiftedMonad IO IO Monad m => LiftedMonad m (LiftedListParser m t) Monad m => LiftedMonad m (LookaheadListParser m t) Monad m => LiftedMonad m (MonadPossible m [t]) Monad m => LiftedMonad m (MonadPossible m [t])

class LiftedMonad l m => StrictlyLiftedMonad l m | m -> l where

Methods getUnlift :: m (m a -> l a) Instances Monad m => StrictlyLiftedMonad m (Contextual m context) MonadStandardReference m r => StrictlyLiftedMonad m (ContinuationPass (m ())) (MonadStandardReference m r, MonadThrow ex m) => StrictlyLiftedMonad m (ExceptionContinuationPass (m ()) ex) StrictlyLiftedMonad IO IO

class StrictlyLiftedMonad l m => ReverseLiftedMonad l m | m -> l where

Methods unlift :: m a -> l a Instances MonadStandardReference m r => ReverseLiftedMonad m (ContinuationPass (m ())) (MonadStandardReference m r, MonadThrow ex m) => ReverseLiftedMonad m (ExceptionContinuationPass (m ()) ex)

callWithMap :: StrictlyLiftedMonad l m => ((m a -> l a) -> l b) -> m b

Produced by Haddock version 0.6