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

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

Defined in Control.Effect.Cull

Methods

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

ret :: 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 => 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 :: ReaderC Bool (NonDetC m) a

Instances

MonadTrans CullC

Defined in Control.Effect.Cull

Methods

lift :: Monad m => m a -> CullC m a

Monad (CullC m)

Defined in Control.Effect.Cull

Methods

(>>=) :: CullC m a -> (a -> CullC m b) -> CullC m b

(>>) :: CullC m a -> CullC m b -> CullC m b

return :: a -> CullC m a

fail :: String -> CullC m a

Functor (CullC m)

Defined in Control.Effect.Cull

Methods

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

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

MonadFail m => MonadFail (CullC m)

Defined in Control.Effect.Cull

Methods

fail :: String -> CullC m a

Applicative (CullC m)

Defined in Control.Effect.Cull

Methods

pure :: a -> CullC m a

(<*>) :: CullC m (a -> b) -> CullC m a -> CullC m b

liftA2 :: (a -> b -> c) -> CullC m a -> CullC m b -> CullC m c

(*>) :: CullC m a -> CullC m b -> CullC m b

(<*) :: CullC m a -> CullC m b -> CullC m a

MonadIO m => MonadIO (CullC m)

Defined in Control.Effect.Cull

Methods

liftIO :: IO a -> CullC m a

Alternative (CullC m)

Defined in Control.Effect.Cull

Methods

empty :: CullC m a

(<|>) :: CullC m a -> CullC m a -> CullC m a

some :: CullC m a -> CullC m [a]

many :: CullC m a -> CullC m [a]

MonadPlus (CullC m)

Defined in Control.Effect.Cull

Methods

mzero :: CullC m a

mplus :: CullC m a -> CullC m a -> CullC m a

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

Defined in Control.Effect.Cull

Methods

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

ret :: a -> CullC m a

runNonDetOnce :: (Alternative f, Carrier sig m, Effect sig) => OnceC m a -> m (f a)

Run a NonDet effect, returning the first successful result in an Alternative functor.

Unlike runNonDet, this will terminate immediately upon finding a solution.

run (runNonDetOnce (asum (map pure (repeat a)))) == [a]

run (runNonDetOnce (asum (map pure (repeat a)))) == Just a

newtype OnceC m a

Constructors

OnceC

Fields

• runOnceC :: CullC (NonDetC m) a

Instances

Monad (OnceC m)

Defined in Control.Effect.Cull

Methods

(>>=) :: OnceC m a -> (a -> OnceC m b) -> OnceC m b

(>>) :: OnceC m a -> OnceC m b -> OnceC m b

return :: a -> OnceC m a

fail :: String -> OnceC m a

Functor (OnceC m)

Defined in Control.Effect.Cull

Methods

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

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

MonadFail m => MonadFail (OnceC m)

Defined in Control.Effect.Cull

Methods

fail :: String -> OnceC m a

Applicative (OnceC m)

Defined in Control.Effect.Cull

Methods

pure :: a -> OnceC m a

(<*>) :: OnceC m (a -> b) -> OnceC m a -> OnceC m b

liftA2 :: (a -> b -> c) -> OnceC m a -> OnceC m b -> OnceC m c

(*>) :: OnceC m a -> OnceC m b -> OnceC m b

(<*) :: OnceC m a -> OnceC m b -> OnceC m a

MonadIO m => MonadIO (OnceC m)

Defined in Control.Effect.Cull

Methods

liftIO :: IO a -> OnceC m a

Alternative (OnceC m)

Defined in Control.Effect.Cull

Methods

empty :: OnceC m a

(<|>) :: OnceC m a -> OnceC m a -> OnceC m a

some :: OnceC m a -> OnceC m [a]

many :: OnceC m a -> OnceC m [a]

MonadPlus (OnceC m)

Defined in Control.Effect.Cull

Methods

mzero :: OnceC m a

mplus :: OnceC m a -> OnceC m a -> OnceC m a

(Carrier sig m, Effect sig) => Carrier (NonDet :+: sig) (OnceC m)

Defined in Control.Effect.Cull

Methods

eff :: (NonDet :+: sig) (OnceC m) (OnceC m a) -> OnceC m a

ret :: a -> OnceC m a