type UndirectedBinaryCombinator

source code

object --+
         |
        UndirectedBinaryCombinator

Known Subclasses:

• UndirectedComposition
• , UndirectedFunctionApplication
• , UndirectedSubstitution
• , UndirectedTypeRaise

Abstract class for representing a binary combinator. Merely defines functions for checking if the function and argument are able to be combined, and what the resulting category is.

Note that as no assumptions are made as to direction, the unrestricted combinators can perform all backward, forward and crossed variations of the combinators; these restrictions must be added in the rule class.