Skip to main content

define_map_arrow

open_hypergraphs::lax::functor::dyn_functor

Function define_map_arrow 

Source 
pub fn define_map_arrow<F: Functor<O1, A1, O2, A2> + Clone, O1: Clone + PartialEq, A1: Clone, O2: Clone + PartialEq, A2: Clone>(
    functor: &F,
    f: &OpenHypergraph<O1, A1>,
) -> OpenHypergraph<O2, A2>
Expand description

Define the map_arrow function of a lax Functor by translating it to a strit::Functor, applying it, and translating back.