MapQ

Struct MapQ 

Source
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>

Source§

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<()>

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

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>)

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

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.
Source§

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

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

impl<R: Rt, E: UserEvent, T: MapFn<R, E>> BuiltIn<R, E> for MapQ<R, E, T>

Source§

const NAME: &str = T::NAME

Source§

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

Source§

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

Source§

impl<R: Debug + Rt, E: Debug + UserEvent, T: Debug + MapFn<R, E>> Debug for MapQ<R, E, T>
where T::Collection: Debug,

Source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl<R, E, T> Freeze for MapQ<R, E, T>
where <T as MapFn<R, E>>::Collection: Freeze, T: Freeze,

§

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>
where <T as MapFn<R, E>>::Collection: Unpin, T: Unpin,

§

impl<R, E, T> !UnwindSafe for MapQ<R, E, T>

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<'a, T, E> AsTaggedExplicit<'a, E> for T
where T: 'a,

Source§

fn explicit(self, class: Class, tag: u32) -> TaggedParser<'a, Explicit, Self, E>

Source§

impl<'a, T, E> AsTaggedImplicit<'a, E> for T
where T: 'a,

Source§

fn implicit( self, class: Class, constructed: bool, tag: u32, ) -> TaggedParser<'a, Implicit, Self, E>

Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V