Trait Arrow 

pub trait Arrow: Sized {
    type Object;

    // Required methods
    fn source(&self) -> Self::Object;
    fn target(&self) -> Self::Object;
    fn identity(a: Self::Object) -> Self;
    fn compose(&self, other: &Self) -> Option<Self>;
}

Required Associated Types

type Object

Required Methods

fn source(&self) -> Self::Object

fn target(&self) -> Self::Object

fn identity(a: Self::Object) -> Self

the identity morphism on a

fn compose(&self, other: &Self) -> Option<Self>

Compose morphisms in diagrammatic order: self ; other

Errors

Returns None if self.target() != other.source().

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<K: ArrayKind, O, A> Arrow for open_hypergraphs::strict::open_hypergraph::OpenHypergraph<K, O, A>

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

type Object = SemifiniteFunction<K, O>

impl<K: ArrayKind, T> Arrow for SemifiniteArrow<K, T>

where K::Type<T>: Array<K, T>,

type Object = SemifiniteObject<K, T>

impl<K: ArrayKind> Arrow for FiniteFunction<K>

type Object = <K as ArrayKind>::I

impl<O: Clone + PartialEq, A: Clone> Arrow for open_hypergraphs::lax::open_hypergraph::OpenHypergraph<O, A>

type Object = Vec<O>