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

Index - :

:<->:Data.Invertible.Bijection, Data.Invertible, Control.Invertible.Monoidal