module documentation
CCG Combinators
Class |
|
The backward equivalent of the ForwardCombinator class. |
Class |
|
Wrapper for the undirected binary combinator. It takes left and right categories, and decides which is to be the function, and which the argument. It then decides whether or not they can be combined. |
Class |
|
Class representing combinators where the primary functor is on the left. |
Class |
|
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. |
Class |
|
Functional composition (harmonic) combinator. Implements rules of the form X/Y Y/Z -> X/Z (B>) And the corresponding backwards and crossed variations. |
Class |
|
Class representing function application. Implements rules of the form: X/Y Y -> X (>) And the corresponding backwards application rule |
Class |
|
Substitution (permutation) combinator. Implements rules of the form Y/Z (XY)/Z -> X/Z (<Sx) And other variations. |
Class |
|
Undirected combinator for type raising. |
Function | backward |
Undocumented |
Function | backward |
Undocumented |
Function | backward |
Undocumented |
Function | backward |
Undocumented |
Function | both |
Undocumented |
Function | both |
Undocumented |
Function | crossed |
Undocumented |
Function | forward |
Undocumented |
Function | forward |
Undocumented |
Function | forward |
Undocumented |
Function | innermost |
Undocumented |
Variable |
|
Undocumented |
Variable |
|
Undocumented |
Variable |
|
Undocumented |
Variable |
|
Undocumented |
Variable |
|
Undocumented |
Variable |
|
Undocumented |
Variable |
|
Undocumented |
Variable |
|
Undocumented |
Variable |
|
Undocumented |