Application

class discopy.biclosed.Application(func, args, left=False)

Bases: TermBase

The application either func(args) of a term func of type Y << X to a term args of type X or args(func, left=True) of a term args of type X fed as input to a term func of type X >> Y.

Parameters:

• func (Term) –

• args (Term) –

• left (bool) –

func

The function being applied.

Type:

Term

args

The arguments to which the function is applied.

Type:

Term

left

Whether the argument comes in from the left or right.

Type:

bool