pub struct FunSig {
pub is_unsafe: bool,
pub is_closure: bool,
pub closure_info: Option<ClosureInfo>,
pub generics: GenericParams,
pub parent_params_info: Option<ParamsInfo>,
pub inputs: Vec<Ty>,
pub output: Ty,
}
Expand description
A function signature.
Fields§
§is_unsafe: bool
Is the function unsafe or not
is_closure: bool
true
if the signature is for a closure.
Importantly: if the signature is for a closure, then:
- the type and const generic params actually come from the parent function (the function in which the closure is defined)
- the region variables are local to the closure
closure_info: Option<ClosureInfo>
Additional information if this is the signature of a closure.
generics: GenericParams
§parent_params_info: Option<ParamsInfo>
Optional fields, for trait methods only (see the comments in ParamsInfo).
inputs: Vec<Ty>
§output: Ty
Trait Implementations§
source§impl<'de> Deserialize<'de> for FunSig
impl<'de> Deserialize<'de> for FunSig
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<C: AstFormatter> FmtWithCtx<C> for FunSig
impl<C: AstFormatter> FmtWithCtx<C> for FunSig
source§impl<'a> Formatter<&FunSig> for FmtCtx<'a>
impl<'a> Formatter<&FunSig> for FmtCtx<'a>
fn format_object(&self, x: &FunSig) -> String
impl Eq for FunSig
impl StructuralPartialEq for FunSig
Auto Trait Implementations§
impl Freeze for FunSig
impl RefUnwindSafe for FunSig
impl Send for FunSig
impl Sync for FunSig
impl Unpin for FunSig
impl UnwindSafe for FunSig
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,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)§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<I, T> ExtractContext<I, ()> for T
impl<I, T> ExtractContext<I, ()> for T
§fn extract_context(self, _original_input: I)
fn extract_context(self, _original_input: I)
Given the context attached to a nom error, and given the original
input to the nom parser, extract more the useful context information. Read more
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
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§impl<I> RecreateContext<I> for I
impl<I> RecreateContext<I> for I
§fn recreate_context(_original_input: I, tail: I) -> I
fn recreate_context(_original_input: I, tail: I) -> I
Given the original input, as well as the context reported by nom,
recreate a context in the original string where the error occurred. Read more