Struct Identity 

pub struct Identity;

The identity functor, which implements Functor for any signature.

Trait Implementations

impl<K: ArrayKind, O, A> Functor<K, O, A, O, A> for Identity

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

fn map_object( &self, a: &SemifiniteFunction<K, O>, ) -> IndexedCoproduct<K, SemifiniteFunction<K, O>>

Action on objects

fn map_arrow(&self, f: &OpenHypergraph<K, O, A>) -> OpenHypergraph<K, O, A>

Action on arrows. If you have implemented map_operations, you can implement this simply as define_map_arrow(self, f).

fn map_operations(&self, ops: Operations<K, O, A>) -> OpenHypergraph<K, O, A>

Action on tensoring of operations, i.e., compute F(f₀) ● F(f₁) ● .. ● F(fn) for generators f_i.