Module Cf_machine

module Cf_machine: sig .. end

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

Overview

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

class virtual [['a, 'b]] substate : object .. end

A virtual class to represent the public interface of object-oriented gadget states.

class virtual [['a, 'b]] state : object .. end

A virtual class to represent the public and private interface of object- oriented gadget states.

class [['a, 'b]] initial : object .. end

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