dualizer-0.2.0.0: Automatically generate dual constructions
Contents
Index
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
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
makeDualExp
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
shareDuals
Categorical.Dual
TestA
Categorical.Dual.Example
TestB
Categorical.Dual.Example
testF
Categorical.Dual.Example
testQ
Categorical.Dual.Example
testT
Categorical.Dual.Example
testV
Categorical.Dual.Example
testV'
Categorical.Dual.Example
unfix
Categorical.Dual.Example