Control.Effect

Documentation

class HFunctor sig => Carrier sig h | h -> sig

The class of carriers (results) for algebras (effect handlers) over signatures (effects), whose actions are given by the ret and eff methods.

Minimal complete definition

ret, eff

Instances

Carrier Void VoidC

Defined in Control.Effect.Void

Methods

ret :: a -> VoidC a

eff :: Void VoidC (VoidC a) -> VoidC a

Carrier sig carrier => Carrier sig (Eff carrier)

Defined in Control.Effect.Internal

Methods

ret :: a -> Eff carrier a

eff :: sig (Eff carrier) (Eff carrier a) -> Eff carrier a

Monad m => Carrier (Lift m) (LiftC m)

Defined in Control.Effect.Lift

Methods

ret :: a -> LiftC m a

eff :: Lift m (LiftC m) (LiftC m a) -> LiftC m a

(Carrier sig m, Effect sig) => Carrier (Fail :+: sig) (FailC m)

Defined in Control.Effect.Fail

Methods

ret :: a -> FailC m a

eff :: (Fail :+: sig) (FailC m) (FailC m a) -> FailC m a

(Carrier sig m, MonadIO m) => Carrier (Resource :+: sig) (ResourceC m)

Defined in Control.Effect.Resource

Methods

ret :: a -> ResourceC m a

eff :: (Resource :+: sig) (ResourceC m) (ResourceC m a) -> ResourceC m a

(Carrier sig m, Effect sig, Monad m) => Carrier (Fresh :+: sig) (FreshC m)

Defined in Control.Effect.Fresh

Methods

ret :: a -> FreshC m a

eff :: (Fresh :+: sig) (FreshC m) (FreshC m a) -> FreshC 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

(Alternative m, Carrier sig m, Effect sig, Monad m) => Carrier (Cut :+: (NonDet :+: sig)) (CutC m)

Defined in Control.Effect.Cut

Methods

ret :: a -> CutC m a

eff :: (Cut :+: (NonDet :+: sig)) (CutC m) (CutC m a) -> CutC m a

(Carrier sig m, Effect sig) => Carrier (Trace :+: sig) (TraceByReturningC m)

Defined in Control.Effect.Trace

Methods

ret :: a -> TraceByReturningC m a

eff :: (Trace :+: sig) (TraceByReturningC m) (TraceByReturningC m a) -> TraceByReturningC m a

Carrier sig m => Carrier (Trace :+: sig) (TraceByIgnoringC m)

Defined in Control.Effect.Trace

Methods

ret :: a -> TraceByIgnoringC m a

eff :: (Trace :+: sig) (TraceByIgnoringC m) (TraceByIgnoringC m a) -> TraceByIgnoringC m a

(MonadIO m, Carrier sig m) => Carrier (Trace :+: sig) (TraceByPrintingC m)

Defined in Control.Effect.Trace

Methods

ret :: a -> TraceByPrintingC m a

eff :: (Trace :+: sig) (TraceByPrintingC m) (TraceByPrintingC m a) -> TraceByPrintingC m a

(Alternative f, Carrier sig m, Effect sig, Traversable f, Monad f, Monad m) => Carrier (NonDet :+: sig) (OnceC f m)

Defined in Control.Effect.NonDet

Methods

ret :: a -> OnceC f m a

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

(Alternative f, Monad f, Traversable f, Carrier sig m, Effect sig, Applicative m) => Carrier (NonDet :+: sig) (AltC f m)

Defined in Control.Effect.NonDet

Methods

ret :: a -> AltC f m a

eff :: (NonDet :+: sig) (AltC f m) (AltC f m a) -> AltC f m a

(Carrier sig m, Effect sig, RandomGen g, Monad m) => Carrier (Random :+: sig) (RandomC g m)

Defined in Control.Effect.Random

Methods

ret :: a -> RandomC g m a

eff :: (Random :+: sig) (RandomC g m) (RandomC g m a) -> RandomC g m a

(Carrier sig m, Effect sig) => Carrier (State s :+: sig) (StateC s m)

Defined in Control.Effect.State

Methods

ret :: a -> StateC s m a

eff :: (State s :+: sig) (StateC s m) (StateC s m a) -> StateC s m a

(Carrier sig m, Monad m) => Carrier (Resumable err :+: sig) (ResumableWithC err m)

Defined in Control.Effect.Resumable

Methods

ret :: a -> ResumableWithC err m a

eff :: (Resumable err :+: sig) (ResumableWithC err m) (ResumableWithC err m a) -> ResumableWithC err m a

(Carrier sig m, Effect sig) => Carrier (Resumable err :+: sig) (ResumableC err m)

Defined in Control.Effect.Resumable

Methods

ret :: a -> ResumableC err m a

eff :: (Resumable err :+: sig) (ResumableC err m) (ResumableC err m a) -> ResumableC err m a

