Control.Effect.Carrier.Internal.Stepped

Documentation

data FOEff e x where

Constructors

FOEff :: e q x -> FOEff e x

class (forall m n x. Coercible (e m x) (e n x)) => FirstOrder (e :: Effect)

A constraint that e is first-order.

This is automatically deduced by the compiler.

Instances

(forall (m :: Type -> Type) (n :: Type -> Type) x. Coercible (e m x) (e n x)) => FirstOrder e

Defined in Control.Effect.Carrier.Internal.Stepped

newtype SteppedC (e :: Effect) m a

A carrier for any first-order effect e that allows for dividing a computation into several steps, where each step is seperated by the use of the effect.

This can be used to implement coroutines.

Constructors

SteppedC

Fields

• unSteppedC :: FreeT (FOEff e) m a

Instances

(Monoid w, Carrier m, Threaders '[SteppedThreads] m p) => PrimHandler ListenSteppedH (ListenPrim w) (SteppedC (Tell w) m)

Defined in Control.Effect.Internal.Intercept

Methods

effPrimHandler :: EffPrimHandler (ListenPrim w) (SteppedC (Tell w) m)

(FirstOrder e, Carrier m, Threaders '[SteppedThreads] m p) => PrimHandler InterceptH (Unravel (InterceptB e)) (SteppedC e m)

Defined in Control.Effect.Internal.Intercept

Methods

effPrimHandler :: EffPrimHandler (Unravel (InterceptB e)) (SteppedC e m)

MonadBase b m => MonadBase b (SteppedC e m)

Defined in Control.Effect.Carrier.Internal.Stepped

Methods

liftBase :: b α -> SteppedC e m α

MonadTrans (SteppedC e)

Defined in Control.Effect.Carrier.Internal.Stepped

Methods

lift :: Monad m => m a -> SteppedC e m a

Monad (SteppedC e m)

Defined in Control.Effect.Carrier.Internal.Stepped

Methods

(>>=) :: SteppedC e m a -> (a -> SteppedC e m b) -> SteppedC e m b

(>>) :: SteppedC e m a -> SteppedC e m b -> SteppedC e m b

return :: a -> SteppedC e m a

Functor (SteppedC e m)

Defined in Control.Effect.Carrier.Internal.Stepped

Methods

fmap :: (a -> b) -> SteppedC e m a -> SteppedC e m b

(<$) :: a -> SteppedC e m b -> SteppedC e m a

MonadFail m => MonadFail (SteppedC e m)

Defined in Control.Effect.Carrier.Internal.Stepped

Methods

fail :: String -> SteppedC e m a

Applicative (SteppedC e m)

Defined in Control.Effect.Carrier.Internal.Stepped

Methods

pure :: a -> SteppedC e m a

(<*>) :: SteppedC e m (a -> b) -> SteppedC e m a -> SteppedC e m b

liftA2 :: (a -> b -> c) -> SteppedC e m a -> SteppedC e m b -> SteppedC e m c

(*>) :: SteppedC e m a -> SteppedC e m b -> SteppedC e m b

(<*) :: SteppedC e m a -> SteppedC e m b -> SteppedC e m a

MonadIO m => MonadIO (SteppedC e m)

Defined in Control.Effect.Carrier.Internal.Stepped

Methods

liftIO :: IO a -> SteppedC e m a

MonadThrow m => MonadThrow (SteppedC e m)

Defined in Control.Effect.Carrier.Internal.Stepped

Methods

throwM :: Exception e0 => e0 -> SteppedC e m a

MonadCatch m => MonadCatch (SteppedC e m)

Defined in Control.Effect.Carrier.Internal.Stepped

Methods

catch :: Exception e0 => SteppedC e m a -> (e0 -> SteppedC e m a) -> SteppedC e m a

(Threads (FreeT (FOEff e)) (Prims m), Carrier m) => Carrier (SteppedC e m)

Defined in Control.Effect.Carrier.Internal.Stepped

Associated Types

type Derivs (SteppedC e m) :: [Effect]

type Prims (SteppedC e m) :: [Effect]

Methods

algPrims :: Algebra' (Prims (SteppedC e m)) (SteppedC e m) a

reformulate :: Monad z => Reformulation' (Derivs (SteppedC e m)) (Prims (SteppedC e m)) (SteppedC e m) z a

algDerivs :: Algebra' (Derivs (SteppedC e m)) (SteppedC e m) a

type Derivs (SteppedC e m)

Defined in Control.Effect.Carrier.Internal.Stepped

type Derivs (SteppedC e m) = e ': Derivs m

type Prims (SteppedC e m)

Defined in Control.Effect.Carrier.Internal.Stepped

type Prims (SteppedC e m) = Prims m

sendStepped :: e q a -> SteppedC e m a

data Steps (e :: Effect) m a where

A stack of continuations of m that eventually produces a result of type a. Each continuation is seperated by the use of the effect e.

Constructors

Done :: a -> Steps e m a

More :: e q x -> (x -> m (Steps e m a)) -> Steps e m a

Instances

Functor m => Monad (Steps e m)

Defined in Control.Effect.Carrier.Internal.Stepped

Methods

(>>=) :: Steps e m a -> (a -> Steps e m b) -> Steps e m b

(>>) :: Steps e m a -> Steps e m b -> Steps e m b

return :: a -> Steps e m a

Functor m => Functor (Steps e m)

Defined in Control.Effect.Carrier.Internal.Stepped

Methods

fmap :: (a -> b) -> Steps e m a -> Steps e m b

(<$) :: a -> Steps e m b -> Steps e m a

Functor m => Applicative (Steps e m)

Defined in Control.Effect.Carrier.Internal.Stepped

Methods

pure :: a -> Steps e m a

(<*>) :: Steps e m (a -> b) -> Steps e m a -> Steps e m b

liftA2 :: (a -> b -> c) -> Steps e m a -> Steps e m b -> Steps e m c

(*>) :: Steps e m a -> Steps e m b -> Steps e m b

(<*) :: Steps e m a -> Steps e m b -> Steps e m a

steps :: forall e m a p. (Carrier m, Threaders '[SteppedThreads] m p) => SteppedC e m a -> m (Steps e m a)

Run the first-order effect e by breaking the computation using it into steps, where each step is seperated by the use of an action of e.

Derivs (SteppedC e m) = e ': Derivs m

Prims  (SteppedC e m) = Prims m

liftSteps :: (MonadTrans t, Monad m) => Steps e m a -> Steps e (t m) a

hoistSteps :: Functor n => (forall x. m x -> n x) -> Steps e m a -> Steps e n a

unsteps :: forall e m a. (FirstOrder e, Member e (Derivs m), Carrier m) => Steps e m a -> m a

Execute all the steps of a computation.

type SteppedThreads = FreeThreads

SteppedThreads accepts the following primitive effects:

• Regional s
• Optional s (when s is a functor)
• Unravel p
• ListenPrim o (when o is a Monoid)
• ReaderPrim i