Modulefused-effects-1.1.2.7Haskell2010

Control.Carrier.Cut.Church

A carrier for Cut and NonDet effects used in tandem (Cut :+: NonDet).

Contents

Synopsis

Cut carrier

valuerunCut :: (a -> m b -> m b) -> m b -> m b -> CutC m a -> m b

Run a Cut effect with continuations respectively interpreting pure / <|>, empty, and cutfail.

runCut cons nil fail (pure a <|> empty) = cons a nil

runCut cons nil fail cutfail = fail

runCut cons nil fail (call cutfail) = nil

valuerunCutA :: (Alternative f, Applicative m) => CutC m a -> m (f a)

Run a Cut effect, returning all its results in an Alternative collection.

valuerunCutM :: (Applicative m, Monoid b) => (a -> b) -> CutC m a -> m b

Run a Cut effect, mapping results into a Monoid.

newtypenewtype CutC (m :: Type -> Type) a

Instances10MonadTrans, Monad, Functor, MonadFix, MonadFail, Applicative, …

MonadTrans CutCDefined in fused-effects-1.1.2.7 · Control.Carrier.Cut.Church
Monad (CutC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Cut.Church
Functor (CutC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Cut.Church
MonadFix m => MonadFix (CutC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Cut.Church
A single fixpoint is shared between all branches.
MonadFail m => MonadFail (CutC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Cut.Church
Applicative (CutC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Cut.Church
Alternative (CutC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Cut.Church
MonadPlus (CutC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Cut.Church
MonadIO m => MonadIO (CutC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Cut.Church
Algebra sig m => Algebra (Cut :+: (NonDet :+: sig)) (CutC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Cut.Church

module Control.Effect.Cut

module Control.Effect.NonDet