View on GitHub
ParameterConstraint
struct ParameterConstraint : Constraint, Hashableextension ParameterConstraint: CustomStringConvertibleA constraint L ⤷ R specifying that R is the type of a parameter and L the type of an
argument that may be passed to that parameter.
Note
Solving a constraintl ⤷ R where R is a type variable requires that there be
another constraint on R fixing its parameter passing convention.
-
The left operand.
Declaration
Swift
private(set) var left: AnyType { get } -
The right operand.
Declaration
Swift
private(set) var right: AnyType { get } -
Declaration
Swift
let origin: ConstraintOrigin -
Creates an instance with the given properties.
Declaration
Swift
init(_ left: AnyType, _ right: AnyType, origin: ConstraintOrigin) -
Inserts the type variables that occur free in
selfintos.Declaration
Swift
func collectOpenVariables(in s: inout Set<TypeVariable>) -
-
Declaration
Swift
var description: String { get }