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 :: Type) where

Constructors

Yield :: a -> Yield a b b

type LYield a b = LiftIns (Yield a b)

pattern LYield :: () => (a ~ b, ()) => a -> LiftIns (Yield a b) f a

yield'' :: forall key (a :: Type) (b :: Type) f. SendInsBy key (Yield a b) f => a -> f b

yield' :: forall tag (a :: Type) (b :: Type) f. SendIns (Tag (Yield a b) tag) f => a -> f b

yield :: forall (a :: Type) (b :: Type) f. SendIns (Yield a b) f => a -> f b

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

data Status f a b r

Constructors

Done r

Coroutine 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