class documentation

class Direction(object): (source)

Constructor: Direction(dir, restrictions)

View In Hierarchy

Class representing the direction of a function application. Also contains maintains information as to which combinators may be used with the category.

Method __eq__ Undocumented
Method __hash__ Undocumented
Method __init__ Undocumented
Method __lt__ Undocumented
Method __ne__ Undocumented
Method __neg__ Undocumented
Method __str__ Undocumented
Method can_compose Undocumented
Method can_cross Undocumented
Method can_unify Undocumented
Method dir Undocumented
Method is_backward Undocumented
Method is_forward Undocumented
Method is_variable Undocumented
Method restrs A list of restrictions on the combinators. '.' denotes that permuting operations are disallowed ',' denotes that function composition is disallowed '_' denotes that the direction has variable restrictions...
Method substitute Undocumented
Instance Variable _comparison_key Undocumented
Instance Variable _dir Undocumented
Instance Variable _hash Undocumented
Instance Variable _restrs Undocumented
def __eq__(self, other): (source)

Undocumented

def __hash__(self): (source)

Undocumented

def __init__(self, dir, restrictions): (source)

Undocumented

def __lt__(self, other): (source)

Undocumented

def __ne__(self, other): (source)

Undocumented

def __neg__(self): (source)

Undocumented

def __str__(self): (source)

Undocumented

def can_compose(self): (source)

Undocumented

def can_cross(self): (source)

Undocumented

def can_unify(self, other): (source)

Undocumented

def dir(self): (source)

Undocumented

def is_backward(self): (source)

Undocumented

def is_forward(self): (source)

Undocumented

def is_variable(self): (source)

Undocumented

def restrs(self): (source)

A list of restrictions on the combinators. '.' denotes that permuting operations are disallowed ',' denotes that function composition is disallowed '_' denotes that the direction has variable restrictions. (This is redundant in the current implementation of type-raising)

def substitute(self, subs): (source)

Undocumented

_comparison_key = (source)

Undocumented

Undocumented

Undocumented

Undocumented