Struct Identity

pub struct Identity<S, T> { /* private fields */ }

The identity lenticuloid.

Implementations

impl<S, T> Identity<S, T>

pub fn mk() -> Self

Trait Implementations

impl<S, T> Clone for Identity<S, T>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<S, T> Debug for Identity<S, T>

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

Formats the value using the given formatter.

impl<S, T> Default for Identity<S, T>

fn default() -> Self

Returns the “default value” for a type.

impl<S, T> Lens for Identity<S, T>

fn get(&self, v: S) -> S

impl<S, T> Lenticuloid for Identity<S, T>

type InitialSource = S

type InitialTarget = S

type FinalSource = T

type FinalTarget = T

type AtInitial = Identity<S, S>

type AtFinal = Identity<T, T>

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

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

impl<S, T> PartialLens for Identity<S, T>

fn try_get(&self, v: S) -> Result<S, T>

fn try_get_inject(&self, v: S) -> Result<(S, Injector<'_, T, T>), T>

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: S, x: T) -> T

fn exchange(&self, v: S, x: T) -> (Option<S>, T)

fn modify<F: FnOnce(S) -> T>(&self, v: S, f: F) -> T

fn modify_with<F: FnOnce(S) -> (T, X), X>(&self, v: S, f: F) -> (T, Option<X>)

impl<S, T> Prism for Identity<S, T>

fn inject(&self, v: T) -> T

impl<S, T> Copy for Identity<S, T>

impl<S, T> Iso for Identity<S, T>