Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

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

   QuickCheck	Test.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]!

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

   QuickCheck	Test.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
   []
   

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

   QuickCheck	Test.QuickCheck.Arbitrary

   Generates an element of a bounded enumeration.

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

   QuickCheck	Test.QuickCheck.Arbitrary

   A coarbitrary implementation for enums.

5. 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
   []
   

6. 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]!

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

   QuickCheck	Test.QuickCheck.Gen

   A fast implementation of choose for enumerated types.

8. data ParseNumericPadding

   time	Data.Time.Format.Internal

   No documentation available.

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

   tasty-quickcheck	Test.Tasty.QuickCheck

   Generates an element of a bounded enumeration.

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

    tasty-quickcheck	Test.Tasty.QuickCheck

    A fast implementation of choose for enumerated types.

Page 93 of many | Previous | Next