Skip to content

Class: Constraint

Represents a type constraint or class constraint (e.g., Eq a).

Example

ts
(Eq a) => a -> a -> Bool

Constructors

Constructor

new Constraint(name, parameters, loc?): Constraint

Parameters

ParameterType
namestring
parametersType[]
loc?SourceLocation

Returns

Constraint

Overrides

ASTNode.constructor