ArrowType Structure Reference


                    
                    
                    receiverEffect

The effect of the arrow’s call operator.

Declaration

Swift

public let receiverEffect: AccessEffect

Show on GitHub


                    
                    
                    environment

The environment of the arrow.

Declaration

Swift

public let environment: AnyType

Show on GitHub


                    
                    
                    inputs

The input labels and types of the arrow.

Declaration

Swift

public let inputs: [CallableTypeParameter]

Show on GitHub


                    
                    
                    output

The output type of the arrow.

Declaration

Swift

public let output: AnyType

Show on GitHub


                    
                    
                    flags

Declaration

Swift

public let flags: ValueFlags

Show on GitHub


                    
                    
                    init(receiverEffect:environment:inputs:output:)

Creates an instance with the given properties.

Declaration

Swift

public init(
  receiverEffect: AccessEffect = .let,
  environment: AnyType = .void,
  inputs: [CallableTypeParameter],
  output: AnyType
)

Show on GitHub


                    
                    
                    init(_:to:)

Creates the type of a function accepting inputs as let parameters and returning output.

Declaration

Swift

public init(_ inputs: AnyType..., to output: AnyType)

Show on GitHub


                    
                    
                    init(constructorFormOf:)

Given an initializer type t, creates the corresponding constructor type.

Requires

t is an initializer type of the form [](self: set A, B...) -> Void.

Declaration

Swift

public init(constructorFormOf t: ArrowType)

Show on GitHub


                    
                    
                    init(initializerFormOf:)

Given an constructor type t, creates the corresponding initializer type.

Requires

t is a constructor type of the form [](A...) -> B.

Declaration

Swift

public init(initializerFormOf t: ArrowType)

Show on GitHub


                    
                    
                    lifted

Returns a thin type accepting self‘s environment as parameters.

Declaration

Swift

public var lifted: ArrowType { get }

Show on GitHub


                    
                    
                    strippingEnvironment

self sans environment.

Declaration

Swift

public var strippingEnvironment: ArrowType { get }

Show on GitHub


                    
                    
                    asMember(of:)

self transformed as the type of a member of receiver, which is existential.

Declaration

Swift

public func asMember(of receiver: ExistentialType) -> AnyType

Show on GitHub


                    
                    
                    captures

Accesses the individual elements of the lambda’s environment.

Declaration

Swift

public var captures: [TupleType.Element] { get }

Show on GitHub


                    
                    
                    elements(_:)

Undocumented

Declaration

Swift

func elements(_ t: AnyType) -> [TupleType.Element]

Show on GitHub


                    
                    
                    transformParts(mutating:_:)

Declaration

Swift

public func transformParts<M>(
  mutating m: inout M, _ transformer: (inout M, AnyType) -> TypeTransformAction
) -> Self

Show on GitHub


                    
                    
                    isArrow

Declaration

Swift

public var isArrow: Bool { get }

Show on GitHub


                    
                    
                    description

Declaration

Swift

public var description: String { get }

Show on GitHub