View on GitHub
RequirementTerm
struct RequirementTerm : RewritingTermextension RequirementTerm: ExpressibleByArrayLiteralextension RequirementTerm: CollectionA term corresponding to a type or trait in a generic requirement.
-
The parts of the term.
Declaration
Swift
let symbols: [RequirementSymbol] -
Creates a term with the given symbols.
Declaration
Swift
init<S>(_ s: S) where S : Sequence, S.Element == RequirementSymbol -
The generic parameter at the root of this term, if any.
Declaration
Swift
var rootParameter: GenericParameterDecl.ID? { get } -
Returns
selfsuffixed bys.Declaration
Swift
func appending(_ s: RequirementSymbol) -> RequirementTerm -
Returns a copy of
selfin which occurrences ofshave been replaced byt.Declaration
Swift
func substituting(_ s: RequirementTerm, for t: RequirementTerm) -> RequirementTerm -
Returns
uconcatenated withv.Declaration
Swift
static func + (u: `Self`, v: `Self`) -> RequirementTerm -
Returns
uconcatenated withv.Declaration
Swift
static func + <S>(u: `Self`, v: S) -> RequirementTerm where S : Sequence, S.Element == RequirementSymbol -
Returns
uconcatenated withv.Declaration
Swift
static func + <S>(u: S, v: `Self`) -> RequirementTerm where S : Sequence, S.Element == RequirementSymbol -
Declaration
Swift
init(arrayLiteral elements: RequirementSymbol...) -
Declaration
Swift
typealias Element = RequirementSymbol -
Declaration
Swift
typealias Index = Int -
Declaration
Swift
var startIndex: Int { get } -
Declaration
Swift
var endIndex: Int { get } -
Declaration
Swift
func index(after p: Int) -> Int -
Declaration
Swift
subscript(p: Int) -> RequirementSymbol { get }