Wyvern.Value (wyvern v1.0.3)

Copy Markdown

Value represents a typed value, e.g. the integer 42.

Summary

Types

t()

Functions

array(type, elems)
array_value?(arg1)
bfloat(v)
blockaddress(function, label)
double(v)
dynamic_value?(arg1)
float(v)
global_ref(name)
half(v)
handle(instruction)
handle(id, type)
i1(v)
i8(v)
i16(v)
i32(v)
i64(v)
local_ref(type, name)
poison(type)
struct(fields, opts \\ [])
undef(type)
void()
zero?(arg1)

Types

t()

@type t() ::
  Wyvern.Value.Array.t()
  | Wyvern.Value.BlockAddress.t()
  | Wyvern.Value.Integer.t()
  | Wyvern.Value.Float.t()
  | Wyvern.Value.LocalRef.t()
  | Wyvern.Value.GlobalRef.t()
  | Wyvern.Value.Handle.t()
  | Wyvern.Value.Poison.t()
  | Wyvern.Value.Struct.t()
  | Wyvern.Value.Undef.t()
  | Wyvern.Value.Void.t()

Functions

array(type, elems)

array_value?(arg1)

bfloat(v)

blockaddress(function, label)

double(v)

dynamic_value?(arg1)

float(v)

global_ref(name)

@spec global_ref(String.t()) :: Wyvern.Value.GlobalRef.t()

half(v)

handle(instruction)

handle(id, type)

i1(v)

i8(v)

i16(v)

i32(v)

i64(v)

local_ref(type, name)

@spec local_ref(Wyvern.Type.t(), String.t()) :: Wyvern.Value.LocalRef.t()

poison(type)

@spec poison(Wyvern.Type.t()) :: Wyvern.Value.Poison.t()

struct(fields, opts \\ [])

undef(type)

@spec undef(Wyvern.Type.t()) :: Wyvern.Value.Undef.t()

void()

@spec void() :: Wyvern.Value.Void.t()

zero?(arg1)