FrontEnd Structures MethodType variant(_:) Instance Method Reference

variant(_:)

public func variant(_ k: AccessEffect) -> ArrowType

Returns the type of the variant k in this bundle.

Requires

k is in the capabilities of self.

Show on GitHub

makeFunctionalOutput()
Returns the output type of a let or sink variant.
Declaration
Swift

func makeFunctionalOutput() -> AnyType
Show on GitHub
makeType(_:_:)
Returns the type of a method implementation with receiver r and output o.
Declaration
Swift

func makeType(_ r: AnyType, _ o: AnyType) -> ArrowType
Show on GitHub