[go: up one dir, main page]

Then

Struct Then 

Source
pub struct Then<T, U, B: ?Sized> { /* private fields */ }
Expand description

Lens composed of two lenses joined together

Implementations§

Source§

impl<T, U, B: ?Sized> Then<T, U, B>

Source

pub fn new<A: ?Sized, C: ?Sized>(left: T, right: U) -> Self
where T: Lens<A, B>, U: Lens<B, C>,

Compose two lenses

See also LensExt::then.

Trait Implementations§

Source§

impl<T: Clone, U: Clone, B> Clone for Then<T, U, B>

Source§

fn clone(&self) -> Self

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<T: Debug, U: Debug, B: Debug + ?Sized> Debug for Then<T, U, B>

Source§

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

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

impl<T, U, A, B, C> Lens<A, C> for Then<T, U, B>
where A: ?Sized, B: ?Sized, C: ?Sized, T: Lens<A, B>, U: Lens<B, C>,

Source§

fn with<V, F: FnOnce(&C) -> V>(&self, data: &A, f: F) -> V

Get non-mut access to the field. Read more
Source§

fn with_mut<V, F: FnOnce(&mut C) -> V>(&self, data: &mut A, f: F) -> V

Get mutable access to the field. Read more
Source§

impl<T: Copy, U: Copy, B: Copy + ?Sized> Copy for Then<T, U, B>

Auto Trait Implementations§

§

impl<T, U, B> Freeze for Then<T, U, B>
where T: Freeze, U: Freeze, B: ?Sized,

§

impl<T, U, B> RefUnwindSafe for Then<T, U, B>

§

impl<T, U, B> Send for Then<T, U, B>
where T: Send, U: Send, B: Send + ?Sized,

§

impl<T, U, B> Sync for Then<T, U, B>
where T: Sync, U: Sync, B: Sync + ?Sized,

§

impl<T, U, B> Unpin for Then<T, U, B>
where T: Unpin, U: Unpin, B: Unpin + ?Sized,

§

impl<T, U, B> UnwindSafe for Then<T, U, B>
where T: UnwindSafe, U: UnwindSafe, B: UnwindSafe + ?Sized,

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> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
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<A, B, T> LensExt<A, B> for T
where T: Lens<A, B>, A: ?Sized, B: ?Sized,

Source§

fn get(&self, data: &A) -> B
where B: Clone,

Copy the targeted value out of data
Source§

fn put(&self, data: &mut A, value: B)
where B: Sized,

Set the targeted value in data to value
Source§

fn then<Other, C>(self, other: Other) -> Then<Self, Other, B>
where Other: Lens<B, C> + Sized, C: ?Sized, Self: Sized,

Compose a Lens<A, B> with a Lens<B, C> to produce a Lens<A, C> Read more
Source§

fn map<Get, Put, C>(self, get: Get, put: Put) -> Then<Self, Map<Get, Put>, B>
where Get: Fn(&B) -> C, Put: Fn(&mut B, C), Self: Sized,

Combine a Lens<A, B> with a function that can transform a B and its inverse. Read more
Source§

fn deref(self) -> Then<Self, Deref, B>
where B: Deref + DerefMut, Self: Sized,

Invoke a type’s Deref impl Read more
Source§

fn as_ref<T: ?Sized>(self) -> Then<Self, Ref, B>
where B: AsRef<T> + AsMut<T>, Self: Sized,

Invoke a type’s AsRef and AsMut impl. Read more
Source§

fn index<I>(self, index: I) -> Then<Self, Index<I>, B>
where I: Clone, B: Index<I> + IndexMut<I>, Self: Sized,

Access an index in a container Read more
Source§

fn in_arc(self) -> InArc<Self>
where A: Clone, B: Data, Self: Sized,

Adapt to operate on the contents of an Arc with efficient copy-on-write semantics Read more
Source§

fn not(self) -> Then<Self, Not, B>
where Self: Sized, B: Sized + Into<bool> + Copy, bool: Into<B>,

A lens that reverses a boolean value Read more
Source§

impl<T> RoundFrom<T> for T

Source§

fn round_from(x: T) -> T

Performs the conversion.
Source§

impl<T, U> RoundInto<U> for T
where U: RoundFrom<T>,

Source§

fn round_into(self) -> U

Performs the conversion.
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
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.
Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more