module documentation

CCG Combinators

Class BackwardCombinator The backward equivalent of the ForwardCombinator class.
Class DirectedBinaryCombinator 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 ForwardCombinator Class representing combinators where the primary functor is on the left.
Class UndirectedBinaryCombinator 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 UndirectedComposition Functional composition (harmonic) combinator. Implements rules of the form X/Y Y/Z -> X/Z (B>) And the corresponding backwards and crossed variations.
Class UndirectedFunctionApplication Class representing function application. Implements rules of the form: X/Y Y -> X (>) And the corresponding backwards application rule
Class UndirectedSubstitution Substitution (permutation) combinator. Implements rules of the form Y/Z (XY)/Z -> X/Z (<Sx) And other variations.
Class UndirectedTypeRaise Undirected combinator for type raising.
Function backwardBxConstraint Undocumented
Function backwardOnly Undocumented
Function backwardSxConstraint Undocumented
Function backwardTConstraint Undocumented
Function bothBackward Undocumented
Function bothForward Undocumented
Function crossedDirs Undocumented
Function forwardOnly Undocumented
Function forwardSConstraint Undocumented
Function forwardTConstraint Undocumented
Function innermostFunction Undocumented
Variable BackwardApplication Undocumented
Variable BackwardBx Undocumented
Variable BackwardComposition Undocumented
Variable BackwardSx Undocumented
Variable BackwardT Undocumented
Variable ForwardApplication Undocumented
Variable ForwardComposition Undocumented
Variable ForwardSubstitution Undocumented
Variable ForwardT Undocumented
def backwardBxConstraint(left, right): (source)

Undocumented

def backwardOnly(left, right): (source)

Undocumented

def backwardSxConstraint(left, right): (source)

Undocumented

def backwardTConstraint(left, right): (source)

Undocumented

def bothBackward(left, right): (source)

Undocumented

def bothForward(left, right): (source)

Undocumented

def crossedDirs(left, right): (source)

Undocumented

def forwardOnly(left, right): (source)

Undocumented

def forwardSConstraint(left, right): (source)

Undocumented

def forwardTConstraint(left, right): (source)

Undocumented

def innermostFunction(categ): (source)

Undocumented

BackwardApplication = (source)

Undocumented

BackwardBx = (source)

Undocumented

BackwardComposition = (source)

Undocumented

BackwardSx = (source)

Undocumented

BackwardT = (source)

Undocumented

ForwardApplication = (source)

Undocumented

ForwardComposition = (source)

Undocumented

ForwardSubstitution = (source)

Undocumented

ForwardT = (source)

Undocumented