Struct JsProgram 

pub struct JsProgram { /* private fields */ }

Functional program for computing semantics

Implementations

impl JsProgram

pub fn instance_of<V: NapiRaw>(env: Env, value: V) -> Result<bool>

impl JsProgram

pub fn into_reference(val: JsProgram, env: Env) -> Result<Reference<JsProgram>>

pub fn into_instance(self, env: Env) -> Result<ClassInstance<JsProgram>>

impl JsProgram

pub fn constant(value: &JsSemanticValue) -> Self

Create a constant program

pub fn var(index: u32) -> Self

Create a variable reference program

pub fn child(index: u32) -> Self

Create a child reference program

pub fn primitive(prim: &JsPrimitive, args: Vec<&JsProgram>) -> Self

Create a primitive operation program

pub fn lambda(arity: u32, body: &JsProgram) -> Self

Create a lambda program

pub fn apply(func: &JsProgram, args: Vec<&JsProgram>) -> Self

Create an application program

pub fn if_then_else( cond: &JsProgram, then_branch: &JsProgram, else_branch: &JsProgram, ) -> Self

Create a conditional program

pub fn depth(&self) -> u32

Get the depth of this program

pub fn size(&self) -> u32

Get the size of this program

pub fn is_constant(&self) -> bool

Check if this is a constant program

Trait Implementations

impl FromNapiMutRef for JsProgram

unsafe fn from_napi_mut_ref( env: napi_env, napi_val: napi_value, ) -> Result<&'static mut Self>

Safety

impl FromNapiRef for JsProgram

unsafe fn from_napi_ref( env: napi_env, napi_val: napi_value, ) -> Result<&'static Self>

Safety

impl FromNapiValue for &JsProgram

unsafe fn from_napi_value(env: napi_env, napi_val: napi_value) -> Result<Self>

Safety

fn from_unknown(value: JsUnknown) -> Result<Self, Error>

impl FromNapiValue for &mut JsProgram

unsafe fn from_napi_value(env: napi_env, napi_val: napi_value) -> Result<Self>

Safety

fn from_unknown(value: JsUnknown) -> Result<Self, Error>

impl ObjectFinalize for JsProgram

fn finalize(self, env: Env) -> Result<(), Error>

impl ToNapiValue for JsProgram

unsafe fn to_napi_value(env: napi_env, val: JsProgram) -> Result<napi_value>

Safety

impl TypeName for &JsProgram

fn type_name() -> &'static str

fn value_type() -> ValueType

impl TypeName for &mut JsProgram

fn type_name() -> &'static str

fn value_type() -> ValueType

impl TypeName for JsProgram

fn type_name() -> &'static str

fn value_type() -> ValueType

impl ValidateNapiValue for &JsProgram

unsafe fn validate(env: napi_env, napi_val: napi_value) -> Result<napi_value>

Safety

impl ValidateNapiValue for &mut JsProgram

unsafe fn validate(env: napi_env, napi_val: napi_value) -> Result<napi_value>

Safety