(Carrier sig m, Monad m) => Carrier (Reader r :+: sig) (ReaderC r m)

Defined in Control.Effect.Reader

Methods

ret :: a -> ReaderC r m a

eff :: (Reader r :+: sig) (ReaderC r m) (ReaderC r m a) -> ReaderC r m a

(Carrier sig m, Effect sig, Monad m) => Carrier (Error e :+: sig) (ErrorC e m)

Defined in Control.Effect.Error

Methods

ret :: a -> ErrorC e m a

eff :: (Error e :+: sig) (ErrorC e m) (ErrorC e m a) -> ErrorC e m a

(Monoid w, Carrier sig m, Effect sig, Monad m) => Carrier (Writer w :+: sig) (WriterC w m)

Defined in Control.Effect.Writer

Methods

ret :: a -> WriterC w m a

eff :: (Writer w :+: sig) (WriterC w m) (WriterC w m a) -> WriterC w m a

class HFunctor sig => Effect sig

The class of effect types, which must:

1. Be functorial in their last two arguments, and
2. Support threading effects in higher-order positions through using the carrier’s suspended state.

Minimal complete definition

handle

Instances

Effect Fail

Defined in Control.Effect.Fail.Internal

Methods

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

Effect NonDet

Defined in Control.Effect.NonDet.Internal

Methods

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

Effect Random

Defined in Control.Effect.Random.Internal

Methods

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

Effect Resource

Defined in Control.Effect.Resource

Methods

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

Effect Fresh

Defined in Control.Effect.Fresh

Methods

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

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))

Effect Cut

Defined in Control.Effect.Cut

Methods

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

Effect Trace

Defined in Control.Effect.Trace

Methods

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

Effect Void

Defined in Control.Effect.Void

Methods

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

Functor sig => Effect (Lift sig)

Defined in Control.Effect.Lift.Internal

Methods

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

Effect (State s)

Defined in Control.Effect.State

Methods

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

Effect (Resumable err)

Defined in Control.Effect.Resumable

Methods

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

Effect (Reader r)

Defined in Control.Effect.Reader

Methods

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

Effect (Error exc)

Defined in Control.Effect.Error

Methods

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

Effect (Writer w)

Defined in Control.Effect.Writer

Methods

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

(Effect l, Effect r) => Effect (l :+: r)

Defined in Control.Effect.Sum

Methods

handle :: Functor f => f () -> (forall x. f (m x) -> n (f x)) -> (l :+: r) m (m a) -> (l :+: r) n (n (f a))

data Fail (m :: * -> *) k

Instances

Effect Fail

Defined in Control.Effect.Fail.Internal

Methods

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

HFunctor Fail

Defined in Control.Effect.Fail.Internal

Methods

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

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

Functor (Fail m)

Defined in Control.Effect.Fail.Internal

Methods

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

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

(Carrier sig m, Effect sig) => Carrier (Fail :+: sig) (FailC m)

Defined in Control.Effect.Fail

Methods

ret :: a -> FailC m a

eff :: (Fail :+: sig) (FailC m) (FailC m a) -> FailC m a

data Lift sig (m :: * -> *) k

Instances

Functor sig => Effect (Lift sig)

Defined in Control.Effect.Lift.Internal

Methods

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

Functor sig => HFunctor (Lift sig)

Defined in Control.Effect.Lift.Internal

Methods

fmap' :: (a -> b) -> Lift sig m a -> Lift sig m b

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

Monad m => Carrier (Lift m) (LiftC m)

Defined in Control.Effect.Lift

Methods

ret :: a -> LiftC m a

eff :: Lift m (LiftC m) (LiftC m a) -> LiftC m a

Functor sig => Functor (Lift sig m)

Defined in Control.Effect.Lift.Internal

Methods

fmap :: (a -> b) -> Lift sig m a -> Lift sig m b

(<$) :: a -> Lift sig m b -> Lift sig m a

data NonDet (m :: * -> *) k

Instances

Effect NonDet

Defined in Control.Effect.NonDet.Internal

Methods

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

HFunctor NonDet

Defined in Control.Effect.NonDet.Internal

Methods

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

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

Functor (NonDet m)

Defined in Control.Effect.NonDet.Internal

Methods

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

(<$) :: a -> NonDet m b -> NonDet 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

(Alternative m, Carrier sig m, Effect sig, Monad m) => Carrier (Cut :+: (NonDet :+: sig)) (CutC m)

Defined in Control.Effect.Cut

Methods

ret :: a -> CutC m a

eff :: (Cut :+: (NonDet :+: sig)) (CutC m) (CutC m a) -> CutC m a

(Alternative f, Carrier sig m, Effect sig, Traversable f, Monad f, Monad m) => Carrier (NonDet :+: sig) (OnceC f m)

Defined in Control.Effect.NonDet

Methods

ret :: a -> OnceC f m a

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

