Struct CausalMultiVectorWitness 

pub struct CausalMultiVectorWitness;

Trait Implementations

impl Applicative<CausalMultiVectorWitness> for CausalMultiVectorWitness

fn pure<T>(value: T) -> CausalMultiVector<T>

Lifts a pure value into the minimal applicative context F::Type<T>.

fn apply<A, B, Func>( f_ab: CausalMultiVector<Func>, f_a: CausalMultiVector<A>, ) -> CausalMultiVector<B>

where Func: FnMut(A) -> B, A: Clone,

Applies a function wrapped in a context (f_ab) to a value wrapped in a context (f_a).

impl BoundedAdjunction<CausalMultiVectorWitness, CausalMultiVectorWitness, Metric> for CausalMultiVectorWitness

fn left_adjunct<A, B, F>(ctx: &Metric, a: A, f: F) -> CausalMultiVector<B>

where F: Fn(CausalMultiVector<A>) -> B, A: Clone + Zero + Copy + PartialEq, B: Clone,

The Left Adjunct: $(L(A) \to B) \to (A \to R(B))$ Transforms a function on the “Left” structure to a function on the “Right” structure, using the provided context.

fn right_adjunct<A, B, F>(ctx: &Metric, la: CausalMultiVector<A>, f: F) -> B

where F: FnMut(A) -> CausalMultiVector<B>, A: Clone + Zero, B: Clone + Zero + Add<Output = B> + Mul<Output = B>,

The Right Adjunct: $(A \to R(B)) \to (L(A) \to B)$ Transforms a function on the “Right” structure to a function on the “Left” structure, using the provided context.

fn unit<A>(ctx: &Metric, a: A) -> CausalMultiVector<CausalMultiVector<A>>

where A: Clone + Zero + Copy + PartialEq,

The Unit of the Adjunction: $A \to R(L(A))$ Embeds a value into the Right-Left context, using the provided context.

fn counit<B>(_ctx: &Metric, lrb: CausalMultiVector<CausalMultiVector<B>>) -> B

where B: Clone + Zero + Add<Output = B> + Mul<Output = B>,

The Counit of the Adjunction: $L(R(B)) \to B$ Collapses the Left-Right context back to a value, using the provided context.

impl BoundedComonad<CausalMultiVectorWitness> for CausalMultiVectorWitness

fn extract<A>(fa: &CausalMultiVector<A>) -> A

where A: Clone,

fn extend<A, B, Func>( fa: &CausalMultiVector<A>, f: Func, ) -> CausalMultiVector<B>

where Func: FnMut(&CausalMultiVector<A>) -> B, A: Zero + Copy + Clone, B: Zero + Copy + Clone,

impl Functor<CausalMultiVectorWitness> for CausalMultiVectorWitness

fn fmap<A, B, F>(fa: CausalMultiVector<A>, f: F) -> CausalMultiVector<B>

where F: FnMut(A) -> B,

Applies a function f to the value inside the container m_a.

impl HKT for CausalMultiVectorWitness

type Type<A> = CausalMultiVector<A>

The Generic Associated Type (GAT) that represents the type constructor. The <T> is the “hole” in the type constructor (e.g., Option<T>).

impl Monad<CausalMultiVectorWitness> for CausalMultiVectorWitness

fn bind<A, B, Func>(m_a: CausalMultiVector<A>, f: Func) -> CausalMultiVector<B>

where Func: FnMut(A) -> CausalMultiVector<B>,

Chains a computation from an effectful value, flattening the result. This is the core sequencing operation of a Monad.