pub struct MapQ<R: Rt, E: UserEvent, T: MapFn<R, E>> { /* private fields */ }Trait Implementations§
Source§impl<R: Rt, E: UserEvent, T: MapFn<R, E>> Apply<R, E> for MapQ<R, E, T>
impl<R: Rt, E: UserEvent, T: MapFn<R, E>> Apply<R, E> for MapQ<R, E, T>
fn update( &mut self, ctx: &mut ExecCtx<R, E>, from: &mut [Node<R, E>], event: &mut Event<E>, ) -> Option<Value>
Source§fn typecheck(
&mut self,
ctx: &mut ExecCtx<R, E>,
_from: &mut [Node<R, E>],
) -> Result<()>
fn typecheck( &mut self, ctx: &mut ExecCtx<R, E>, _from: &mut [Node<R, E>], ) -> Result<()>
apply custom typechecking to the lambda, only needed for
builtins that take lambdas as arguments
Source§fn refs(&self, refs: &mut Refs)
fn refs(&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.
Source§fn delete(&mut self, ctx: &mut ExecCtx<R, E>)
fn delete(&mut self, ctx: &mut ExecCtx<R, E>)
delete any internally generated nodes, only needed for
builtins that dynamically generate code at runtime
Auto Trait Implementations§
impl<R, E, T> Freeze for MapQ<R, E, T>
impl<R, E, T> !RefUnwindSafe for MapQ<R, E, T>
impl<R, E, T> Send for MapQ<R, E, T>
impl<R, E, T> Sync for MapQ<R, E, T>
impl<R, E, T> Unpin for MapQ<R, E, T>
impl<R, E, T> !UnwindSafe for MapQ<R, E, T>
Blanket Implementations§
Source§impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
Source§impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more