Trait LkEnv

pub trait LkEnv {
    // Required method
    fn userdata<'o>(&'o self, out: &mut LkEnvData<'o>);

    // Provided method
    fn as_scope(&self) -> LkaScope<'_> { ... }
}

LkEnvData is a collection of pointers the user can supply to extend the available expressions when evaluating an ab-expression This LkEnvData is packed together with a set of default scopes into a LkaScope struct. LkEnv is a utility trait - allowing you to quickly change a field in the effective LkEnvData. eg lka_eval(“”, &() as &dyn UserScope); lka_eval(“[0] [1]”, &[“hello”,“world”]);

Required Methods

fn userdata<'o>(&'o self, out: &mut LkEnvData<'o>)

Provided Methods

fn as_scope(&self) -> LkaScope<'_>

Implementations on Foreign Types

impl LkEnv for &[&[u8]]

fn userdata<'o>(&'o self, out: &mut LkEnvData<'o>)

impl LkEnv for (&dyn LkEnv, &dyn LkEnv)

fn userdata<'o>(&'o self, out: &mut LkEnvData<'o>)

impl LkEnv for (&dyn Point, &[&[u8]])

fn userdata<'o>(&'o self, out: &mut LkEnvData<'o>)

impl LkEnv for (Option<&dyn Point>, Option<&[&[u8]]>)

fn userdata<'o>(&'o self, out: &mut LkEnvData<'o>)

impl LkEnv for (Domain, GroupID)

fn userdata<'o>(&'o self, out: &mut LkEnvData<'o>)

impl LkEnv for (Domain, GroupID, PubKey)

fn userdata<'o>(&'o self, out: &mut LkEnvData<'o>)

impl LkEnv for Option<&dyn LkEnv>

fn userdata<'o>(&'o self, out: &mut LkEnvData<'o>)

impl LkEnv for ()

fn userdata<'o>(&'o self, _out: &mut LkEnvData<'o>)

impl LkEnv for SubSpace

fn userdata<'o>(&'o self, out: &mut LkEnvData<'o>)

impl<const N: usize> LkEnv for [&[u8]; N]

fn userdata<'o>(&'o self, out: &mut LkEnvData<'o>)

Implementors

impl LkEnv for &dyn Point

impl LkEnv for LkIdentity

impl LkEnv for LkEnvData<'_>

impl LkEnv for LkEnvDataSync

impl LkEnv for LkaScope<'_>

impl LkEnv for Space