module Cf_machine:Object-oriented framework for monadic composition of complex stream processors.sig
..end
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[['a, 'b]]
start :object
..end
inherit ['i, 'o] start
to derive a class to represent the
initial state of a machine.
class virtual[['a, 'b]]
next :object
..end
inherit ['i, 'o] next
to derive a class that implements an
intermediate state in a machine.