invertible-0.2.0.8: bidirectional arrows, bijective functions, and invariant functors
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Invertible.Invariant

Description

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

Synopsis

Documentation

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

Apply a bijection over an Invariant using invmap.