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. shrinkBoundedEnum :: (Bounded a, Enum a, Eq a) => a -> [a]

   QuickCheck	Test.QuickCheck.Arbitrary

   Shrink an element of a bounded enumeration.

   Example

   data MyEnum = E0 | E1 | E2 | E3 | E4 | E5 | E6 | E7 | E8 | E9
   deriving (Bounded, Enum, Eq, Ord, Show)
   

   >>> shrinkBoundedEnum E9
   [E0,E5,E7,E8]
   

   >>> shrinkBoundedEnum E5
   [E0,E3,E4]
   

   >>> shrinkBoundedEnum E0
   []
   

2. functionBoundedEnum :: (Eq a, Bounded a, Enum a) => (a -> b) -> a :-> b

   QuickCheck	Test.QuickCheck.Function

   Provides a Function instance for types with Bounded and Enum. Use only for small types (i.e. not integers): creates the list [minBound..maxBound]!

3. chooseEnum :: Enum a => (a, a) -> Gen a

   QuickCheck	Test.QuickCheck.Gen

   A fast implementation of choose for enumerated types.

4. data ParseNumericPadding

   time	Data.Time.Format.Internal

   No documentation available.

5. arbitraryBoundedEnum :: (Bounded a, Enum a) => Gen a

   tasty-quickcheck	Test.Tasty.QuickCheck

   Generates an element of a bounded enumeration.

6. chooseEnum :: Enum a => (a, a) -> Gen a

   tasty-quickcheck	Test.Tasty.QuickCheck

   A fast implementation of choose for enumerated types.

7. coarbitraryEnum :: Enum a => a -> Gen b -> Gen b

   tasty-quickcheck	Test.Tasty.QuickCheck

   A coarbitrary implementation for enums.

8. functionBoundedEnum :: (Eq a, Bounded a, Enum a) => (a -> b) -> a :-> b

   tasty-quickcheck	Test.Tasty.QuickCheck

   Provides a Function instance for types with Bounded and Enum. Use only for small types (i.e. not integers): creates the list [minBound..maxBound]!

9. shrinkBoundedEnum :: (Bounded a, Enum a, Eq a) => a -> [a]

   tasty-quickcheck	Test.Tasty.QuickCheck

   Shrink an element of a bounded enumeration.

   Example

   data MyEnum = E0 | E1 | E2 | E3 | E4 | E5 | E6 | E7 | E8 | E9
   deriving (Bounded, Enum, Eq, Ord, Show)
   

   >>> shrinkBoundedEnum E9
   [E0,E5,E7,E8]
   

   >>> shrinkBoundedEnum E5
   [E0,E3,E4]
   

   >>> shrinkBoundedEnum E0
   []
   

10. uniformEnumM :: (Enum a, Bounded a, StatefulGen g m) => g -> m a

    random	System.Random.Stateful

    Generates uniformly distributed Enum. One can use it to define a Uniform instance:

    data Colors = Red | Green | Blue deriving (Enum, Bounded)
    instance Uniform Colors where uniformM = uniformEnumM
    

Page 93 of many | Previous | Next