Struct lincoln_compiled::Context

pub struct Context(_);

A Context is a container of values. Ideally it should not have more than 20 elements but this is not a hard limit.

Methods

impl Context

pub fn expect_args(&self, args: u8) -> Result<(), EvalError>

A handy function for external functions. It checks that there is exactly the amount of values being stored in the context.

args: the number of arguments expected.

pub fn append(&mut self, other: &mut Self)

Merge two context into one. The second context put last.

other: the other context to merge

pub fn iterate(&mut self) -> impl Iterator<Item = Box<dyn Value>>

Take all value out and append to a vector.

pub fn len(&self) -> u8

Receive the length of the context.

pub fn split(&mut self, at: u8) -> Result<Self, ValueAccessError>

Split the context into two pieces. Used to construct closures.

at: where to split up

pub fn push(&mut self, v: Box<dyn Value>)

Store one more value to the context. The lenghth increases by 1.

v: the value to store

pub fn pop(&mut self) -> Result<Box<dyn Value>, ValueAccessError>

Retrive a value from the context. The length decreases by 1. Fail if the context is empty.

pub fn permutate(&mut self, p: Permutation)

Perform a permutation over the values.

p: the permutation to perform.

Trait Implementations

impl Drop for Context

fn drop(&mut self)

Executes the destructor for this type.

impl Default for Context

fn default() -> Context

Returns the "default value" for a type.

impl Display for Context

fn fmt(&self, fmt: &mut Formatter) -> Result

Formats the value using the given formatter.