ArrowTypeExpr Structure Reference


                    
                    
                    Parameter

A parameter in an arrow type expression.

Declaration

Swift

public struct Parameter : Codable, Sendable

Show on GitHub


                    
                    
                    site

Declaration

Swift

public private(set) var site: SourceRange { get }

Show on GitHub


                    
                    
                    receiverEffect

The effect of the arrow’s call operator.

Declaration

Swift

public let receiverEffect: SourceRepresentable<AccessEffect>?

Show on GitHub


                    
                    
                    environment

The environment of the arrow, or nil if it is thin.

Declaration

Swift

public private(set) var environment: AnyExprID? { get }

Show on GitHub


                    
                    
                    parameters

The parameters of the arrow.

Declaration

Swift

public let parameters: [Parameter]

Show on GitHub


                    
                    
                    output

The output type of the arrow.

Declaration

Swift

public let output: AnyExprID

Show on GitHub


                    
                    
                    init(receiverEffect:environment:parameters:output:site:)

Undocumented

Declaration

Swift

public init(
  receiverEffect: SourceRepresentable<AccessEffect>?,
  environment: AnyExprID?,
  parameters: [Parameter],
  output: AnyExprID,
  site: SourceRange
)

Show on GitHub