IntAlgebra

instances

IntInstances

instances

IntMinMaxLattice

IntInstances

imp

Bool DeMorgan 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