Module Cf_machine

module Cf_machine: sig .. end

Object-oriented framework for monadic composition of complex stream processors.

Overview

This module extends Cf_state_gadget with an object-oriented framework. The idea is to facilitate reuse of gadget monads among related processes by class inheritance.

class virtual [['i, 'o]] start : object .. end

Use inherit ['i, 'o] start to derive a class to represent the initial state of a machine.

class virtual [['i, 'o]] next : object .. end

Use inherit ['i, 'o] next to derive a class that implements an intermediate state in a machine.