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.