Data.Effect.Coroutine

This module provides the Coroutine effect, comes from Control.Monad.Freer.Coroutine in the freer-simple package (The continuation part (b -> c) has been removed. If necessary, please manually compose the Coyoneda) .

Documentation

data Yield a b c where

Constructors

Yield :: forall a b. a -> Yield a b b

type LYield a b = LiftFOE (Yield a b)

pattern LYield :: forall a1 b a2 f. () => (a1 ~ b, ()) => a2 -> LiftFOE (Yield a2 b) f a1

yield :: SendFOE (Yield a b) f => a -> f b

yield' :: forall {k} (tag :: k) a b f. SendFOE (Tag (Yield a b) tag) f => a -> f b

yield'' :: forall {k} (key :: k) a b f. SendFOEBy key (Yield a b) f => a -> f b

yield_ :: Yield a () <: f => a -> f ()

data Status (f :: Type -> Type) a b r

Constructors

Done r

Continue a (b -> f (Status f a b r))

Instances

Functor f => Functor (Status f a b)

Defined in Data.Effect.Coroutine

Methods

fmap :: (a0 -> b0) -> Status f a b a0 -> Status f a b b0

(<$) :: a0 -> Status f a b b0 -> Status f a b a0

continueStatus :: Monad m => (x -> m (Status m a b r)) -> Status m a b x -> m (Status m a b r)

loopStatus :: Monad m => (a -> m b) -> Status m a b r -> m r