Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

Exact lookup

1. AlphaNums :: String -> AlphaNums

   leancheck	Test.LeanCheck.Utils.Types

   No documentation available.

2. unAlphaNum :: AlphaNum -> Char

   leancheck	Test.LeanCheck.Utils.Types

   No documentation available.

3. unAlphaNums :: AlphaNums -> String

   leancheck	Test.LeanCheck.Utils.Types

   No documentation available.

4. enumSequenceFrom :: Num a => a -> Sequence a

   math-functions	Numeric.Series

   enumSequenceFrom x generate sequence: <math>

5. enumSequenceFromStep :: Num a => a -> a -> Sequence a

   math-functions	Numeric.Series

   enumSequenceFromStep x d generate sequence: <math>

6. boundedEnumLaws :: (Enum a, Bounded a, Eq a, Arbitrary a, Show a) => Proxy a -> Laws

   quickcheck-classes-base	Test.QuickCheck.Classes.Base

   Tests the same properties as enumLaws except that it requires the type to have a Bounded instance. These tests avoid taking the successor of the maximum element or the predecessor of the minimal element.

7. enumLaws :: (Enum a, Eq a, Arbitrary a, Show a) => Proxy a -> Laws

   quickcheck-classes-base	Test.QuickCheck.Classes.Base

   Tests the following properties:

   • Succ Pred Identity succ (pred x) ≡ x
   • Pred Succ Identity pred (succ x) ≡ x
   This only works for Enum types that are not bounded, meaning that succ and pred must be total. This means that these property tests work correctly for types like Integer but not for Int. Sadly, there is not a good way to test fromEnum and toEnum, since many types that have reasonable implementations for succ and pred have more inhabitants than Int does.

8. casesEnum :: (Bounded a, Enum a) => Cases a

   selective	Control.Selective

   The list of all possible values of an enumerable data type.

9. class Enumerable (t :: Type -> Type)

   selective	Control.Selective.Multi

   A class of tags that can be enumerated. A valid instance must list every tag in the resulting list exactly once.

10. enumerate :: Enumerable t => [Some t]

    selective	Control.Selective.Multi

    No documentation available.

Page 199 of many | Previous | Next