View on GitHub
Conformance
public struct Conformance : Sendableextension Conformance: Equatableextension Conformance: HashableWhere, how, and under what conditions a type satisfies the requirements of a trait.
-
A map from requirement to their implementation.
Declaration
Swift
public typealias ImplementationMap = DeclProperty<Implementation> -
The implementation of a requirement.
See moreDeclaration
Swift
public enum Implementation : Hashable, Sendable -
The type on the left-hand side of this conformance.
Declaration
Swift
public let model: AnyType -
The generic (a.k.a., compile-time) arguments of the conformance.
Declaration
Swift
public let arguments: GenericArguments -
The conditions under which this conformance holds.
Declaration
Swift
public let conditions: [GenericConstraint] -
The outermost scope in which this conformance is exposed.
Declaration
Swift
public let scope: AnyScopeID -
Declaration
Swift
public let implementations: ImplementationMap -
The origin of the conformance, unless it is synthetic.
Declaration
Swift
public let origin: ConformanceOrigin? -
trueiff the conformance is implicitly synthesized for a structural type.Declaration
Swift
public let isStructural: Bool -
trueiff all implementations in the conformance are synthetic.Declaration
Swift
public let isSynthetic: Bool -
Creates an instance with the given properties.
Declaration
Swift
public init( model: AnyType, concept: TraitType, arguments: GenericArguments, conditions: [GenericConstraint], scope: AnyScopeID, implementations: ImplementationMap, isStructural: Bool, origin: ConformanceOrigin? ) -
Declaration
Swift
public static func == (l: `Self`, r: `Self`) -> Bool -
Declaration
Swift
public func hash(into hasher: inout Hasher)