View on GitHub
Conformance
public struct Conformance : SendableWhere, 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 lowered implementation of a requirement.
See moreDeclaration
Swift
public enum Implementation : Sendable -
The trait associated with this conformance.
Declaration
Swift
public let concept: TraitType -
A map from requirement of
conceptto the declaration implementing it.Declaration
Swift
public let implementations: ImplementationMap -
Creates an instance with the given properties.
Declaration
Swift
public init(concept: TraitType, implementations: ImplementationMap)