Struct CachedArgs

pub struct CachedArgs<T: EvalCached> { /* private fields */ }

Trait Implementations

impl<R: Rt, E: UserEvent, T: EvalCached> Apply<R, E> for CachedArgs<T>

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

fn sleep(&mut self, _ctx: &mut ExecCtx<R, E>)

put the node to sleep, used in conditions like select for branches that are not selected. Any cached values should be cleared on sleep.

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

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

fn typecheck( &mut self, _ctx: &mut ExecCtx<R, E>, _from: &mut [Box<dyn Update<R, E>>], ) -> Result<(), Error>

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

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

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

fn refs<'a>(&self, _refs: &mut Refs)

Populate the Refs structure with all the ids bound and refed by this node. It is only necessary for builtins to implement this if they create nodes, such as call sites.

impl<R: Rt, E: UserEvent, T: EvalCached> BuiltIn<R, E> for CachedArgs<T>

const NAME: &str = T::NAME

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

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

impl<T: Debug + EvalCached> Debug for CachedArgs<T>

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

Formats the value using the given formatter.