Skip to main content

open_hypergraphs/lax/functor/
mod.rs

1mod traits;
2pub use traits::*;
3
4pub mod dyn_functor;
5
6// shim around the dyn_functor re-export
7#[deprecated(
8    since = "0.2.10",
9    note = "Moved: use `open_hypergraphs::lax::functor::dyn_functor::define_map_arrow`"
10)]
11pub fn define_map_arrow<
12    F: Functor<O1, A1, O2, A2> + Clone,
13    O1: Clone + PartialEq,
14    A1: Clone,
15    O2: Clone + PartialEq,
16    A2: Clone,
17>(
18    functor: &F,
19    f: &super::OpenHypergraph<O1, A1>,
20) -> super::OpenHypergraph<O2, A2> {
21    dyn_functor::define_map_arrow(functor, f)
22}