Wyvern.Instruction.Call (wyvern v1.0.4)

Copy Markdown

Summary

Types

t()

Functions

new(dest, fn_type, fn_ref, args)
validate_args!(fn_type, args)

Types

t()

@type t() :: %Wyvern.Instruction.Call{
  args: [Wyvern.Value.t()],
  dest: Wyvern.Instruction.Types.destination(),
  fn_ref: Wyvern.Value.t(),
  fn_type: Wyvern.Type.Function.t(),
  id: reference()
}

Functions

new(dest, fn_type, fn_ref, args)

@spec new(
  Wyvern.Instruction.Types.destination(),
  Wyvern.Type.Function.t(),
  Wyvern.Value.t(),
  [
    Wyvern.Value.t()
  ]
) :: t()

validate_args!(fn_type, args)