Contents Index

Org.Org.Semantic.HBase.Category.MonadRun

Synopsis

class Monad m => MonadRun q m where runMonad :: forall a . (a -> q) -> m a -> q doRunMonad :: MonadRun q m => m q -> q doMonadRunMonad :: (HasReturn n, MonadRun (n a) m) => m a -> n a

Documentation

class Monad m => MonadRun q m where

a monad that you can "run" Methods runMonad :: forall a . (a -> q) -> m a -> q Instances MonadRun p (ContinuationPass p) MonadRun (Result ex q) (ExceptionContinuationPass (Result ex q) ex) MonadRun (Result ex p) m => MonadRun (Result ex p) (ExceptionMonad m ex) MonadRun p (GuardContinuationPass u p) Monad m => MonadRun (m b) m

doRunMonad :: MonadRun q m => m q -> q

doMonadRunMonad :: (HasReturn n, MonadRun (n a) m) => m a -> n a

Produced by Haddock version 0.6