Documentation

gen_invmap :: (Invariant2 (DCs t), DT t, AreDCsOf t (DCs t)) => (a -> b) -> (b -> a) -> t a -> t bSource

gen_invmap2 :: (Invariant2 (DCs t), DT t, AreDCsOf t (DCs t)) => (a -> c) -> (c -> a) -> (b -> d) -> (d -> b) -> t a b -> t c dSource

module Data.Functor.Invariant