Control.Effect.Class.Coroutine

This module provides the Coroutine effect, comes from Control.Monad.Freer.Coroutine in the freer-simple package.

Documentation

class Coroutine a b f where

Methods

yield :: a -> (b -> c) -> f c

Instances

SendIns (CoroutineI a b) f => Coroutine a b (EffectsVia EffectDataHandler f)

Defined in Control.Effect.Class.Coroutine

Methods

yield :: a -> (b -> c) -> EffectsVia EffectDataHandler f c

data CoroutineI (a :: Type) (b :: Type) (a :: Type) where

Constructors

Yield :: forall a b c. a -> (b -> c) -> CoroutineI a b c

type CoroutineS a b = LiftIns (CoroutineI a b)

pattern YieldS :: () => a_6989586621679057204 ~ c => a -> (b -> c) -> LiftIns (CoroutineI a b) f a_6989586621679057204