pub struct CoreClosure { /* private fields */ }Implementations§
Source§impl CoreClosure
impl CoreClosure
pub fn new( allocator: FrozenAllocator, id: &'static TypedIdent<Symbol>, args: &'static [TypedIdent<Symbol>], expr: CExpr<'static>, ) -> CoreClosure
pub fn closure<'a>(&'a self) -> ClosureRef<'a>
pub fn into_expr(self) -> CoreExpr
pub fn map( self, f: impl for<'a> FnOnce(&'a TypedIdent<Symbol>, &'a [TypedIdent<Symbol>], CExpr<'a>) -> (&'a TypedIdent<Symbol>, &'a [TypedIdent<Symbol>], CExpr<'a>), ) -> Self
pub fn with<F, R>(self, f: F) -> Rwhere
F: for<'a, 'b> FnOnce(&(dyn Fn(CExpr<'a>) -> CoreExpr + 'b), &(dyn Fn(ClosureRef<'a>) -> CoreClosure + 'b), ClosureRef<'a>) -> R,
Trait Implementations§
Source§impl Clone for CoreClosure
impl Clone for CoreClosure
Source§fn clone(&self) -> CoreClosure
fn clone(&self) -> CoreClosure
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for CoreClosure
impl Debug for CoreClosure
Source§impl Display for CoreClosure
impl Display for CoreClosure
Source§impl From<CoreClosure> for OptimizerBinding
impl From<CoreClosure> for OptimizerBinding
Source§fn from(expr: CoreClosure) -> Self
fn from(expr: CoreClosure) -> Self
Converts to this type from the input type.
Source§impl Hash for CoreClosure
impl Hash for CoreClosure
Source§impl PartialEq for CoreClosure
impl PartialEq for CoreClosure
impl Eq for CoreClosure
Auto Trait Implementations§
impl Freeze for CoreClosure
impl !RefUnwindSafe for CoreClosure
impl Send for CoreClosure
impl Sync for CoreClosure
impl Unpin for CoreClosure
impl !UnwindSafe for CoreClosure
Blanket Implementations§
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
Source§impl<T> CallHasher for T
impl<T> CallHasher for T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Choices> CoproductSubsetter<CNil, HNil> for Choices
impl<Choices> CoproductSubsetter<CNil, HNil> for Choices
Source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Convert
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can
then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.Source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Convert
Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be
further downcast into Rc<ConcreteType> where ConcreteType implements Trait.Source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.Source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.Source§impl<T> DowncastArc for T
impl<T> DowncastArc for T
Source§impl<T> DowncastSync for T
impl<T> DowncastSync for T
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more