gwr - v0.1.0

gwr/exec/stack

Types

Stack

</>

https://webassembly.github.io/spec/core/exec/runtime.html#stack

pub type Stack {
  Stack(entries: List(StackEntry))
}

Constructors

StackEntry

</>

https://webassembly.github.io/spec/core/exec/runtime.html#stack

pub type StackEntry {
  ValueEntry(spec.Value)
  LabelEntry(spec.Label)
  ActivationEntry(spec.Frame)
}

Constructors

Values

count_on_top

</> 
pub fn count_on_top(
  from stack: Stack,
  with predicate: fn(StackEntry) -> Bool,
) -> Int

create

</> 
pub fn create() -> Stack

get_current_frame

</> 
pub fn get_current_frame(
  from stack: Stack,
) -> Result(spec.Frame, Nil)

get_current_label

</> 
pub fn get_current_label(
  from stack: Stack,
) -> Result(spec.Label, Nil)

get_entries

</> 
pub fn get_entries(from stack: Stack) -> List(StackEntry)

is_activation_frame

</> 
pub fn is_activation_frame(entry: StackEntry) -> Bool

is_label

</> 
pub fn is_label(entry: StackEntry) -> Bool

is_value

</> 
pub fn is_value(entry: StackEntry) -> Bool

length

</> 
pub fn length(from stack: Stack) -> Int

peek

</> 
pub fn peek(from stack: Stack) -> option.Option(StackEntry)

pop

</> 
pub fn pop(
  from stack: Stack,
) -> #(Stack, option.Option(StackEntry))

pop_all

</> 
pub fn pop_all(from stack: Stack) -> #(Stack, List(StackEntry))

pop_as

</> 
pub fn pop_as(
  from stack: Stack,
  with convert: fn(StackEntry) -> Result(a, trap.Trap),
) -> Result(#(Stack, a), trap.Trap)

pop_if

</> 
pub fn pop_if(
  from stack: Stack,
  with predicate: fn(StackEntry) -> Bool,
) -> Result(#(Stack, StackEntry), Nil)

pop_repeat

</> 
pub fn pop_repeat(
  from stack: Stack,
  up_to count: Int,
) -> #(Stack, List(StackEntry))

pop_while

</> 
pub fn pop_while(
  from stack: Stack,
  with predicate: fn(StackEntry) -> Bool,
) -> #(Stack, List(StackEntry))

push

</> 
pub fn push(
  to stack: Stack,
  push new_entries: List(StackEntry),
) -> Stack

replace_current_frame

</> 
pub fn replace_current_frame(
  from stack: Stack,
  with new_frame: spec.Frame,
) -> Result(Stack, Nil)

to_frame

</> 
pub fn to_frame(
  entry: StackEntry,
) -> Result(spec.Frame, trap.Trap)

to_label

</> 
pub fn to_label(
  entry: StackEntry,
) -> Result(spec.Label, trap.Trap)

to_value

</> 
pub fn to_value(
  entry: StackEntry,
) -> Result(spec.Value, trap.Trap)
✨ Search Document