Struct Operations 

#[non_exhaustive]
pub struct Operations<K: ArrayKind, O, A> {
    pub x: SemifiniteFunction<K, A>,
    pub a: IndexedCoproduct<K, SemifiniteFunction<K, O>>,
    pub b: IndexedCoproduct<K, SemifiniteFunction<K, O>>,
}

Column-oriented storage of operations and their types.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

x: SemifiniteFunction<K, A>

a: IndexedCoproduct<K, SemifiniteFunction<K, O>>

b: IndexedCoproduct<K, SemifiniteFunction<K, O>>

Implementations

impl<K: ArrayKind, O, A> Operations<K, O, A>

where K::Type<A>: Array<K, A>, K::Type<O>: Array<K, O>, K::Type<K::I>: NaturalArray<K>,

pub fn new( x: SemifiniteFunction<K, A>, a: IndexedCoproduct<K, SemifiniteFunction<K, O>>, b: IndexedCoproduct<K, SemifiniteFunction<K, O>>, ) -> Option<Self>

Safely create a list of operations which is guaranteed to have the right number of source and target types for each operation.

pub fn validate(self) -> Option<Self>

Ensure this list of operations has a source and target type for each operation label.

pub fn singleton( x: A, a: SemifiniteFunction<K, O>, b: SemifiniteFunction<K, O>, ) -> Self

A single operation (or a tensoring of length 1)

pub fn len(&self) -> K::I

Trait Implementations

impl<K: ArrayKind, O, A> Clone for Operations<K, O, A>

where K::Type<A>: Array<K, A>, K::Type<O>: Array<K, O>, K::Type<K::I>: NaturalArray<K>,

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<K: ArrayKind, O, A> Debug for Operations<K, O, A>

where K::Type<A>: Debug, K::Type<O>: Debug, K::Index: Debug,

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

Formats the value using the given formatter.