A coroutine that has no inputs nor outputs - and therefore may not suspend at all, which means it's not really a coroutine.

A coroutine that consumes values from a Source.

A coroutine that produces values and puts them into a Sink.

The Transducer type represents coroutines that transform a data stream. Execution of transduce must continue consuming the given Source and feeding the Sink as long as there is any data in the source.

The Splitter type represents coroutines that distribute the input stream acording to some criteria. A splitter should distribute only the original input data, and feed it into the sinks in the same order it has been read from the source. Furthermore, the input source should be entirely consumed and fed into the two sinks.

A splitter can be used in two ways: as a predicate to determine which portions of its input stream satisfy a certain property, or as a chunker to divide the input stream into chunks. In the former case, the predicate is considered true for exactly those parts of the input that are written to its true sink. In the latter case, a chunk is a contiguous section of the input stream that is written exclusively to one sink, either true or false. A mempty value written to either of the two sinks can also terminate the chunk written to the other sink.

A Boundary value is produced to mark either a Start and End of a region of data, or an arbitrary Point in data. A Point is semantically equivalent to a Start immediately followed by End.

Type of values in a markup-up stream. The Content constructor wraps the actual data.

A parser is a transducer that marks up its input.

Class PipeableComponentPair applies to any two components that can be combined into a third component with the following properties:

• The input of the result, if any, becomes the input of the first component.
• The output produced by the first child component is consumed by the second child component.
• The result output, if any, is the output of the second component.

Branching is a type class representing all types that can act as consumers, namely Consumer, Transducer, and Splitter.

Creates a proper Consumer from a function that is, but can't be proven to be, an OpenConsumer.

Creates a proper Producer from a function that is, but can't be proven to be, an OpenProducer.

Creates a proper Transducer from a function that is, but can't be proven to be, an OpenTransducer.

Creates a proper Splitter from a function that is, but can't be proven to be, an OpenSplitter.

Function oneToOneTransducer takes a function that maps one input value to one output value each, and lifts it into a Transducer.

Function statelessTransducer takes a function that maps one input value into a list of output values, and lifts it into a Transducer.

Function statelessTransducer takes a function that maps one input value into a list of output values, and lifts it into a Transducer.

Function statefulTransducer constructs a Transducer from a state-transition function and the initial state. The transition function may produce arbitrary output at any transition step.

Function statelessSplitter takes a function that assigns a Boolean value to each input item and lifts it into a Splitter.

Function statefulSplitter takes a state-converting function that also assigns a Boolean value to each input item and lifts it into a Splitter.