Impl

Struct Impl 

Source
pub struct Impl<Mods, TypeVars, Recv, Where, Body> {
    pub mods: Mods,
    pub type_variables: TypeVars,
    pub receiver: Recv,
    pub where_conds: Where,
    pub body: Body,
}
Expand description

An impl block.

For impls of a trait for a certain receiver, it is suggested to use TraitImpl.

Fields§

§mods: Mods

The modifiers on the impl block. Set to NoOpSeq for none, or use SingularSeq(ModUnsafe) to generate an unsafe impl.

§type_variables: TypeVars

The type variables to use for the impl block itself. All type variables that appear later on the trait or the receiver must be declared here, per Rust language rules.

This field must be a sequence.

§receiver: Recv

The receiver for which the implementation exists

§where_conds: Where

The “where” conditions. Must be a sequence. Set to NoOpSeq to disable. Will render as where C1, C2, C3, ... where CX is a value in the sequence.

§body: Body

The body. Use NoOp if none exists.

Trait Implementations§

Source§

impl<Mods, TypeVars, Recv, Where, Body> CanHaveAttributes for Impl<Mods, TypeVars, Recv, Where, Body>

Source§

fn with_attributes<Attr>(self, attr: Attr) -> WithAttributes<Attr, Self>

Adds attributes to this writable
Source§

impl<Mods: Clone, TypeVars: Clone, Recv: Clone, Where: Clone, Body: Clone> Clone for Impl<Mods, TypeVars, Recv, Where, Body>

Source§

fn clone(&self) -> Impl<Mods, TypeVars, Recv, Where, Body>

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

impl<Mods: Debug, TypeVars: Debug, Recv: Debug, Where: Debug, Body: Debug> Debug for Impl<Mods, TypeVars, Recv, Where, Body>

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<O, Mods, TypeVars, Recv, Where, Body> Writable<O> for Impl<Mods, TypeVars, Recv, Where, Body>
where O: Output, Mods: WritableSeq<O>, TypeVars: WritableSeq<O>, Recv: Writable<O>, Where: WritableSeq<O>, Body: Writable<O>,

Source§

async fn write_to(&self, o: &mut O) -> Result<(), O::Error>

Writes to the output. Returns the output’s error upon failure. Read more

Auto Trait Implementations§

§

impl<Mods, TypeVars, Recv, Where, Body> Freeze for Impl<Mods, TypeVars, Recv, Where, Body>
where Mods: Freeze, TypeVars: Freeze, Recv: Freeze, Where: Freeze, Body: Freeze,

§

impl<Mods, TypeVars, Recv, Where, Body> RefUnwindSafe for Impl<Mods, TypeVars, Recv, Where, Body>
where Mods: RefUnwindSafe, TypeVars: RefUnwindSafe, Recv: RefUnwindSafe, Where: RefUnwindSafe, Body: RefUnwindSafe,

§

impl<Mods, TypeVars, Recv, Where, Body> Send for Impl<Mods, TypeVars, Recv, Where, Body>
where Mods: Send, TypeVars: Send, Recv: Send, Where: Send, Body: Send,

§

impl<Mods, TypeVars, Recv, Where, Body> Sync for Impl<Mods, TypeVars, Recv, Where, Body>
where Mods: Sync, TypeVars: Sync, Recv: Sync, Where: Sync, Body: Sync,

§

impl<Mods, TypeVars, Recv, Where, Body> Unpin for Impl<Mods, TypeVars, Recv, Where, Body>
where Mods: Unpin, TypeVars: Unpin, Recv: Unpin, Where: Unpin, Body: Unpin,

§

impl<Mods, TypeVars, Recv, Where, Body> UnwindSafe for Impl<Mods, TypeVars, Recv, Where, Body>
where Mods: UnwindSafe, TypeVars: UnwindSafe, Recv: UnwindSafe, Where: UnwindSafe, Body: UnwindSafe,

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<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> CloneToUninit for T
where T: Clone,

Source§

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
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> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

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

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

Uses borrowed data to replace owned data, usually by cloning. Read more
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.