Contents
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