Skip to main content

MethodSig

gruel_parser::ast

Struct MethodSig

pub struct MethodSig {
    pub doc: Option<Doc>,
    pub directives: Directives,
    pub is_unchecked: bool,
    pub name: Ident,
    pub receiver: SelfParam,
    pub params: Vec<Param>,
    pub return_type: Option<TypeExpr>,
    pub span: Span,
}

Expand description

A method signature inside an interface declaration.

No body and no associated functions (no-self) are allowed in MVP.

Fields§

§doc: Option<Doc>

ADR-0089: docstring attached to this signature.

§directives: Directives

Directives applied to this signature (e.g. @mark(unchecked)).

§is_unchecked: bool

ADR-0088: whether this signature is marked @mark(unchecked). Implementors must match this flag exactly (conformance is strict — checked impls must match a checked sig, unchecked impls must match an unchecked sig).

§name: Ident

Method name

§receiver: SelfParam

The receiver. Required (associated functions are not yet allowed in interfaces).

§params: Vec<Param>

Method parameters (excluding self)

§return_type: Option<TypeExpr>

Return type (None means implicit unit ())

§span: Span

Span covering the entire signature (fn name(...) -> R;)

Trait Implementations§

impl Clone for MethodSig

fn clone(&self) -> MethodSig

Returns a duplicate of the value. Read more

1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more

impl Debug for MethodSig

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

Formats the value using the given formatter. Read more

impl<'de> Deserialize<'de> for MethodSig

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more

impl PartialEq for MethodSig

fn eq(&self, other: &MethodSig) -> bool

Tests for self and other values to be equal, and is used by ==.

1.0.0 · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for MethodSig

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where S: Serializer,

Serialize this value into the given Serde serializer. Read more

impl Eq for MethodSig

impl StructuralPartialEq for MethodSig

Auto Trait Implementations§

impl Freeze for MethodSig

impl RefUnwindSafe for MethodSig

impl Send for MethodSig

impl Sync for MethodSig

impl Unpin for MethodSig

impl UnsafeUnpin for MethodSig

impl UnwindSafe for MethodSig

Blanket Implementations§

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

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

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

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

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

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

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
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

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

fn into(self) -> U

Calls U::from(self).

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

impl<'src, T> IntoMaybe<'src, T> for T
where T: 'src,

type Proj<U: 'src> = U

fn map_maybe<R>( self, _f: impl FnOnce(&'src T) -> &'src R, g: impl FnOnce(T) -> R, ) -> <T as IntoMaybe<'src, T>>::Proj<R>
where R: 'src,

impl<'p, T> Seq<'p, T> for T
where T: Clone,

type Item<'a> = &'a T where T: 'a

The item yielded by the iterator.

type Iter<'a> = Once<&'a T> where T: 'a

An iterator over the items within this container, by reference.

fn seq_iter(&self) -> <T as Seq<'p, T>>::Iter<'_>

Iterate over the elements of the container.

fn contains(&self, val: &T) -> bool
where 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,

Convert an item of the sequence into a [MaybeRef].

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

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

type Error = Infallible

The type returned in the event of a conversion error.

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

Performs the conversion.

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

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

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

impl<T> OrderedSeq<'_, T> for T
where T: Clone,