Struct CausalMultiFieldWitness 

pub struct CausalMultiFieldWitness<T>(/* private fields */);

HKT witness for CausalMultiField<T>.

The type parameter T specifies the concrete coefficient type (e.g., f64, f32). All HKT operations assume the generic type parameters match T.

Implementations

impl<T> CausalMultiFieldWitness<T>

pub fn new() -> Self

Creates a new witness.

Trait Implementations

impl<T> Applicative<CausalMultiFieldWitness<T>> for CausalMultiFieldWitness<T>

where T: Field + Copy + Default + PartialOrd + Satisfies<NoConstraint>,

fn apply<A, C, Func>( _ff: CausalMultiField<Func>, _fa: CausalMultiField<A>, ) -> CausalMultiField<C>

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

Applies a field of functions to a field of values.

Note

This is not meaningful for CausalMultiField because we can’t store functions in a tensor. Use fmap for function application.

impl<T: Clone> Clone for CausalMultiFieldWitness<T>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T> CoMonad<CausalMultiFieldWitness<T>> for CausalMultiFieldWitness<T>

where T: Field + Copy + Default + PartialOrd + Satisfies<NoConstraint>,

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

where A: Satisfies<NoConstraint> + Clone,

Extracts the “focus” value from the field.

Returns the first coefficient (scalar part at origin).

fn extend<A, C, Func>(fa: &CausalMultiField<A>, f: Func) -> CausalMultiField<C>

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

Extends a local computation to the entire field.

Applies the function to the field and broadcasts the result.

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<T: Debug> Debug for CausalMultiFieldWitness<T>

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

Formats the value using the given formatter.

impl<T: Default> Default for CausalMultiFieldWitness<T>

fn default() -> CausalMultiFieldWitness<T>

Returns the “default value” for a type.

impl<T> Functor<CausalMultiFieldWitness<T>> for CausalMultiFieldWitness<T>

where T: Field + Copy + Default + PartialOrd + Satisfies<NoConstraint>,

fn fmap<A, C, Func>(fa: CausalMultiField<A>, f: Func) -> CausalMultiField<C>

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

Maps a function over the field coefficients.

Safety — ACKNOWLEDGED GAT Limitation

This method uses unsafe pointer casting to work around Rust’s current GAT limitations. This will be resolved when the new trait solver (-Ztrait-solver=next) stabilizes.

SAFETY CONTRACT: The caller MUST ensure A and C are the same as T.

impl<T> HKT for CausalMultiFieldWitness<T>

where T: Satisfies<NoConstraint>,

type Constraint = NoConstraint

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

type Type<A> = CausalMultiField<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<T> Monad<CausalMultiFieldWitness<T>> for CausalMultiFieldWitness<T>

where T: Field + Copy + Default + PartialOrd + Satisfies<NoConstraint>,

fn bind<A, C, Func>(ma: CausalMultiField<A>, f: Func) -> CausalMultiField<C>

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

Monadic bind for CausalMultiField.

Note: This extracts the first coefficient, applies f, and returns the result. For proper field composition, use matrix multiplication via * operator.

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<T> Pure<CausalMultiFieldWitness<T>> for CausalMultiFieldWitness<T>

where T: Field + Copy + Default + PartialOrd + Satisfies<NoConstraint>,

fn pure<A>(value: A) -> CausalMultiField<A>

where A: Satisfies<NoConstraint>,

Creates a field with all coefficients set to the given value.

Note: Uses default metric (4D Lorentzian), shape [1,1,1], and unit grid spacing. For specific configurations, use CausalMultiField::zeros() or other factory methods.

impl<T: Copy> Copy for CausalMultiFieldWitness<T>