Struct ConvRef

pub struct ConvRef<'a, S: ?Sized + 'a, A: ?Sized + 'a = S, T: ?Sized + 'a = S, B: ?Sized + 'a = T> { /* private fields */ }

An isomorphism family that handles lossless conversions by shared reference.

Implementations

impl<'a, S, A, T, B> ConvRef<'a, S, A, T, B>

where S: AsRef<A> + 'a + ?Sized, A: AsRef<S> + 'a + ?Sized, T: AsRef<B> + 'a + ?Sized, B: AsRef<T> + 'a + ?Sized,

pub fn mk() -> Self

Trait Implementations

impl<'a, S, A, T, B> Clone for ConvRef<'a, S, A, T, B>

where S: AsRef<A> + 'a + ?Sized, A: AsRef<S> + 'a + ?Sized, T: AsRef<B> + 'a + ?Sized, B: AsRef<T> + 'a + ?Sized,

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, S, A, T, B> Debug for ConvRef<'a, S, A, T, B>

where S: AsRef<A> + 'a + ?Sized, A: AsRef<S> + 'a + ?Sized, T: AsRef<B> + 'a + ?Sized, B: AsRef<T> + 'a + ?Sized,

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

Formats the value using the given formatter.

impl<'a, S, A, T, B> Default for ConvRef<'a, S, A, T, B>

where S: AsRef<A> + 'a + ?Sized, A: AsRef<S> + 'a + ?Sized, T: AsRef<B> + 'a + ?Sized, B: AsRef<T> + 'a + ?Sized,

fn default() -> Self

Returns the “default value” for a type.

impl<'a, S, A, T, B> Lens for ConvRef<'a, S, A, T, B>

where S: AsRef<A> + 'a + ?Sized, A: AsRef<S> + 'a + ?Sized, T: AsRef<B> + 'a + ?Sized, B: AsRef<T> + 'a + ?Sized,

fn get(&self, v: Self::InitialSource) -> Self::InitialTarget

impl<'a, S, A, T, B> Lenticuloid for ConvRef<'a, S, A, T, B>

where S: AsRef<A> + 'a + ?Sized, A: AsRef<S> + 'a + ?Sized, T: AsRef<B> + 'a + ?Sized, B: AsRef<T> + 'a + ?Sized,

type InitialSource = &'a S

type InitialTarget = &'a A

type FinalSource = &'a T

type FinalTarget = &'a B

type AtInitial = ConvRef<'a, S, A, S, A>

type AtFinal = ConvRef<'a, T, B, T, B>

fn at_initial(&self) -> Self::AtInitial

fn at_final(&self) -> Self::AtFinal

impl<'a, S, A, T, B> PartialLens for ConvRef<'a, S, A, T, B>

where S: AsRef<A> + 'a + ?Sized, A: AsRef<S> + 'a + ?Sized, T: AsRef<B> + 'a + ?Sized, B: AsRef<T> + 'a + ?Sized,

fn try_get( &self, v: Self::InitialSource, ) -> Result<Self::InitialTarget, Self::FinalSource>

fn try_get_inject( &self, v: Self::InitialSource, ) -> Result<(Self::InitialTarget, Injector<'_, Self::FinalTarget, Self::FinalSource>), Self::FinalSource>

This signature is somewhat hacky; it awaits resolution of the FnBox issue for better design. Notably, the injection function returned by this method will (if law-abiding) only return Some exactly once; every time afterwards, it will return None.

fn set( &self, _v: Self::InitialSource, x: Self::FinalTarget, ) -> Self::FinalSource

fn exchange( &self, v: Self::InitialSource, x: Self::FinalTarget, ) -> (Option<Self::InitialTarget>, Self::FinalSource)

fn modify<F>(&self, v: Self::InitialSource, f: F) -> Self::FinalSource

where F: FnOnce(Self::InitialTarget) -> Self::FinalTarget,

fn modify_with<F, X>( &self, v: Self::InitialSource, f: F, ) -> (Self::FinalSource, Option<X>)

where F: FnOnce(Self::InitialTarget) -> (Self::FinalTarget, X),

impl<'a, S, A, T, B> Prism for ConvRef<'a, S, A, T, B>

where S: AsRef<A> + 'a + ?Sized, A: AsRef<S> + 'a + ?Sized, T: AsRef<B> + 'a + ?Sized, B: AsRef<T> + 'a + ?Sized,

fn inject(&self, v: Self::FinalTarget) -> Self::FinalSource

impl<'a, S, A, T, B> Copy for ConvRef<'a, S, A, T, B>

where S: AsRef<A> + 'a + ?Sized, A: AsRef<S> + 'a + ?Sized, T: AsRef<B> + 'a + ?Sized, B: AsRef<T> + 'a + ?Sized,

impl<'a, S, A, T, B> Iso for ConvRef<'a, S, A, T, B>

where S: AsRef<A> + 'a + ?Sized, A: AsRef<S> + 'a + ?Sized, T: AsRef<B> + 'a + ?Sized, B: AsRef<T> + 'a + ?Sized,