Piso-0.1: Partial isomorphisms

Index

:&Data.Piso.Generic
:- 
1 (Type/Class)Data.Piso
2 (Data Constructor)Data.Piso
backwardData.Piso
consData.Piso.Common
derivePisosData.Piso.TH
falseData.Piso.Common
forwardData.Piso
FromPisoData.Piso
fromPisoData.Piso
IData.Piso.Generic
justData.Piso.Common
leftData.Piso.Common
mkPisoListData.Piso.Generic
nilData.Piso.Common
nothingData.Piso.Common
Piso 
1 (Type/Class)Data.Piso
2 (Data Constructor)Data.Piso
PisoLhsData.Piso.Generic
PisoList 
1 (Type/Class)Data.Piso.Generic
2 (Data Constructor)Data.Piso.Generic
rightData.Piso.Common
trueData.Piso.Common
tupData.Piso.Common
tup3Data.Piso.Common
unitData.Piso.Common