Skip to main content

define_map_arrow

open_hypergraphs::strict::functor::traits

Function define_map_arrow 

Source 
pub fn define_map_arrow<K: ArrayKind, O1, A1, O2, A2, F: Functor<K, O1, A1, O2, A2>>(
    functor: &F,
    f: &OpenHypergraph<K, O1, A1>,
) -> OpenHypergraph<K, O2, A2>
where
    K::Type<K::I>: NaturalArray<K>,
    K::Type<O1>: Array<K, O1> + PartialEq,
    K::Type<A1>: Array<K, A1>,
    K::Type<O2>: Array<K, O2> + PartialEq,
    K::Type<A2>: Array<K, A2>,
Expand description

Define a functor (a mapping on OpenHypergraphs) by its action on Operations. This is typically easier than implementing map_arrow directly.