SubstitutionMap Structure Reference


                    
                    
                    SubstitutionPolicy

A policy for substituting variables during reification.

Declaration

Swift

enum SubstitutionPolicy : Sendable

Show on GitHub


                    
                    
                    types

A map from type variable to its assignment.

Declaration

Swift

private(set) var types: [TypeVariable : AnyType] { get }

Show on GitHub


                    
                    
                    terms

A map from term variable to its assignment.

Declaration

Swift

private(set) var terms: [TermVariable : AnyTerm] { get }

Show on GitHub


                    
                    
                    init()

Creates an empty substitution map.

Declaration

Swift

init()

Show on GitHub


                    
                    
                    init(types:terms:)

Creates an instance with the given properties.

Declaration

Swift

private init(types: [TypeVariable : AnyType], terms: [TermVariable : AnyTerm])

Show on GitHub


                    
                    
                    optimized()

Returns a copy of this instance with its internal representation optimized.

Declaration

Swift

func optimized() -> SubstitutionMap

Show on GitHub


                    
                    
                    subscript(_:)

Returns the substitution for v, if any.

Declaration

Swift

subscript(v: TypeVariable) -> AnyType? { get }

Show on GitHub


                    
                    
                    subscript(_:)

Returns the substitution of t in this map or t is no such substitution exists.

Declaration

Swift

subscript(t: AnyType) -> AnyType { get }

Show on GitHub


                    
                    
                    subscript(_:)

Returns the substitution for v, if any.

Declaration

Swift

subscript(v: TermVariable) -> AnyTerm? { get }

Show on GitHub


                    
                    
                    subscript(_:)

Returns the substitution of t in this map or t is no such substitution exists.

Declaration

Swift

subscript(t: AnyTerm) -> AnyTerm { get }

Show on GitHub


                    
                    
                    assign(_:to:)

Assigns substitution to variable.

Declaration

Swift

mutating func assign(_ substitution: AnyType, to variable: TypeVariable)

Show on GitHub


                    
                    
                    assign(_:to:)

Assigns substitution to variable.

Declaration

Swift

mutating func assign(_ substitution: AnyTerm, to variable: TermVariable)

Show on GitHub


                    
                    
                    walk(_:)

Returns the type variable representing the equivalence class of v in self.

Declaration

Swift

private func walk(_ v: TypeVariable) -> TypeVariable

Show on GitHub


                    
                    
                    walk(_:)

Returns the term variable representing the equivalence class of v in self.

Declaration

Swift

private func walk(_ v: TermVariable) -> TermVariable

Show on GitHub


                    
                    
                    occurCheck(_:_:)

Returns true if any variable in the equivalence class of v occurs nested in t.

Declaration

Swift

private func occurCheck(_ v: TypeVariable, _ t: AnyType) -> Bool

Show on GitHub


                    
                    
                    reify(_:withVariables:)

Returns a copy of type where each variable is replaced by its substitution in self or the application of substitutionPolicy is no such substitution exists.

The default substitution policy is substituteByError because we typically use reify after having built a complete solution and therefore don’t expect its result to still contain open type variables.

Declaration

Swift

func reify(
  _ type: AnyType, withVariables substitutionPolicy: SubstitutionPolicy = .substitutedByError
) -> AnyType

Show on GitHub


                    
                    
                    reify(_:withVariables:)

Returns a copy of term where each variable is replaced by its substitution in self or the application of substitutionPolicy is no such substitution exists.

Declaration

Swift

func reify(
  _ term: AnyTerm, withVariables substitutionPolicy: SubstitutionPolicy
) -> AnyTerm

Show on GitHub


                    
                    
                    reify(reference:withVariables:)

Returns a copy of r where each generic argument is replaced by the result of applying reify(withVariables:) on it.

Declaration

Swift

func reify(
  reference r: DeclReference, withVariables substitutionPolicy: SubstitutionPolicy
) -> DeclReference

Show on GitHub


                    
                    
                    reify(argument:withVariables:)

Returns a copy of a where each variable is replaced by its substitution value in self or the application substitutionPolicy is no such substitution exists.

Declaration

Swift

private func reify(
  argument a: GenericArguments, withVariables substitutionPolicy: SubstitutionPolicy
) -> GenericArguments

Show on GitHub


                    
                    
                    reify(value:withVariables:)

Returns a copy of v where each variable is replaced by its substitution value in self or the application substitutionPolicy is no such substitution exists.

Declaration

Swift

private func reify(
  value v: CompileTimeValue, withVariables substitutionPolicy: SubstitutionPolicy
) -> CompileTimeValue

Show on GitHub


                    
                    
                    formIntersection(_:)

Removes the key/value pairs in self that are not also in other.

Declaration

Swift

mutating func formIntersection(_ other: `Self`)

Show on GitHub


                    
                    
                    intersection(_:)

Returns a new substitution map containing the key/value pairs common to self and other.

Declaration

Swift

func intersection(_ other: `Self`) -> SubstitutionMap

Show on GitHub


                    
                    
                    description

Declaration

Swift

var description: String { get }

Show on GitHub