View on GitHub
TupleMemberConstraint
struct TupleMemberConstraint : Constraint, Hashableextension TupleMemberConstraint: CustomStringConvertibleA constraint L.i == R stating that L is a tuple type whose i-th element has type R.
-
The base type of the left operand.
Declaration
Swift
private(set) var subject: AnyType { get } -
The index of the element in
subjectthat must have typememberType.Declaration
Swift
let elementIndex: Int -
The type of subject’s element.
Declaration
Swift
private(set) var elementType: AnyType { get } -
Declaration
Swift
let origin: ConstraintOrigin -
Creates a constraint requiring
tupleto be a tuple type with an element of typememberTypeat givenindex.Declaration
Swift
init( _ tuple: AnyType, at index: Int, hasType element: 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 }