Struct Identity 

pub struct Identity;

The identity functor for lax open hypergraphs.

Trait Implementations

impl Clone for Identity

fn clone(&self) -> Identity

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<O: PartialEq + Clone, A: Clone + PartialEq> Functor<O, A, O, A> for Identity

fn map_object(&self, o: &O) -> impl ExactSizeIterator<Item = O>

Map a generating object of the theory

fn map_operation( &self, a: &A, source: &[O], target: &[O], ) -> OpenHypergraph<O, A>

Map a single operation of the theory with specified source and target type. This must be consistent with map_object, i.e. we must have: - F.map_operation(x, s, t).sources == F.map_object(s) - F.map_operation(x, s, t).targets == F.map_object(t) This condition is not checked, but may panic if not satisfied.

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

Apply this functor to an OpenHypergraph. Once map_operation is defined, this can typically be defined as define_map_arrow(self, f)