Module combinator
Classes
BackwardCombinator
DirectedBinaryCombinator
ForwardCombinator
UndirectedBinaryCombinator
UndirectedComposition
UndirectedFunctionApplication
UndirectedSubstitution
UndirectedTypeRaise
Functions
backwardBxConstraint
backwardOnly
backwardSxConstraint
backwardTConstraint
bothBackward
bothForward
crossedDirs
forwardOnly
forwardSConstraint
forwardTConstraint
innermostFunction
Variables
BackwardApplication
BackwardBx
BackwardComposition
BackwardSx
BackwardT
ForwardApplication
ForwardComposition
ForwardSubstitution
ForwardT
[
hide private
]