package travesty

Generic_types contains generic versions of the types used in Generic_builders and Generic_runners.

Generic_builders contains generic versions of the 'builder' functions common to all state monad signatures.

Generic_runners contains generic versions of the 'runner' functions common to all state monad signatures.

Fix contains the signature for fixpoint builders.

Generic contains the signature bits common to all state transformers.

S is the signature of state monad transformers with a fixed state type.

Basic is the signature that must be implemented by state systems being lifted into S_transform instances.

S2 is the signature of state transformers parametrised over both value and state types.