Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. fromSetBool :: Set Bool -> M2

   lattices	Algebra.Lattice.M2

   No documentation available.

2. toSetBool :: M2 -> Set Bool

   lattices	Algebra.Lattice.M2

   No documentation available.

3. ObjectBool :: Bool -> Object

   messagepack	Data.MessagePack

   No documentation available.

4. type HasBools t = ConvertibleExactly Bool t

   mixed-types-num	Numeric.MixedTypes.Bool

   No documentation available.

5. type IsBool t = (HasBools t, CanNegSameType t, CanAndOrSameType t)

   mixed-types-num	Numeric.MixedTypes.Bool

   A type constraint synonym that stipulates that the type behaves very much like Bool, except it does not necessarily satisfy the law of excluded middle, which means that the type can contain a "do-not-know" value or an error. Examples: Bool, Kleenean, CollectErrors Bool

6. specCanNegBool :: (CanTestCertainly t, CanTestCertainly (NegType t), CanTestCertainly (NegType (NegType t)), Serial IO t, Show t, Show (NegType (NegType t)), CanNeg t, CanNeg (NegType t)) => T t -> Spec

   mixed-types-num	Numeric.MixedTypes.Bool

   HSpec properties that each Boolean implementation of CanNeg should satisfy.

7. specIsBool :: (IsBool t, CanTestCertainly t, Show t, Serial IO t) => T t -> Spec

   mixed-types-num	Numeric.MixedTypes.Bool

   HSpec properties that each implementation of IsBool should satisfy.

8. tBool :: T Bool

   mixed-types-num	Numeric.MixedTypes.Literals

   No documentation available.

9. tMaybeBool :: T (Maybe Bool)

   mixed-types-num	Numeric.MixedTypes.Literals

   No documentation available.

10. tMaybeMaybeBool :: T (Maybe (Maybe Bool))

    mixed-types-num	Numeric.MixedTypes.Literals

    No documentation available.

Page 126 of many | Previous | Next