Struct CausalTensorWitness 

pub struct CausalTensorWitness;

Trait Implementations

impl Applicative<CausalTensorWitness> for CausalTensorWitness

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

where A: Satisfies<NoConstraint> + Clone, B: Satisfies<NoConstraint>, Func: Satisfies<NoConstraint> + FnMut(A) -> B,

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

impl CoMonad<CausalTensorWitness> for CausalTensorWitness

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

where A: Satisfies<NoConstraint> + Clone,

Extracts the value at the current focus of the comonadic context.

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

where Func: FnMut(&CausalTensor<A>) -> B, A: Satisfies<NoConstraint> + Clone, B: Satisfies<NoConstraint>,

Extends the comonadic context by applying a function to its observed state.

fn duplicate<A>( fa: &<F as HKT>::Type<A>, ) -> <F as HKT>::Type<<F as HKT>::Type<A>>

where A: Satisfies<<F as HKT>::Constraint> + Clone, <F as HKT>::Type<A>: Satisfies<<F as HKT>::Constraint> + Clone,

Duplicates the comonadic context.

impl Foldable<CausalTensorWitness> for CausalTensorWitness

fn fold<A, B, Func>(fa: CausalTensor<A>, init: B, f: Func) -> B

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

Reduces the elements of the structure to a single value by applying a function.

impl Functor<CausalTensorWitness> for CausalTensorWitness

fn fmap<A, B, Func>(m_a: CausalTensor<A>, f: Func) -> CausalTensor<B>

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

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

impl HKT for CausalTensorWitness

type Constraint = NoConstraint

The constraint on inner types. Use NoConstraint for fully polymorphic.

type Type<T> = CausalTensor<T> where T: Satisfies<NoConstraint>

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<CausalTensorWitness> for CausalTensorWitness

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

where A: Satisfies<NoConstraint>, B: Satisfies<NoConstraint>, Func: FnMut(A) -> <Self as HKT>::Type<B>,

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

fn join<A>(m_m_a: <F as HKT>::Type<<F as HKT>::Type<A>>) -> <F as HKT>::Type<A>

where A: Satisfies<<F as HKT>::Constraint>, <F as HKT>::Type<A>: Satisfies<<F as HKT>::Constraint>,

Flatten a nested structure into a single layer.

impl Pure<CausalTensorWitness> for CausalTensorWitness

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

where T: Satisfies<NoConstraint>,

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