Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Pipelines
This module implements functorised pipelines. A pipeline is basically a series of computations that is meant to be executed on a stream of elements. Each computation in a pipeline is called a pipe. A pipe can be as simple as a mapping function, transforming the input element into an output element, or more complex, expanding an element into a sequence of elemnents, and performing a fixpoint expansion.
module Make (State : State_intf.Pipeline) : sig ... endConcrete pipelines.