Control.Effect.Cull

Documentation

data Cull m k

Cull effects are used with NonDet to provide control over branching.

Constructors

Cull (m a) (a -> k)

Instances

Effect Cull

Defined in Control.Effect.Cull

Methods

handle :: Functor f => f () -> (forall x. f (m x) -> n (f x)) -> Cull m (m a) -> Cull n (n (f a))

HFunctor Cull

Defined in Control.Effect.Cull

Methods

fmap' :: (a -> b) -> Cull m a -> Cull m b

hmap :: (forall x. m x -> n x) -> Cull m a -> Cull n a

Functor (Cull m)

Defined in Control.Effect.Cull

Methods

fmap :: (a -> b) -> Cull m a -> Cull m b

(<$) :: a -> Cull m b -> Cull m a

(Alternative m, Carrier sig m, Effect sig, Monad m) => Carrier (Cull :+: (NonDet :+: sig)) (CullC m)

Defined in Control.Effect.Cull

Methods

ret :: a -> CullC m a

eff :: (Cull :+: (NonDet :+: sig)) (CullC m) (CullC m a) -> CullC m a

cull :: (Carrier sig m, Member Cull sig) => m a -> m a

Cull nondeterminism in the argument, returning at most one result.

run (runNonDet (runCull (cull (pure a <|> pure b)))) == [a]

run (runNonDet (runCull (cull (pure a <|> pure b) <|> pure c))) == [a, c]

run (runNonDet (runCull (cull (asum (map pure (repeat a)))))) == [a]

runCull :: (Alternative m, Carrier sig m, Effect sig, Monad m) => Eff (CullC m) a -> m a

Run a Cull effect. Branches outside of any cull block will not be pruned.

run (runNonDet (runCull (pure a <|> pure b))) == [a, b]

newtype CullC m a

Constructors

CullC

Fields

• runCullC :: Bool -> m (Branch m () a)

Instances

(Alternative m, Carrier sig m, Effect sig, Monad m) => Carrier (Cull :+: (NonDet :+: sig)) (CullC m)

Defined in Control.Effect.Cull

Methods

ret :: a -> CullC m a

eff :: (Cull :+: (NonDet :+: sig)) (CullC m) (CullC m a) -> CullC m a