
Data.Bijection  Portability  TypeOperators  Stability  experimental  Maintainer  conal@conal.net 



Description 
Bijections. See also [1], which provides a more general setting.
 1
 : There and Back Again: Arrows for Invertible Programming,
http://citeseer.ist.psu.edu/alimarine05there.html.


Synopsis 



Documentation 

data Bijection (~>) a b  Source 

A type of bijective arrows
 Constructors  Bi   biTo :: a ~> b   biFrom :: b ~> a  

 Instances  



Bijective functions



Bijective identity arrow. Warning: uses arr on (~>). If you
have no arr, but you have a DeepArrow, you can instead use Bi idA
idA.



Inverse bijection



Bijections on functors



Bijections on arrows.



Apply a function in an alternative (monomorphic) representation.


Produced by Haddock version 2.3.0 