DistributiveLattice

lattice

DoubleAlgebra

instances

DoubleInstances

instances

DoubleMinMaxLattice

DoubleInstances

DualBool

lattice

div

DoubleAlgebra FloatAlgebra MultiplicativeGroup MultiplicativeGroupFunctions

doubleAlgebra

DoubleInstances

dual

Bool BoundedDistributiveLattice BoundedLattice DualBool Lattice