pub struct AnonFnExpr {
pub params: Vec<Param>,
pub return_type: Option<TypeExpr>,
pub body: BlockExpr,
pub span: Span,
}Expand description
An anonymous function expression (e.g., fn(x: i32) -> i32 { x + 1 }).
ADR-0055: desugars to an anonymous struct with a single __call method
and is instantiated as an empty struct literal. Each AnonFn site produces
a distinct type.
Fields§
§params: Vec<Param>Parameters (all require type annotations, like named functions).
return_type: Option<TypeExpr>Return type (None means implicit unit (), same as named functions).
body: BlockExprFunction body (always a block).
span: SpanSpan covering the entire fn(...) { ... } expression.
Trait Implementations§
Source§impl Clone for AnonFnExpr
impl Clone for AnonFnExpr
Source§fn clone(&self) -> AnonFnExpr
fn clone(&self) -> AnonFnExpr
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 AnonFnExpr
impl Debug for AnonFnExpr
Source§impl<'de> Deserialize<'de> for AnonFnExpr
impl<'de> Deserialize<'de> for AnonFnExpr
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl PartialEq for AnonFnExpr
impl PartialEq for AnonFnExpr
Source§impl Serialize for AnonFnExpr
impl Serialize for AnonFnExpr
impl Eq for AnonFnExpr
impl StructuralPartialEq for AnonFnExpr
Auto Trait Implementations§
impl Freeze for AnonFnExpr
impl RefUnwindSafe for AnonFnExpr
impl Send for AnonFnExpr
impl Sync for AnonFnExpr
impl Unpin for AnonFnExpr
impl UnsafeUnpin for AnonFnExpr
impl UnwindSafe for AnonFnExpr
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.§impl<'src, T> IntoMaybe<'src, T> for Twhere
T: 'src,
impl<'src, T> IntoMaybe<'src, T> for Twhere
T: 'src,
§impl<'p, T> Seq<'p, T> for Twhere
T: Clone,
impl<'p, T> Seq<'p, T> for Twhere
T: Clone,
§type Iter<'a> = Once<&'a T>
where
T: 'a
type Iter<'a> = Once<&'a T> where T: 'a
An iterator over the items within this container, by reference.
§fn contains(&self, val: &T) -> boolwhere
T: PartialEq,
fn contains(&self, val: &T) -> boolwhere
T: PartialEq,
Check whether an item is contained within this sequence.
§fn to_maybe_ref<'b>(item: <T as Seq<'p, T>>::Item<'b>) -> Maybe<T, &'p T>where
'p: 'b,
fn to_maybe_ref<'b>(item: <T as Seq<'p, T>>::Item<'b>) -> Maybe<T, &'p T>where
'p: 'b,
Convert an item of the sequence into a [
MaybeRef].