invertible-0.1.2: bidirectional arrows, bijective functions, and invariant functors

Safe HaskellNone
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.