Control.Monad.Resumption.Reactive

A reactive resumption monad transforemer, based on the formulation in the article Cheap (But Functional) Threads by William L. Harrison and Adam Procter.

Documentation

newtype ReacT input output m a

Reactive resumption monad transformer.

Constructors

ReacT

Fields

deReacT :: m (Either a (output, input -> ReacT input output m a))

Instances

MonadTrans (ReacT input output)

Monad m => Monad (ReacT input output m)

Monad m => Functor (ReacT input output m)

Monad m => Applicative (ReacT input output m)

MonadIO m => MonadIO (ReacT input output m)

signal :: Monad m => output -> ReacT input output m input

Outputs its argument, then waits for the next input and returns it.

(<~>) :: Monad m => ReacT i o m a -> ReacT o i m b -> ResT m (Either a b)

Tennis operator.