Modulemachines-0.7.4Haskell2010

Data.Machine.Wye

Contents

Synopsis

Wyes

typetype Wye a b c = Machine (Y a b) c

A Machine that can read from two input stream in a non-deterministic manner.

typetype WyeT (m :: Type -> Type) a b c = MachineT m (Y a b) c

A Machine that can read from two input stream in a non-deterministic manner with monadic side-effects.

datadata Y a b c where

The input descriptor for a Wye or WyeT

valuewye

Compose a pair of pipes onto the front of a Wye.

Precompose a Process onto each input of a Wye (or WyeT).

This is left biased in that it tries to draw values from the X input whenever they are available, and only draws from the Y input when X would block.

valueaddX :: Monad m => ProcessT m a b -> WyeT m b c d -> WyeT m a c d

Precompose a pipe onto the left input of a wye.

valueaddY :: Monad m => ProcessT m b c -> WyeT m a c d -> WyeT m a b d

Precompose a pipe onto the right input of a wye.

valuecapX :: Monad m => SourceT m a -> WyeT m a b c -> ProcessT m b c

Tie off one input of a wye by connecting it to a known source.

valuecapY :: Monad m => SourceT m b -> WyeT m a b c -> ProcessT m a c

Tie off one input of a wye by connecting it to a known source.

valuecapWye

Tie off both inputs of a wye by connecting them to known sources.