Org.Org.Semantic.HBase.Category.Contextual

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