dualizer-0.1.0.1: Automatically generate dual constructions. (Index)

dualizer-0.1.0.1: Automatically generate dual constructions.

Index

<^<	Categorical.Dual.Example
=>>	Categorical.Dual.Example
>^>	Categorical.Dual.Example
Algebra	Categorical.Dual.Example
ana	Categorical.Dual.Example
baseDuals	Categorical.Dual.Base
cata	Categorical.Dual.Example
Coalgebra	Categorical.Dual.Example
Coapplicative	Categorical.Dual.Example
Comonad	Categorical.Dual.Example
consume	Categorical.Dual.Example
cotraverse	Categorical.Dual.Example
distribute	Categorical.Dual.Example
Distributive	Categorical.Dual.Example
DualA	Categorical.Dual.Example
DualB	Categorical.Dual.Example
DualC	Categorical.Dual.Example
dualExp	Categorical.Dual
dualType	Categorical.Dual
ElgotAlgebra	Categorical.Dual.Example
ElgotCoalgebra	Categorical.Dual.Example
emptyDuals	Categorical.Dual
exampleDuals	Categorical.Dual.Example
exportDuals	Categorical.Dual
extract	Categorical.Dual.Example
Fix
1 (Type/Class)	Categorical.Dual.Example
2 (Data Constructor)	Categorical.Dual.Example
GAlgebra	Categorical.Dual.Example
GCoalgebra	Categorical.Dual.Example
importDuals	Categorical.Dual
labelDual	Categorical.Dual
labelSelfDual	Categorical.Dual
labelSemiDual	Categorical.Dual
lensDuals	Categorical.Dual.Lens
makeDualClass	Categorical.Dual
makeDualDec	Categorical.Dual
Mu
1 (Type/Class)	Categorical.Dual.Example
2 (Data Constructor)	Categorical.Dual.Example
NewEither
1 (Type/Class)	Categorical.Dual.Example
2 (Data Constructor)	Categorical.Dual.Example
NewEither'
1 (Type/Class)	Categorical.Dual.Example
2 (Data Constructor)	Categorical.Dual.Example
NewTuple
1 (Type/Class)	Categorical.Dual.Example
2 (Data Constructor)	Categorical.Dual.Example
NewTuple'
1 (Type/Class)	Categorical.Dual.Example
2 (Data Constructor)	Categorical.Dual.Example
Nu
1 (Type/Class)	Categorical.Dual.Example
2 (Data Constructor)	Categorical.Dual.Example
preludeDuals	Categorical.Dual.Prelude
TestA	Categorical.Dual.Example
TestB	Categorical.Dual.Example
TestC	Categorical.Dual.Example
unfix	Categorical.Dual.Example