IsIntegral

number

IsReal

number

IsRealFunctions

number

imp

Bool DualBool Heyting HeytingFunctions

instance

Eq

inverse

Group GroupFunctions

isCommutative

SemigroupFunctions AdditiveSemigroupFunctions MultiplicativeSemigroupFunctions

isEmpty

Monoid

isFallback

Priority

isIdempotent

SemigroupFunctions

isOne

BoundedMeetSemilattice MultiplicativeMonoid MultiplicativeMonoidFunctions

isPreferred

Priority

isSignNegative

Signed SignedFunctions

isSignNonNegative

Signed SignedFunctions

isSignNonPositive

Signed SignedFunctions

isSignNonZero

Signed SignedFunctions

isSignPositive

Signed SignedFunctions

isSignZero

Signed SignedFunctions

isWhole

IsIntegral IsReal IsRealFunctions

isZero

BoundedJoinSemilattice AdditiveMonoid AdditiveMonoidFunctions