Trait kimchi_msm::circuit_design::composition::MPrism

pub trait MPrism {
    type Source;
    type Target;

    // Required methods
    fn traverse(&self, source: Self::Source) -> Option<Self::Target>;
    fn re_get(&self, target: Self::Target) -> Self::Source;
}

MPrism allows one to Something like a Prism, but for Maybe and not just any Applicative.

See

• https://hackage.haskell.org/package/lens-4.17.1/docs/Control-Lens-Prism.html
• https://hackage.haskell.org/package/lens-tutorial-1.0.4/docs/Control-Lens-Tutorial.html

Required Associated Types

type Source

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

type Target

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

Required Methods

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

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

Implementors

impl<LHS, RHS> MPrism for ComposedMPrism<LHS, RHS>where LHS: MPrism, LHS::Target: 'static, RHS: MPrism<Source = LHS::Target>,

type Source = <LHS as MPrism>::Source

type Target = <RHS as MPrism>::Target

impl<T> MPrism for IdMPrism<T>

type Source = T

type Target = T