Trait Apply 

pub trait Apply<R: Rt, E: UserEvent>:
    Debug
    + Send
    + Sync
    + Any {
    // Required methods
    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>);

    // Provided methods
    fn delete(&mut self, _ctx: &mut ExecCtx<R, E>) { ... }
    fn typecheck(
        &mut self,
        _ctx: &mut ExecCtx<R, E>,
        _from: &mut [Node<R, E>],
        _phase: TypecheckPhase<'_>,
    ) -> Result<()> { ... }
    fn typ(&self) -> Arc<FnType> { ... }
    fn refs<'a>(&self, _refs: &mut Refs) { ... }
}

Apply is a kind of node that represents a function application. It does not hold ownership of it’s arguments, instead those are held by a CallSite node. This allows us to change the function called at runtime without recompiling the arguments.

Required Methods

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.

Provided Methods

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 [Node<R, E>], _phase: TypecheckPhase<'_>, ) -> Result<()>

apply custom typechecking. Phase indicates context:

• Lambda: during lambda body checking (faux args). Return NeedsCallSite to opt in to deferred call-site type checking.
• CallSite: during deferred check or bind (resolved FnType available)

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.

Implementors