Contents Index

Org.Org.Semantic.HBase.Category.GuardContinuationPass

Synopsis

data GuardContinuationPass u p a

Documentation

data GuardContinuationPass u p a

a continuation-passing monad with guard (as in Scheme's dynamic-wind) Instances MonadRun p (GuardContinuationPass u p) Monad m => LiftedMonad m (GuardContinuationPass u (m k)) (MonadStandardReference m r, MonadFix m) => MonadFix (GuardContinuationPass u (m ())) Eq u => HasContinuations (WinderStack u p, p) (GuardContinuationPass u p) Eq u => MonadCont (GuardContinuationPass u p) Eq u => MonadExit p (GuardContinuationPass u p) MonadBottom m => MonadBottom (GuardContinuationPass u (m k)) MonadUnique m u => MonadGuard (GuardContinuationPass u (m k)) ??? a p u => HasReturn (GuardContinuationPass u p a) ??? a p u => Functor (GuardContinuationPass u p a) ??? a p u => FunctorApply (GuardContinuationPass u p a) ??? a p u => Monad (GuardContinuationPass u p a) MonadGettableReference m IORef => MonadGettableReference (GuardContinuationPass u (m p)) IORef MonadSettableReference m IORef => MonadSettableReference (GuardContinuationPass u (m p)) IORef MonadCreatable m IORef => MonadCreatable (GuardContinuationPass u (m p)) IORef MonadStandardReference m IORef => MonadStandardReference (GuardContinuationPass u (m p)) IORef

Produced by Haddock version 0.6