Wyvern.Value.Handle (wyvern v1.0.4)

A Handle is used to refer to the value that is returned by an instruction and allow it to be passed as a value in the parameter of another instruction.

In particular this unifies named and unnamed values where name resolution happens in a later step.

Summary

Types

t()

Functions

new(id, type)

Types

t()

@type t() :: %Wyvern.Value.Handle{id: reference(), type: Wyvern.Type.t()}

Functions

new(id, type)

@spec new(reference(), Wyvern.Type.t()) :: t()