(Alternative f, Monad f, Traversable f, Carrier sig m, Effect sig, Applicative m) => Carrier (NonDet :+: sig) (AltC f m)

Defined in Control.Effect.NonDet

Methods

ret :: a -> AltC f m a

eff :: (NonDet :+: sig) (AltC f m) (AltC f m a) -> AltC f m a

data Random m k

Instances

Effect Random

Defined in Control.Effect.Random.Internal

Methods

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

HFunctor Random

Defined in Control.Effect.Random.Internal

Methods

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

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

Functor (Random m)

Defined in Control.Effect.Random.Internal

Methods

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

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

(Carrier sig m, Effect sig, RandomGen g, Monad m) => Carrier (Random :+: sig) (RandomC g m)

Defined in Control.Effect.Random

Methods

ret :: a -> RandomC g m a

eff :: (Random :+: sig) (RandomC g m) (RandomC g m a) -> RandomC g m a

class Member (sub :: (* -> *) -> * -> *) sup

Minimal complete definition

inj, prj

Instances

Member sub sub

Defined in Control.Effect.Sum

Methods

inj :: sub m a -> sub m a

prj :: sub m a -> Maybe (sub m a)

Member sub sup => Member sub (sub' :+: sup)

Defined in Control.Effect.Sum

Methods

inj :: sub m a -> (sub' :+: sup) m a

prj :: (sub' :+: sup) m a -> Maybe (sub m a)

Member sub (sub :+: sup)

Defined in Control.Effect.Sum

Methods

inj :: sub m a -> (sub :+: sup) m a

prj :: (sub :+: sup) m a -> Maybe (sub m a)

data (f :+: g) (m :: * -> *) k infixr 4

Instances

Member sub sup => Member sub (sub' :+: sup)

Defined in Control.Effect.Sum

Methods

inj :: sub m a -> (sub' :+: sup) m a

prj :: (sub' :+: sup) m a -> Maybe (sub m a)

Member sub (sub :+: sup)

Defined in Control.Effect.Sum

Methods

inj :: sub m a -> (sub :+: sup) m a

prj :: (sub :+: sup) m a -> Maybe (sub m a)

(Effect l, Effect r) => Effect (l :+: r)

Defined in Control.Effect.Sum

Methods

handle :: Functor f => f () -> (forall x. f (m x) -> n (f x)) -> (l :+: r) m (m a) -> (l :+: r) n (n (f a))

(HFunctor l, HFunctor r) => HFunctor (l :+: r)

Defined in Control.Effect.Sum

Methods

fmap' :: (a -> b) -> (l :+: r) m a -> (l :+: r) m b

hmap :: (forall x. m x -> n x) -> (l :+: r) m a -> (l :+: r) n a

(Carrier sig m, Effect sig) => Carrier (Fail :+: sig) (FailC m)

Defined in Control.Effect.Fail

Methods

ret :: a -> FailC m a

eff :: (Fail :+: sig) (FailC m) (FailC m a) -> FailC m a

(Carrier sig m, MonadIO m) => Carrier (Resource :+: sig) (ResourceC m)

Defined in Control.Effect.Resource

Methods

ret :: a -> ResourceC m a

eff :: (Resource :+: sig) (ResourceC m) (ResourceC m a) -> ResourceC m a

(Carrier sig m, Effect sig, Monad m) => Carrier (Fresh :+: sig) (FreshC m)

Defined in Control.Effect.Fresh

Methods

ret :: a -> FreshC m a

eff :: (Fresh :+: sig) (FreshC m) (FreshC m a) -> FreshC 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

(Alternative m, Carrier sig m, Effect sig, Monad m) => Carrier (Cut :+: (NonDet :+: sig)) (CutC m)

Defined in Control.Effect.Cut

Methods

ret :: a -> CutC m a

eff :: (Cut :+: (NonDet :+: sig)) (CutC m) (CutC m a) -> CutC m a

(Carrier sig m, Effect sig) => Carrier (Trace :+: sig) (TraceByReturningC m)

Defined in Control.Effect.Trace

Methods

ret :: a -> TraceByReturningC m a

eff :: (Trace :+: sig) (TraceByReturningC m) (TraceByReturningC m a) -> TraceByReturningC m a

Carrier sig m => Carrier (Trace :+: sig) (TraceByIgnoringC m)

Defined in Control.Effect.Trace

Methods

ret :: a -> TraceByIgnoringC m a

eff :: (Trace :+: sig) (TraceByIgnoringC m) (TraceByIgnoringC m a) -> TraceByIgnoringC m a

(MonadIO m, Carrier sig m) => Carrier (Trace :+: sig) (TraceByPrintingC m)

Defined in Control.Effect.Trace

Methods

ret :: a -> TraceByPrintingC m a

eff :: (Trace :+: sig) (TraceByPrintingC m) (TraceByPrintingC m a) -> TraceByPrintingC m a

(Alternative f, Carrier sig m, Effect sig, Traversable f, Monad f, Monad m) => Carrier (NonDet :+: sig) (OnceC f m)

Defined in Control.Effect.NonDet

Methods

ret :: a -> OnceC f m a

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

(Alternative f, Monad f, Traversable f, Carrier sig m, Effect sig, Applicative m) => Carrier (NonDet :+: sig) (AltC f m)

Defined in Control.Effect.NonDet

Methods

ret :: a -> AltC f m a

eff :: (NonDet :+: sig) (AltC f m) (AltC f m a) -> AltC f m a

(Carrier sig m, Effect sig, RandomGen g, Monad m) => Carrier (Random :+: sig) (RandomC g m)

Defined in Control.Effect.Random

Methods

ret :: a -> RandomC g m a

eff :: (Random :+: sig) (RandomC g m) (RandomC g m a) -> RandomC g m a

(Carrier sig m, Effect sig) => Carrier (State s :+: sig) (StateC s m)

Defined in Control.Effect.State

Methods

ret :: a -> StateC s m a

eff :: (State s :+: sig) (StateC s m) (StateC s m a) -> StateC s m a

(Carrier sig m, Monad m) => Carrier (Resumable err :+: sig) (ResumableWithC err m)

Defined in Control.Effect.Resumable

Methods

ret :: a -> ResumableWithC err m a

eff :: (Resumable err :+: sig) (ResumableWithC err m) (ResumableWithC err m a) -> ResumableWithC err m a

(Carrier sig m, Effect sig) => Carrier (Resumable err :+: sig) (ResumableC err m)

Defined in Control.Effect.Resumable

Methods

ret :: a -> ResumableC err m a

eff :: (Resumable err :+: sig) (ResumableC err m) (ResumableC err m a) -> ResumableC err m a

(Carrier sig m, Monad m) => Carrier (Reader r :+: sig) (ReaderC r m)

Defined in Control.Effect.Reader

Methods

ret :: a -> ReaderC r m a

eff :: (Reader r :+: sig) (ReaderC r m) (ReaderC r m a) -> ReaderC r m a

(Carrier sig m, Effect sig, Monad m) => Carrier (Error e :+: sig) (ErrorC e m)

Defined in Control.Effect.Error

Methods

ret :: a -> ErrorC e m a

eff :: (Error e :+: sig) (ErrorC e m) (ErrorC e m a) -> ErrorC e m a

(Monoid w, Carrier sig m, Effect sig, Monad m) => Carrier (Writer w :+: sig) (WriterC w m)

Defined in Control.Effect.Writer

Methods

ret :: a -> WriterC w m a

eff :: (Writer w :+: sig) (WriterC w m) (WriterC w m a) -> WriterC w m a

(Functor (f m), Functor (g m)) => Functor ((f :+: g) m)

Defined in Control.Effect.Sum

Methods

fmap :: (a -> b) -> (f :+: g) m a -> (f :+: g) m b

(<$) :: a -> (f :+: g) m b -> (f :+: g) m a

(Eq (f m k), Eq (g m k)) => Eq ((f :+: g) m k)

Defined in Control.Effect.Sum

Methods

(==) :: (f :+: g) m k -> (f :+: g) m k -> Bool

(/=) :: (f :+: g) m k -> (f :+: g) m k -> Bool

(Ord (f m k), Ord (g m k)) => Ord ((f :+: g) m k)

Defined in Control.Effect.Sum

Methods

compare :: (f :+: g) m k -> (f :+: g) m k -> Ordering

(<) :: (f :+: g) m k -> (f :+: g) m k -> Bool

(<=) :: (f :+: g) m k -> (f :+: g) m k -> Bool

(>) :: (f :+: g) m k -> (f :+: g) m k -> Bool

(>=) :: (f :+: g) m k -> (f :+: g) m k -> Bool

max :: (f :+: g) m k -> (f :+: g) m k -> (f :+: g) m k

min :: (f :+: g) m k -> (f :+: g) m k -> (f :+: g) m k

(Show (f m k), Show (g m k)) => Show ((f :+: g) m k)

Defined in Control.Effect.Sum

Methods

showsPrec :: Int -> (f :+: g) m k -> ShowS

show :: (f :+: g) m k -> String

showList :: [(f :+: g) m k] -> ShowS

send :: (Member effect sig, Carrier sig m) => effect m (m a) -> m a

Construct a request for an effect to be interpreted by some handler later on.

data Eff carrier a

Instances

Carrier sig carrier => Carrier sig (Eff carrier)

Defined in Control.Effect.Internal

Methods

ret :: a -> Eff carrier a

eff :: sig (Eff carrier) (Eff carrier a) -> Eff carrier a

Monad (Eff carrier)

Defined in Control.Effect.Internal

Methods

(>>=) :: Eff carrier a -> (a -> Eff carrier b) -> Eff carrier b

(>>) :: Eff carrier a -> Eff carrier b -> Eff carrier b

return :: a -> Eff carrier a

fail :: String -> Eff carrier a

Functor (Eff carrier)

Defined in Control.Effect.Internal

Methods

fmap :: (a -> b) -> Eff carrier a -> Eff carrier b

(<$) :: a -> Eff carrier b -> Eff carrier a

(Member Fail sig, Carrier sig carrier) => MonadFail (Eff carrier)

Defined in Control.Effect.Internal

Methods

fail :: String -> Eff carrier a

Applicative (Eff carrier)

Defined in Control.Effect.Internal

Methods

pure :: a -> Eff carrier a

(<*>) :: Eff carrier (a -> b) -> Eff carrier a -> Eff carrier b

liftA2 :: (a -> b -> c) -> Eff carrier a -> Eff carrier b -> Eff carrier c

(*>) :: Eff carrier a -> Eff carrier b -> Eff carrier b

(<*) :: Eff carrier a -> Eff carrier b -> Eff carrier a

(Member (Lift IO) sig, Carrier sig carrier) => MonadIO (Eff carrier)

Defined in Control.Effect.Internal

Methods

liftIO :: IO a -> Eff carrier a

(Member NonDet sig, Carrier sig carrier) => Alternative (Eff carrier)

Run computations nondeterministically.

run (runNonDet empty) == []

run (runNonDet empty) == Nothing

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

run (runNonDet (pure a <|> pure b)) == Just a

Associativity:

run (runNonDet ((pure a <|> pure b) <|> pure c)) == (run (runNonDet (pure a <|> (pure b <|> pure c))) :: [Integer])

run (runNonDet ((pure a <|> pure b) <|> pure c)) == (run (runNonDet (pure a <|> (pure b <|> pure c))) :: Maybe Integer)

Left-identity:

run (runNonDet (empty <|> pure b)) == (run (runNonDet (pure b)) :: [Integer])

run (runNonDet (empty <|> pure b)) == (run (runNonDet (pure b)) :: Maybe Integer)

Right-identity:

run (runNonDet (pure a <|> empty)) == (run (runNonDet (pure a)) :: [Integer])

run (runNonDet (pure a <|> empty)) == (run (runNonDet (pure a)) :: Maybe Integer)

Defined in Control.Effect.Internal

Methods

empty :: Eff carrier a

(<|>) :: Eff carrier a -> Eff carrier a -> Eff carrier a

some :: Eff carrier a -> Eff carrier [a]

many :: Eff carrier a -> Eff carrier [a]

(Member NonDet sig, Carrier sig carrier) => MonadPlus (Eff carrier)

Defined in Control.Effect.Internal

Methods

mzero :: Eff carrier a

mplus :: Eff carrier a -> Eff carrier a -> Eff carrier a

(Member Random sig, Carrier sig carrier) => MonadInterleave (Eff carrier)

Defined in Control.Effect.Internal

Methods

interleave :: Eff carrier a -> Eff carrier a

(Member Random sig, Carrier sig carrier) => MonadRandom (Eff carrier)

Defined in Control.Effect.Internal

Methods

getRandomR :: Random a => (a, a) -> Eff carrier a

getRandom :: Random a => Eff carrier a

getRandomRs :: Random a => (a, a) -> Eff carrier [a]

getRandoms :: Random a => Eff carrier [a]

interpret :: Carrier sig carrier => Eff carrier a -> carrier a

data StateC s m a

Instances

(Carrier sig m, Effect sig) => Carrier (State s :+: sig) (StateC s m)

Defined in Control.Effect.State

Methods

ret :: a -> StateC s m a

eff :: (State s :+: sig) (StateC s m) (StateC s m a) -> StateC s m a

data State s (m :: * -> *) k

Instances

Effect (State s)

Defined in Control.Effect.State

Methods

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

HFunctor (State s)

Defined in Control.Effect.State

Methods

fmap' :: (a -> b) -> State s m a -> State s m b

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

Functor (State s m)

Defined in Control.Effect.State

Methods

fmap :: (a -> b) -> State s m a -> State s m b

(<$) :: a -> State s m b -> State s m a

(Carrier sig m, Effect sig) => Carrier (State s :+: sig) (StateC s m)

Defined in Control.Effect.State

Methods

ret :: a -> StateC s m a

eff :: (State s :+: sig) (StateC s m) (StateC s m a) -> StateC s m a

data ResumableWithC err m a

Instances

(Carrier sig m, Monad m) => Carrier (Resumable err :+: sig) (ResumableWithC err m)

Defined in Control.Effect.Resumable

Methods

ret :: a -> ResumableWithC err m a

eff :: (Resumable err :+: sig) (ResumableWithC err m) (ResumableWithC err m a) -> ResumableWithC err m a

data ResumableC err m a

Instances

(Carrier sig m, Effect sig) => Carrier (Resumable err :+: sig) (ResumableC err m)

Defined in Control.Effect.Resumable

Methods

ret :: a -> ResumableC err m a

eff :: (Resumable err :+: sig) (ResumableC err m) (ResumableC err m a) -> ResumableC err m a

data Resumable err (m :: * -> *) k

Errors which can be resumed with values of some existentially-quantified type.

Instances

Effect (Resumable err)

Defined in Control.Effect.Resumable

Methods

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

HFunctor (Resumable err)

Defined in Control.Effect.Resumable

Methods

fmap' :: (a -> b) -> Resumable err m a -> Resumable err m b

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

Functor (Resumable err m)

Defined in Control.Effect.Resumable

Methods

fmap :: (a -> b) -> Resumable err m a -> Resumable err m b

(<$) :: a -> Resumable err m b -> Resumable err m a

(Carrier sig m, Monad m) => Carrier (Resumable err :+: sig) (ResumableWithC err m)

Defined in Control.Effect.Resumable

Methods

ret :: a -> ResumableWithC err m a

eff :: (Resumable err :+: sig) (ResumableWithC err m) (ResumableWithC err m a) -> ResumableWithC err m a

(Carrier sig m, Effect sig) => Carrier (Resumable err :+: sig) (ResumableC err m)

Defined in Control.Effect.Resumable

Methods

ret :: a -> ResumableC err m a

eff :: (Resumable err :+: sig) (ResumableC err m) (ResumableC err m a) -> ResumableC err m a

data ResourceC m a

Instances

(Carrier sig m, MonadIO m) => Carrier (Resource :+: sig) (ResourceC m)

Defined in Control.Effect.Resource

Methods

ret :: a -> ResourceC m a

eff :: (Resource :+: sig) (ResourceC m) (ResourceC m a) -> ResourceC m a

data Resource m k

Instances

Effect Resource

Defined in Control.Effect.Resource

Methods

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

HFunctor Resource

Defined in Control.Effect.Resource

Methods

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

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

Functor (Resource m)

Defined in Control.Effect.Resource

Methods

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

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

(Carrier sig m, MonadIO m) => Carrier (Resource :+: sig) (ResourceC m)

Defined in Control.Effect.Resource

Methods

ret :: a -> ResourceC m a

eff :: (Resource :+: sig) (ResourceC m) (ResourceC m a) -> ResourceC m a

data ReaderC r m a

Instances

(Carrier sig m, Monad m) => Carrier (Reader r :+: sig) (ReaderC r m)

Defined in Control.Effect.Reader

Methods

ret :: a -> ReaderC r m a

eff :: (Reader r :+: sig) (ReaderC r m) (ReaderC r m a) -> ReaderC r m a

data Reader r m k

Instances

Effect (Reader r)

Defined in Control.Effect.Reader

Methods

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

HFunctor (Reader r)

Defined in Control.Effect.Reader

Methods

fmap' :: (a -> b) -> Reader r m a -> Reader r m b

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

Functor (Reader r m)

Defined in Control.Effect.Reader

Methods

fmap :: (a -> b) -> Reader r m a -> Reader r m b

(<$) :: a -> Reader r m b -> Reader r m a

(Carrier sig m, Monad m) => Carrier (Reader r :+: sig) (ReaderC r m)

Defined in Control.Effect.Reader

Methods

ret :: a -> ReaderC r m a

eff :: (Reader r :+: sig) (ReaderC r m) (ReaderC r m a) -> ReaderC r m a

data RandomC g m a

Instances

(Carrier sig m, Effect sig, RandomGen g, Monad m) => Carrier (Random :+: sig) (RandomC g m)

Defined in Control.Effect.Random

Methods

ret :: a -> RandomC g m a

eff :: (Random :+: sig) (RandomC g m) (RandomC g m a) -> RandomC g m a

data LiftC m a

Instances

Monad m => Carrier (Lift m) (LiftC m)

Defined in Control.Effect.Lift

Methods

ret :: a -> LiftC m a

eff :: Lift m (LiftC m) (LiftC m a) -> LiftC m a

runM :: Monad m => Eff (LiftC m) a -> m a

Extract a Lifted Monadic action from an effectful computation.

data FreshC m a

Instances

(Carrier sig m, Effect sig, Monad m) => Carrier (Fresh :+: sig) (FreshC m)

Defined in Control.Effect.Fresh

Methods

ret :: a -> FreshC m a

eff :: (Fresh :+: sig) (FreshC m) (FreshC m a) -> FreshC m a

data Fresh m k

Instances

Effect Fresh

Defined in Control.Effect.Fresh

Methods

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

HFunctor Fresh

Defined in Control.Effect.Fresh

Methods

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

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

Functor (Fresh m)

Defined in Control.Effect.Fresh

Methods

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

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

(Carrier sig m, Effect sig, Monad m) => Carrier (Fresh :+: sig) (FreshC m)

Defined in Control.Effect.Fresh

Methods

ret :: a -> FreshC m a

eff :: (Fresh :+: sig) (FreshC m) (FreshC m a) -> FreshC m a

data FailC m a

Instances

(Carrier sig m, Effect sig) => Carrier (Fail :+: sig) (FailC m)

Defined in Control.Effect.Fail

Methods

ret :: a -> FailC m a

eff :: (Fail :+: sig) (FailC m) (FailC m a) -> FailC m a

data ErrorC e m a

Instances

(Carrier sig m, Effect sig, Monad m) => Carrier (Error e :+: sig) (ErrorC e m)

Defined in Control.Effect.Error

Methods

ret :: a -> ErrorC e m a

eff :: (Error e :+: sig) (ErrorC e m) (ErrorC e m a) -> ErrorC e m a

data Error exc m k

Instances

Effect (Error exc)

Defined in Control.Effect.Error

Methods

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

HFunctor (Error exc)

Defined in Control.Effect.Error

Methods

fmap' :: (a -> b) -> Error exc m a -> Error exc m b

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

Functor (Error exc m)

Defined in Control.Effect.Error

Methods

fmap :: (a -> b) -> Error exc m a -> Error exc m b

(<$) :: a -> Error exc m b -> Error exc m a

(Carrier sig m, Effect sig, Monad m) => Carrier (Error e :+: sig) (ErrorC e m)

Defined in Control.Effect.Error

Methods

ret :: a -> ErrorC e m a

eff :: (Error e :+: sig) (ErrorC e m) (ErrorC e m a) -> ErrorC e m a

data CullC 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

data Cull m k

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

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

data OnceC f m a

Instances

(Alternative f, Carrier sig m, Effect sig, Traversable f, Monad f, Monad m) => Carrier (NonDet :+: sig) (OnceC f m)

Defined in Control.Effect.NonDet

Methods

ret :: a -> OnceC f m a

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

data AltC f m a

Instances

(Alternative f, Monad f, Traversable f, Carrier sig m, Effect sig, Applicative m) => Carrier (NonDet :+: sig) (AltC f m)

Defined in Control.Effect.NonDet

Methods

ret :: a -> AltC f m a

eff :: (NonDet :+: sig) (AltC f m) (AltC f m a) -> AltC f m a

data CutC m a

Instances

(Alternative m, Carrier sig m, Effect sig, Monad m) => Carrier (Cut :+: (NonDet :+: sig)) (CutC m)

Defined in Control.Effect.Cut

Methods

ret :: a -> CutC m a

eff :: (Cut :+: (NonDet :+: sig)) (CutC m) (CutC m a) -> CutC m a

data Cut m k

Cut effects are used with NonDet to provide control over backtracking.

Instances

Effect Cut

Defined in Control.Effect.Cut

Methods

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

HFunctor Cut

Defined in Control.Effect.Cut

Methods

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

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

Functor (Cut m)

Defined in Control.Effect.Cut

Methods

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

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

(Alternative m, Carrier sig m, Effect sig, Monad m) => Carrier (Cut :+: (NonDet :+: sig)) (CutC m)

Defined in Control.Effect.Cut

Methods

ret :: a -> CutC m a

eff :: (Cut :+: (NonDet :+: sig)) (CutC m) (CutC m a) -> CutC m a

data TraceByReturningC m a

Instances

(Carrier sig m, Effect sig) => Carrier (Trace :+: sig) (TraceByReturningC m)

Defined in Control.Effect.Trace

Methods

ret :: a -> TraceByReturningC m a

eff :: (Trace :+: sig) (TraceByReturningC m) (TraceByReturningC m a) -> TraceByReturningC m a

data TraceByIgnoringC m a

Instances

Carrier sig m => Carrier (Trace :+: sig) (TraceByIgnoringC m)

Defined in Control.Effect.Trace

Methods

ret :: a -> TraceByIgnoringC m a

eff :: (Trace :+: sig) (TraceByIgnoringC m) (TraceByIgnoringC m a) -> TraceByIgnoringC m a

data TraceByPrintingC m a

Instances

(MonadIO m, Carrier sig m) => Carrier (Trace :+: sig) (TraceByPrintingC m)

Defined in Control.Effect.Trace

Methods

ret :: a -> TraceByPrintingC m a

eff :: (Trace :+: sig) (TraceByPrintingC m) (TraceByPrintingC m a) -> TraceByPrintingC m a

data Trace (m :: * -> *) k

Instances

Effect Trace

Defined in Control.Effect.Trace

Methods

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

HFunctor Trace

Defined in Control.Effect.Trace

Methods

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

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

Functor (Trace m)

Defined in Control.Effect.Trace

Methods

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

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

(Carrier sig m, Effect sig) => Carrier (Trace :+: sig) (TraceByReturningC m)

Defined in Control.Effect.Trace

Methods

ret :: a -> TraceByReturningC m a

eff :: (Trace :+: sig) (TraceByReturningC m) (TraceByReturningC m a) -> TraceByReturningC m a

Carrier sig m => Carrier (Trace :+: sig) (TraceByIgnoringC m)

Defined in Control.Effect.Trace

Methods

ret :: a -> TraceByIgnoringC m a

eff :: (Trace :+: sig) (TraceByIgnoringC m) (TraceByIgnoringC m a) -> TraceByIgnoringC m a

(MonadIO m, Carrier sig m) => Carrier (Trace :+: sig) (TraceByPrintingC m)

Defined in Control.Effect.Trace

Methods

ret :: a -> TraceByPrintingC m a

eff :: (Trace :+: sig) (TraceByPrintingC m) (TraceByPrintingC m a) -> TraceByPrintingC m a

data VoidC a

Instances

Monad VoidC

Defined in Control.Effect.Void

Methods

(>>=) :: VoidC a -> (a -> VoidC b) -> VoidC b

(>>) :: VoidC a -> VoidC b -> VoidC b

return :: a -> VoidC a

fail :: String -> VoidC a

Functor VoidC

Defined in Control.Effect.Void

Methods

fmap :: (a -> b) -> VoidC a -> VoidC b

(<$) :: a -> VoidC b -> VoidC a

Applicative VoidC

Defined in Control.Effect.Void

Methods

pure :: a -> VoidC a

(<*>) :: VoidC (a -> b) -> VoidC a -> VoidC b

liftA2 :: (a -> b -> c) -> VoidC a -> VoidC b -> VoidC c

(*>) :: VoidC a -> VoidC b -> VoidC b

(<*) :: VoidC a -> VoidC b -> VoidC a

Carrier Void VoidC

Defined in Control.Effect.Void

Methods

ret :: a -> VoidC a

eff :: Void VoidC (VoidC a) -> VoidC a

data Void (m :: * -> *) k

Instances

Effect Void

Defined in Control.Effect.Void

Methods

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

HFunctor Void

Defined in Control.Effect.Void

Methods

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

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

Carrier Void VoidC

Defined in Control.Effect.Void

Methods

ret :: a -> VoidC a

eff :: Void VoidC (VoidC a) -> VoidC a

Functor (Void m)

Defined in Control.Effect.Void

Methods

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

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

run :: Eff VoidC a -> a

Run an Eff exhausted of effects to produce its final result value.

data WriterC w m a

A space-efficient carrier for Writer effects.

This is based on a post Gabriel Gonzalez made to the Haskell mailing list: https://mail.haskell.org/pipermail/libraries/2013-March/019528.html

Note that currently, the constant-space behaviour observed there only occurs when using WriterC and VoidC without Eff wrapping them. See the benchmark component for details.

Instances

(Monad m, Monoid w) => Monad (WriterC w m)

Defined in Control.Effect.Writer

Methods

(>>=) :: WriterC w m a -> (a -> WriterC w m b) -> WriterC w m b

(>>) :: WriterC w m a -> WriterC w m b -> WriterC w m b

return :: a -> WriterC w m a

fail :: String -> WriterC w m a

Functor m => Functor (WriterC w m)

Defined in Control.Effect.Writer

Methods

fmap :: (a -> b) -> WriterC w m a -> WriterC w m b

(<$) :: a -> WriterC w m b -> WriterC w m a

(Monad m, Monoid w) => Applicative (WriterC w m)

Defined in Control.Effect.Writer

Methods

pure :: a -> WriterC w m a

(<*>) :: WriterC w m (a -> b) -> WriterC w m a -> WriterC w m b

liftA2 :: (a -> b -> c) -> WriterC w m a -> WriterC w m b -> WriterC w m c

(*>) :: WriterC w m a -> WriterC w m b -> WriterC w m b

(<*) :: WriterC w m a -> WriterC w m b -> WriterC w m a

(Monoid w, Carrier sig m, Effect sig, Monad m) => Carrier (Writer w :+: sig) (WriterC w m)

Defined in Control.Effect.Writer

Methods

ret :: a -> WriterC w m a

eff :: (Writer w :+: sig) (WriterC w m) (WriterC w m a) -> WriterC w m a

data Writer w m k

Instances

Effect (Writer w)

Defined in Control.Effect.Writer

Methods

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

HFunctor (Writer w)

Defined in Control.Effect.Writer

Methods

fmap' :: (a -> b) -> Writer w m a -> Writer w m b

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

Functor (Writer w m)

Defined in Control.Effect.Writer

Methods

fmap :: (a -> b) -> Writer w m a -> Writer w m b

(<$) :: a -> Writer w m b -> Writer w m a

(Monoid w, Carrier sig m, Effect sig, Monad m) => Carrier (Writer w :+: sig) (WriterC w m)

Defined in Control.Effect.Writer

Methods

ret :: a -> WriterC w m a

eff :: (Writer w :+: sig) (WriterC w m) (WriterC w m a) -> WriterC w m a