Numeric.MixedTypes.Bool

type IsBool t

specIsBool

Conversion to/from Bool

type HasBools t

class CanTestCertainly t

specCanTestCertainly

type CanTestCertainlyX t

isNotTrue

isNotFalse

stronglyImplies

stronglyEquivalentTo

weaklyImplies

weaklyEquivalentTo

Negation

class CanNeg t

not

type CanNegSameType t

Tests

specCanNegBool

type CanNegBoolX t

And and or

type CanAndOr t1 t2

class CanAndOrAsymmetric t1 t2

(&&)

(||)

type CanAndOrWith t1 t2

type CanAndOrSameType t

and

or

Tests

specCanAndOr

specCanAndOrNotMixed

type CanAndOrX t1 t2