Struct IdentityMapper

Source

pub struct IdentityMapper<C>(pub PhantomData<C>);

Expand description

An identity mapper that does not change the parsed object Used in situations when we need prove U: DisjointFrom<Mapped<…>> in which case we can wrap U in Mapped and use existing impls

Tuple Fields§

§0: PhantomData<C>

Implementations§

Source §

impl<C> IdentityMapper<C>

Source

pub fn new() -> Self

Trait Implementations§

Source §

impl<C: Debug> Debug for IdentityMapper<C>

Source §

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

Formats the value using the given formatter. Read more

Source §

impl<C: Combinator> Iso for IdentityMapper<C>
where C::V: SecureSpecCombinator<SpecResult = <C::Owned as View>::V>,

Source §

type Src<'a> = <C as Combinator>::Result<'a>

The source type of the isomorphism.

Source §

type Dst<'a> = <C as Combinator>::Result<'a>

The destination type of the isomorphism.

Source §

type SrcOwned = <C as Combinator>::Owned

The owned version of the source type.

Source §

type DstOwned = <C as Combinator>::Owned

The owned version of the destination type.

Source §

fn apply(s: Self::Src<'_>) -> Self::Dst<'_>

Applies the isomorphism to the source type.

Source §

fn rev_apply(s: Self::Dst<'_>) -> Self::Src<'_>

Applies the reverse isomorphism to the destination type.

Source §

impl<C: SpecCombinator> SpecIso for IdentityMapper<C>

Source §

type Src = <C as SpecCombinator>::SpecResult

The source type of the isomorphism.

Source §

type Dst = <C as SpecCombinator>::SpecResult

The destination type of the isomorphism.

Source §

impl<C: View> View for IdentityMapper<C>

Source §

type V = IdentityMapper<<C as View>::V>

Auto Trait Implementations§

§

impl<C> UnwindSafe for IdentityMapper<C>
where C: 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> From<T> for T

Source §

fn from(t: T) -> T

Returns the argument unchanged.

Source §

impl<T> From<T> for T
where T: View, <T as View>::V: SpecFrom<<T as View>::V>,

Source §

fn ex_from(t: T) -> T

Vest equivalent of std::convert::From::from.

Source §

impl<T, U> Into 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, U> Into for T
where T: View, U: View + From<T>, ::V: SpecFrom<<T as View>::V>,

Source §

fn ex_into(self) -> U

Vest equivalent of std::convert::Into::into.

Source §

impl<T, U> SpecTryInto for T
where U: SpecTryFrom<T>,

Source §

type Error = >::Error

The type returned in the event of a conversion error.

Source §

impl<T, U> TryFrom 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>::Error>

Performs the conversion.

Source §

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

Source §

type Error = >::Error

The type returned in the event of a conversion error.

Source §

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

Performs the conversion.

Source §

impl<T, U> TryInto for T
where T: View, U: View + TryFrom<T>, ::V: SpecTryFrom<<T as View>::V>,

Source §

type Error = >::Error

The type returned in the event of a conversion error.

Source §

fn ex_try_into(self) -> Result<U, >::Error>

Vest equivalent of std::convert::TryInto::try_into.

Source §

impl<T> SpecFrom<T> for T

Source §

impl<T, U> SpecInto for T
where U: SpecFrom<T>,

Source §

Struct IdentityMapperCopy item path

Tuple Fields§

Implementations§

impl<C> IdentityMapper<C>

pub fn new() -> Self

Trait Implementations§

impl<C: Debug> Debug for IdentityMapper<C>

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

impl<C: Combinator> Iso for IdentityMapper<C>where C::V: SecureSpecCombinator<SpecResult = <C::Owned as View>::V>,

type Src<'a> = <C as Combinator>::Result<'a>

type Dst<'a> = <C as Combinator>::Result<'a>

type SrcOwned = <C as Combinator>::Owned

type DstOwned = <C as Combinator>::Owned

fn apply(s: Self::Src<'_>) -> Self::Dst<'_>

fn rev_apply(s: Self::Dst<'_>) -> Self::Src<'_>

impl<C: SpecCombinator> SpecIso for IdentityMapper<C>

type Src = <C as SpecCombinator>::SpecResult

type Dst = <C as SpecCombinator>::SpecResult

impl<C: View> View for IdentityMapper<C>

type V = IdentityMapper<<C as View>::V>

Auto Trait Implementations§

impl<C> Freeze for IdentityMapper<C>

impl<C> RefUnwindSafe for IdentityMapper<C>where C: RefUnwindSafe,

impl<C> Send for IdentityMapper<C>where C: Send,

impl<C> Sync for IdentityMapper<C>where C: Sync,

impl<C> Unpin for IdentityMapper<C>where C: Unpin,

impl<C> UnwindSafe for IdentityMapper<C>where C: UnwindSafe,

Blanket Implementations§

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

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> From<T> for Twhere T: View, <T as View>::V: SpecFrom<<T as View>::V>,

fn ex_from(t: T) -> T

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

fn into(self) -> U

impl<T, U> Into<U> for Twhere T: View, U: View + From<T>, <U as View>::V: SpecFrom<<T as View>::V>,

fn ex_into(self) -> U

impl<T, U> SpecTryInto<U> for Twhere U: SpecTryFrom<T>,

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

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

type Error = Infallible

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

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

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

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

impl<T, U> TryInto<U> for Twhere T: View, U: View + TryFrom<T>, <U as View>::V: SpecTryFrom<<T as View>::V>,

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

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

impl<T> SpecFrom<T> for T

impl<T, U> SpecInto<U> for Twhere U: SpecFrom<T>,

impl<T> SpecIsoFn for Twhere T: SpecIso,

Struct IdentityMapper

impl<C: Combinator> Iso for IdentityMapper<C>
where C::V: SecureSpecCombinator<SpecResult = <C::Owned as View>::V>,

impl<C> RefUnwindSafe for IdentityMapper<C>
where C: RefUnwindSafe,

impl<C> Send for IdentityMapper<C>
where C: Send,

impl<C> Sync for IdentityMapper<C>
where C: Sync,

impl<C> Unpin for IdentityMapper<C>
where C: Unpin,

impl<C> UnwindSafe for IdentityMapper<C>
where C: UnwindSafe,

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

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

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

impl<T> From<T> for T
where T: View, <T as View>::V: SpecFrom<<T as View>::V>,

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

impl<T, U> Into<U> for T
where T: View, U: View + From<T>, <U as View>::V: SpecFrom<<T as View>::V>,

impl<T, U> SpecTryInto<U> for T
where U: SpecTryFrom<T>,

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

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

impl<T, U> TryInto<U> for T
where T: View, U: View + TryFrom<T>, <U as View>::V: SpecTryFrom<<T as View>::V>,

impl<T, U> SpecInto<U> for T
where U: SpecFrom<T>,

impl<T> SpecIsoFn for T
where T: SpecIso,