SwiftSemantics Documentation Beta

Enumeration Generic​Requirement.​Relation

public enum Relation

A relation between the two types identified in the generic requirement.

For example, the declaration struct S<T: Equatable> has a single generic requirement that the type identified by "T" conforms to the type identified by "Equatable".

%3 GenericRequirement.Relation GenericRequirement.Relation String String GenericRequirement.Relation->String Codable Codable GenericRequirement.Relation->Codable Hashable Hashable GenericRequirement.Relation->Hashable

Member Of

GenericRequirement

A generic requirement.

Conforms To

Codable
Hashable
String

Enumeration Cases

same​Type

case sameType

The type identified on the left-hand side is equivalent to the type identified on the right-hand side of the generic requirement.

conformance

case conformance

The type identified on the left-hand side conforms to the type identified on the right-hand side of the generic requirement.