IntAlgebra
instances
IntInstances
instances
IntMinMaxLattice
IntInstances
imp
Bool
DualBool
Heyting
HeytingFunctions
instances
algebra
intAlgebra
IntInstances
isAdditiveCommutative
AdditiveSemigroupFunctions
isFallback
Priority
isMultiplicativeCommutative
MultiplicativeSemigroupFunctions
isOne
BooleanAlgebra
UnitAlgebra
BoundedMeetSemilattice
MultiplicativeMonoid
MultiplicativeMonoidFunctions
isPreferred
Priority
isZero
BooleanAlgebra
UnitAlgebra
BoundedJoinSemilattice
AdditiveMonoid
AdditiveMonoidFunctions