Struct Library 

pub struct Library { /* private fields */ }

The functions a formula may call, by upper-case name: the seam. Every function registered is a function of its arguments and of the cell it is computed at, and of nothing else: no clock, no chance, no state of its own. An engine’s machine computes a cell again only when a cell it reads has changed (KERNEL.20, super::reach), so a function that answered differently over the same arguments would be computed once and kept.

Implementations

impl Library

pub fn empty() -> Library

A library with nothing in it.

pub fn register( &mut self, name: &str, f: fn(&Ctx<'_>, &[Arg<'_>]) -> Result<Value, Reason>, )

Register a strict function; a later registration of the same name replaces the earlier.

pub fn register_form( &mut self, name: &str, f: for<'e> fn(&Ctx<'_>, &'e [Expr]) -> Result<Arg<'e>, Reason>, )

Register a form.

pub fn strict( &self, name: &str, ) -> Option<fn(&Ctx<'_>, &[Arg<'_>]) -> Result<Value, Reason>>

The strict function of that name, without case.

pub fn form( &self, name: &str, ) -> Option<for<'e> fn(&Ctx<'_>, &'e [Expr]) -> Result<Arg<'e>, Reason>>

The form of that name, without case.

pub fn has(&self, name: &str) -> bool

Whether the library holds a function of that name.

pub fn names(&self) -> Vec<&str>

Every name the library holds, sorted.

pub fn len(&self) -> usize

How many functions the library holds.

pub fn is_empty(&self) -> bool

Whether the library holds none.

Trait Implementations

impl Default for Library

fn default() -> Library

Returns the “default value” for a type.