Struct kimchi_msm::circuit_design::composition::IdMPrism

pub struct IdMPrism<T>(pub PhantomData<T>);

Identity MPrism from any type T to itself.

Can be used in many situations. E.g. when foo1 and foo2 both call bar that is parameterised by a lens, and foo1 has identical context to bar (so requires the ID lens), but foo2 needs an actual non-ID lens.

Tuple Fields

0: PhantomData<T>

Trait Implementations

impl<T: Clone> Clone for IdMPrism<T>

fn clone(&self) -> IdMPrism<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for IdMPrism<T>

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

Formats the value using the given formatter.

impl<T> Default for IdMPrism<T>

fn default() -> Self

Returns the “default value” for a type.

impl<T> MPrism for IdMPrism<T>

type Source = T

The lens source type, i.e., the object containing the field.

type Target = T

The lens target type, i.e., the field to be accessed or modified.

fn traverse(&self, source: Self::Source) -> Option<Self::Target>

fn re_get(&self, target: Self::Target) -> Self::Source

impl<T: Copy> Copy for IdMPrism<T>