Control.Arrow.Machine.Plan

A coroutine monad, inspired by machines library.

Types and Primitives

type PlanT i o m a = FreeT (PlanF i o) m a

type Plan i o a = forall m. Monad m => PlanT i o m a

await :: Plan i o i

yield :: o -> Plan i o ()

stop :: Plan i o ()

stopped :: (ArrowApply a, Occasional c) => ProcessA a b c

Constructing machines

constructT :: (Monad m, ArrowApply a) => (forall b. m b -> a () b) -> PlanT i o m r -> ProcessA a (Event i) (Event o)

repeatedlyT :: (Monad m, ArrowApply a) => (forall b. m b -> a () b) -> PlanT i o m r -> ProcessA a (Event i) (Event o)

construct :: ArrowApply a => Plan i o t -> ProcessA a (Event i) (Event o)

repeatedly :: ArrowApply a => Plan i o t -> ProcessA a (Event i) (Event o)