Data.Invertible.Invariant

Use bijections on Invariant functors from Data.Functor.Invariant.

Documentation

invmap :: Invariant f => (a <-> b) -> f a -> f b

Apply a bijection over an Invariant using invmap.