Struct refraction::conv::ConvRef

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

An isomorphism family that handles lossless conversions by shared reference.

Methods

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

fn mk() -> Self

Trait Implementations

impl<'a, S: ?Sized, A: ?Sized, T: ?Sized, B: ?Sized> Debug for ConvRef<'a, S, A, T, B> where
    S: AsRef<A> + 'a,
    A: AsRef<S> + 'a,
    T: AsRef<B> + 'a,
    B: AsRef<T> + 'a, 

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

Formats the value using the given formatter.

impl<'a, S: ?Sized, A: ?Sized, T: ?Sized, B: ?Sized> Clone for ConvRef<'a, S, A, T, B> where
    S: AsRef<A> + 'a,
    A: AsRef<S> + 'a,
    T: AsRef<B> + 'a,
    B: AsRef<T> + 'a, 

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: ?Sized, A: ?Sized, T: ?Sized, B: ?Sized> Copy for ConvRef<'a, S, A, T, B> where
    S: AsRef<A> + 'a,
    A: AsRef<S> + 'a,
    T: AsRef<B> + 'a,
    B: AsRef<T> + 'a, 

impl<'a, S: ?Sized, A: ?Sized, T: ?Sized, B: ?Sized> Default for ConvRef<'a, S, A, T, B> where
    S: AsRef<A> + 'a,
    A: AsRef<S> + 'a,
    T: AsRef<B> + 'a,
    B: AsRef<T> + 'a, 

fn default() -> Self

Returns the "default value" for a type.

impl<'a, S: ?Sized, A: ?Sized, T: ?Sized, B: ?Sized> Lenticuloid for ConvRef<'a, S, A, T, B> where
    S: AsRef<A> + 'a,
    A: AsRef<S> + 'a,
    T: AsRef<B> + 'a,
    B: AsRef<T> + 'a, 

type InitialSource = &'a S

type InitialTarget = &'a A

type FinalSource = &'a T

type FinalTarget = &'a B

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

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

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

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

impl<'a, S: ?Sized, A: ?Sized, T: ?Sized, B: ?Sized> PartialLens for ConvRef<'a, S, A, T, B> where
    S: AsRef<A> + 'a,
    A: AsRef<S> + 'a,
    T: AsRef<B> + 'a,
    B: AsRef<T> + 'a, 

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: ?Sized, A: ?Sized, T: ?Sized, B: ?Sized> Lens for ConvRef<'a, S, A, T, B> where
    S: AsRef<A> + 'a,
    A: AsRef<S> + 'a,
    T: AsRef<B> + 'a,
    B: AsRef<T> + 'a, 

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

impl<'a, S: ?Sized, A: ?Sized, T: ?Sized, B: ?Sized> Prism for ConvRef<'a, S, A, T, B> where
    S: AsRef<A> + 'a,
    A: AsRef<S> + 'a,
    T: AsRef<B> + 'a,
    B: AsRef<T> + 'a, 

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

impl<'a, S: ?Sized, A: ?Sized, T: ?Sized, B: ?Sized> Iso for ConvRef<'a, S, A, T, B> where
    S: AsRef<A> + 'a,
    A: AsRef<S> + 'a,
    T: AsRef<B> + 'a,
    B: AsRef<T> + 'a,