| Home | Trees | Indices | Help |
|
|---|
|
|
|
|||
|
UndirectedBinaryCombinator Abstract class for representing a binary combinator. |
|||
|
DirectedBinaryCombinator Wrapper for the undirected binary combinator. |
|||
|
ForwardCombinator Class representing combinators where the primary functor is on the left. |
|||
|
BackwardCombinator The backward equivalent of the ForwardCombinator class. |
|||
|
UndirectedFunctionApplication Class representing function application. |
|||
|
UndirectedComposition Functional composition (harmonic) combinator. |
|||
|
UndirectedSubstitution Substitution (permutation) combinator. |
|||
|
UndirectedTypeRaise Undirected combinator for type raising. |
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
ForwardApplication = ForwardCombinator(UndirectedFunctionAppli
|
|||
BackwardApplication = BackwardCombinator(UndirectedFunctionApp
|
|||
ForwardComposition = ForwardCombinator(UndirectedComposition()
|
|||
BackwardComposition = BackwardCombinator(UndirectedComposition
|
|||
BackwardBx = BackwardCombinator(UndirectedComposition(), backw
|
|||
ForwardSubstitution = ForwardCombinator(UndirectedSubstitution
|
|||
BackwardSx = BackwardCombinator(UndirectedSubstitution(), back
|
|||
ForwardT = ForwardCombinator(UndirectedTypeRaise(), forwardTCo
|
|||
BackwardT = BackwardCombinator(UndirectedTypeRaise(), backward
|
|||
|
|||
ForwardApplication
|
BackwardApplication
|
ForwardComposition
|
BackwardComposition
|
BackwardBx
|
ForwardSubstitution
|
BackwardSx
|
ForwardT
|
BackwardT
|
| Home | Trees | Indices | Help |
|
|---|
| Generated by Epydoc 3.0.1 on Mon Apr 11 14:39:40 2011 | http://epydoc.sourceforge.net |