Struct MapQ

pub struct MapQ<C: Ctx, E: UserEvent, T: MapFn<C, E>> { /* private fields */ }

Trait Implementations

impl<C: Ctx, E: UserEvent, T: MapFn<C, E>> Apply<C, E> for MapQ<C, E, T>

fn update( &mut self, ctx: &mut ExecCtx<C, E>, from: &mut [Node<C, E>], event: &mut Event<E>, ) -> Option<Value>

fn typecheck( &mut self, ctx: &mut ExecCtx<C, E>, from: &mut [Node<C, E>], ) -> Result<()>

apply custom typechecking to the lambda, only needed for builtins that take lambdas as arguments

fn refs<'a>(&'a self, f: &'a mut (dyn FnMut(BindId) + 'a))

push a list of variables the lambda references in addition to it’s arguments. Builtins only need to implement this if they lookup and reference variables from the environment that were not explicitly passed in.

fn delete(&mut self, _ctx: &mut ExecCtx<C, E>)

delete any internally generated nodes, only needed for builtins that dynamically generate code at runtime

fn typ(&self) -> Arc<FnType>

return the lambdas type, builtins do not need to implement this, it is implemented by the BuiltIn wrapper

impl<C: Ctx, E: UserEvent, T: MapFn<C, E>> BuiltIn<C, E> for MapQ<C, E, T>

const NAME: &str = T::NAME

const TYP: LazyLock<FnType> = T::TYP

fn init(_: &mut ExecCtx<C, E>) -> BuiltInInitFn<C, E>

impl<C: Debug + Ctx, E: Debug + UserEvent, T: Debug + MapFn<C, E>> Debug for MapQ<C, E, T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.