Type constructor#

class TypeConstructor(arg1, arg2, arg3=None, **kwargs)[source]#

Bases: Expression

Type constructor.

Type constructors are the building blocks of type expressions.

Parameters:

  • arg1 – Id.

  • arg2 – Arity.

  • arg3 – Associativity ('left' or 'right').

  • kwargs – Annotations.

Returns:

A new TypeConstructor.