OptionInstances

instances

Order

algebra

one

BigIntAlgebra BooleanAlgebra ByteAlgebra DoubleAlgebra FloatAlgebra IntAlgebra LongAlgebra ShortAlgebra UnitAlgebra BoolFromBoolRing BoundedMeetSemilattice BoundedMeetSemilatticeFunctions DualBool MinMaxBoundedDistributiveLattice MultiplicativeMonoid MultiplicativeMonoidFunctions

or

BooleanAlgebra SetLattice DualBool GenBool GenBoolFromBoolRng GenBoolFunctions Heyting HeytingGenBoolOverlap