ContentsIndex
Org.Org.Semantic.HBase.Category.Contextual
Synopsis
newtype Contextual f a b = MkContextual {
unContextual :: (a -> f b)
}
mapContext :: (context2 -> context1) -> Contextual f context1 a -> Contextual f context2 a
getContextual :: HasReturn m => Contextual m context context
doContextual :: context -> Contextual f context a -> f a
mapFContextual :: (f a -> g b) -> Contextual f context a -> Contextual g context b
Documentation
newtype Contextual f a b
general contextual type aka 'Kleisli'
Constructors
MkContextual
unContextual :: (a -> f b)
Instances
Functor f => Functor (Contextual f context)
Cofunctor2 (Contextual f)
HasReturn f => HasReturn (Contextual f context)
FunctorApply f => FunctorApply (Contextual f context)
Monad m => Monad (Contextual m context)
MonadGuard m => MonadGuard (Contextual m context)
MonadThrow ex m => MonadThrow ex (Contextual m context)
MonadException ex m => MonadException ex (Contextual m context)
MonadZero m => MonadZero (Contextual m context)
MonadOr m => MonadOr (Contextual m context)
MonadPlus m => MonadPlus (Contextual m context)
MonadFirst m => MonadFirst (Contextual m context)
MonadBottom m => MonadBottom (Contextual m context)
MonadFix m => MonadFix (Contextual m context)
MonadCont m => MonadCont (Contextual m context)
HasContinuations p m => HasContinuations p (Contextual m context)
Monad m => LiftedMonad m (Contextual m context)
Monad m => StrictlyLiftedMonad m (Contextual m context)
Monad m => Compositor (Contextual m)
Monad m => Arrow (Contextual m)
Monad m => ProductArrow (Contextual m)
Monad m => CoproductArrow (Contextual m)
MonadFix m => ArrowFix (Contextual m)
Monad m => ApplyArrow (Contextual m)
Monad m => MonadParser t (Contextual m (m t))
mapContext :: (context2 -> context1) -> Contextual f context1 a -> Contextual f context2 a
getContextual :: HasReturn m => Contextual m context context
doContextual :: context -> Contextual f context a -> f a
mapFContextual :: (f a -> g b) -> Contextual f context a -> Contextual g context b
Produced by Haddock version 0.6