Struct lalrpop_lambda::wasm::Exp

pub struct Exp(_);

A parsed λ-expression

This struct is a wrapper around an Expression to both allow exporting it to JS, and to contain functions functions we want to export for the Exp, for example Exp::to_string.

Methods

impl Exp

pub fn new(v: JsValue) -> Result<Exp, JsValue>

Parse and construct a new Expr

new lambda.Exp("(\\x.x x) y");
new lambda.Exp(2);
new lambda.Exp(false);
new lambda.Exp("*wtf");  // Throws exception.

pub fn applicative(&self, η: bool) -> Self

pub fn call_by_value(&self) -> Self

pub fn normal(&self, η: bool) -> Self

pub fn call_by_name(&self) -> Self

pub fn head_spine(&self, η: bool) -> Self

pub fn to_string(&self) -> String

See std::fmt::Display

let expr = new lambda.Exp("\\x.x x");
console.log(`${expr}`);

pub fn to_number(&self) -> usize

See From<Expression> for u64

let two = new lambda.Exp("\\f.\\x.(f (f x))");
console.log(`${two.toNumber()}`);

pub fn to_bool(&self) -> bool

See From<Expression> for bool

let t = new lambda.Exp("\\a.\\b.a");
console.log(`${t.toBool()}`);

Trait Implementations

impl From<Exp> for JsValue

fn from(_value: Exp) -> Self

Performs the conversion.

impl RefFromWasmAbi for Exp

type Abi = u32

The wasm ABI type references to Self are recovered from.

type Anchor = Ref<'static, Exp>

The type that holds the reference to Self for the duration of the invocation of the function that has an &Self parameter. This is required to ensure that the lifetimes don't persist beyond one function call, and so that they remain anonymous.

unsafe fn ref_from_abi(js: Self::Abi, _extra: &mut dyn Stack) -> Self::Anchor

Recover a Self::Anchor from Self::Abi.

impl WasmDescribe for Exp

fn describe()

impl IntoWasmAbi for Exp

type Abi = u32

The wasm ABI type that this converts into when crossing the ABI boundary.

fn into_abi(self, _extra: &mut dyn Stack) -> u32

Convert self into Self::Abi so that it can be sent across the wasm ABI boundary.

impl FromWasmAbi for Exp

type Abi = u32

The wasm ABI type that this converts from when coming back out from the ABI boundary.

unsafe fn from_abi(js: u32, _extra: &mut dyn Stack) -> Self

Recover a Self from Self::Abi.

impl OptionFromWasmAbi for Exp

fn is_none(abi: &Self::Abi) -> bool

Tests whether the argument is a "none" instance. If so it will be deserialized as None, and otherwise it will be passed to FromWasmAbi.

impl OptionIntoWasmAbi for Exp

fn none() -> Self::Abi

Returns an ABI instance indicating "none", which JS will interpret as the None branch of this option.

impl RefMutFromWasmAbi for Exp

type Abi = u32

Same as RefFromWasmAbi::Abi

type Anchor = RefMut<'static, Exp>

Same as RefFromWasmAbi::Anchor

unsafe fn ref_mut_from_abi(
    js: Self::Abi,
    _extra: &mut dyn Stack
) -> Self::Anchor

Same as RefFromWasmAbi::ref_from_abi