Struct HypergraphArrow 

pub struct HypergraphArrow<K: ArrayKind, O, A> {
    pub source: Hypergraph<K, O, A>,
    pub target: Hypergraph<K, O, A>,
    pub w: FiniteFunction<K>,
    pub x: FiniteFunction<K>,
}

Fields

source: Hypergraph<K, O, A>

Source hypergraph

target: Hypergraph<K, O, A>

target hypergraph

w: FiniteFunction<K>

Natural transformation on wires

x: FiniteFunction<K>

Natural transformation on operations

Implementations

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

where K::Type<O>: Array<K, O> + PartialEq, K::Type<A>: Array<K, A> + PartialEq,

pub fn new( source: Hypergraph<K, O, A>, target: Hypergraph<K, O, A>, w: FiniteFunction<K>, x: FiniteFunction<K>, ) -> Result<Self, InvalidHypergraphArrow>

Safely create a new HypergraphArrow by checking naturality of w and x.

pub fn validate(self) -> Result<Self, InvalidHypergraphArrow>

Check validity of a HypergraphArrow.

Trait Implementations

impl<K: ArrayKind, O: Debug, A: Debug> Clone for HypergraphArrow<K, O, A>

where K::Type<K::I>: Clone, K::Type<A>: Clone, K::Type<O>: Clone,

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: Debug, A: Debug> Debug for HypergraphArrow<K, O, A>

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

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

Formats the value using the given formatter.