[−][src]Struct c2rust_refactor::analysis::ownership::FnSig

pub struct FnSig<'lty, 'tcx, L: 'lty> {
    pub inputs: &'lty [LabeledTy<'lty, 'tcx, L>],
    pub output: LabeledTy<'lty, 'tcx, L>,
}

A generic labeled function signature.

Fields

inputs: &'lty [LabeledTy<'lty, 'tcx, L>]output: LabeledTy<'lty, 'tcx, L>

Trait Implementations

`impl<'lty, 'tcx, L: Debug> Signature<&'lty LabeledTyS<'lty, 'tcx, L>> for FnSig<'lty, 'tcx, L>`[src]

`fn num_inputs(&self) -> usize`[src]

`fn input(&self, idx: usize) -> LabeledTy<'lty, 'tcx, L>`[src]

`fn output(&self) -> LabeledTy<'lty, 'tcx, L>`[src]

`impl<'lty, 'tcx, L: Eq + 'lty> Eq for FnSig<'lty, 'tcx, L>`[src]

`impl<'lty, 'tcx, L: Copy + 'lty> Copy for FnSig<'lty, 'tcx, L>`[src]

`impl<'lty, 'tcx, L: PartialEq + 'lty> PartialEq<FnSig<'lty, 'tcx, L>> for FnSig<'lty, 'tcx, L>`[src]

`fn eq(&self, other: &FnSig<'lty, 'tcx, L>) -> bool`[src]

`fn ne(&self, other: &FnSig<'lty, 'tcx, L>) -> bool`[src]

`impl<'lty, 'tcx, L: Clone + 'lty> Clone for FnSig<'lty, 'tcx, L>`[src]

`fn clone(&self) -> FnSig<'lty, 'tcx, L>`[src]

`default fn clone_from(&mut self, source: &Self)`
1.0.0
[src]

Performs copy-assignment from source. Read more

`impl<'lty, 'tcx, L: Debug + 'lty> Debug for FnSig<'lty, 'tcx, L>`[src]

`fn fmt(&self, f: &mut Formatter) -> Result`[src]

Auto Trait Implementations

`impl<'lty, 'tcx, L> !Send for FnSig<'lty, 'tcx, L>`

`impl<'lty, 'tcx, L> !Sync for FnSig<'lty, 'tcx, L>`

Blanket Implementations

`impl<T> Lone for T`[src]

`fn lone(Self) -> T`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

`fn to_owned(&self) -> T`[src]

`fn clone_into(&self, target: &mut T)`[src]

`impl<T> From for T`[src]

`fn from(t: T) -> T`[src]

`impl<T, U> Into for T where U: From<T>,` [src]

`fn into(self) -> U`[src]

`impl<T, U> TryFrom for T where U: Into<T>,` [src]

`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>`[src]

`impl<T> Borrow for T where T: ?Sized,` [src]

`fn borrow(&self) -> &T`[src]

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`fn type_id(&self) -> TypeId`[src]

`impl<T> BorrowMut for T where T: ?Sized,` [src]

`fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`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>`[src]

`impl<E> SpecializationError for E`[src]

`default fn not_found<S, T>( trait_name: &'static str, method_name: &'static str ) -> E where T: ?Sized,` [src]

`impl<T> Erased for T`[src]

`impl<T> Send for T where T: ?Sized,` [src]

`impl<T> Sync for T where T: ?Sized,` [src]

`impl<T> Same for T`

`type Output = T`

Should always be Self

`impl<Q, K> Equivalent for Q where K: Borrow<Q> + ?Sized, Q: Eq + ?Sized,` [src]

`fn equivalent(&self, key: &K) -> bool`[src]

`impl<T> MaybeResult for T`[src]

`fn from_ok(x: T) -> T`[src]

`fn map_same<F>(self, f: F) -> T where F: FnOnce(T) -> T,` [src]

`impl<'a, T> Captures for T where T: ?Sized,` [src]

`impl<T> Erased for T`

`impl<T> Make for T`[src]

`fn make(self, _mk: &Builder) -> T`[src]

`impl<T> Slottable for T`[src]

[−][src]Struct c2rust_refactor::analysis::ownership::FnSig

Fields

Trait Implementations

impl<'lty, 'tcx, L: Debug> Signature<&'lty LabeledTyS<'lty, 'tcx, L>> for FnSig<'lty, 'tcx, L>[src]

fn num_inputs(&self) -> usize[src]

fn input(&self, idx: usize) -> LabeledTy<'lty, 'tcx, L>[src]

fn output(&self) -> LabeledTy<'lty, 'tcx, L>[src]

impl<'lty, 'tcx, L: Eq + 'lty> Eq for FnSig<'lty, 'tcx, L>[src]

impl<'lty, 'tcx, L: Copy + 'lty> Copy for FnSig<'lty, 'tcx, L>[src]

impl<'lty, 'tcx, L: PartialEq + 'lty> PartialEq<FnSig<'lty, 'tcx, L>> for FnSig<'lty, 'tcx, L>[src]

fn eq(&self, other: &FnSig<'lty, 'tcx, L>) -> bool[src]

fn ne(&self, other: &FnSig<'lty, 'tcx, L>) -> bool[src]

impl<'lty, 'tcx, L: Clone + 'lty> Clone for FnSig<'lty, 'tcx, L>[src]

fn clone(&self) -> FnSig<'lty, 'tcx, L>[src]

default fn clone_from(&mut self, source: &Self)1.0.0[src]

impl<'lty, 'tcx, L: Debug + 'lty> Debug for FnSig<'lty, 'tcx, L>[src]

fn fmt(&self, f: &mut Formatter) -> Result[src]

Auto Trait Implementations

impl<'lty, 'tcx, L> !Send for FnSig<'lty, 'tcx, L>

impl<'lty, 'tcx, L> !Sync for FnSig<'lty, 'tcx, L>

Blanket Implementations

impl<T> Lone for T[src]

fn lone(Self) -> T[src]

impl<T> ToOwned for T where T: Clone, [src]

type Owned = T

fn to_owned(&self) -> T[src]

fn clone_into(&self, target: &mut T)[src]

impl<T> From for T[src]

fn from(t: T) -> T[src]

impl<T, U> Into for T where U: From<T>, [src]

fn into(self) -> U[src]

impl<T, U> TryFrom for T where U: Into<T>, [src]

type Error = Infallible

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

impl<T> Borrow for T where T: ?Sized, [src]

fn borrow(&self) -> &T[src]

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

fn type_id(&self) -> TypeId[src]

impl<T> BorrowMut for T where T: ?Sized, [src]

fn borrow_mut(&mut self) -> &mut T[src]

impl<T, U> TryInto for T where U: TryFrom<T>, [src]

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

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

impl<E> SpecializationError for E[src]

default fn not_found<S, T>( trait_name: &'static str, method_name: &'static str) -> E where T: ?Sized, [src]

impl<T> Erased for T[src]

impl<T> Send for T where T: ?Sized, [src]

impl<T> Sync for T where T: ?Sized, [src]

impl<T> Same for T

type Output = T

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

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

impl<T> MaybeResult for T[src]

fn from_ok(x: T) -> T[src]

fn map_same<F>(self, f: F) -> T where F: FnOnce(T) -> T, [src]

impl<'a, T> Captures for T where T: ?Sized, [src]

impl<T> Erased for T

impl<T> Make for T[src]

fn make(self, _mk: &Builder) -> T[src]

impl<T> Slottable for T[src]