Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

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

Exact lookup

1. primMapListBounded :: BoundedPrim a -> [a] -> Builder

   bytestring	Data.ByteString.Builder.Prim

   Create a Builder that encodes a list of values consecutively using a BoundedPrim for each element. This function is more efficient than

   mconcat . map (primBounded w)
   

   or

   foldMap (primBounded w)
   

   because it moves several variables out of the inner loop.

2. primUnfoldrBounded :: BoundedPrim b -> (a -> Maybe (b, a)) -> a -> Builder

   bytestring	Data.ByteString.Builder.Prim

   Create a Builder that encodes a sequence generated from a seed value using a BoundedPrim for each sequence element.

3. liftFixedToBounded :: FixedPrim a -> BoundedPrim a

   bytestring	Data.ByteString.Builder.Prim.Internal

   Lift a FixedPrim to a BoundedPrim.

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

   QuickCheck	Test.QuickCheck

   Generates an element of a bounded enumeration.

5. arbitraryBoundedIntegral :: (Bounded a, Integral a) => Gen a

   QuickCheck	Test.QuickCheck

   Generates an integral number. The number is chosen uniformly from the entire range of the type. You may want to use arbitrarySizedBoundedIntegral instead.

6. arbitraryBoundedRandom :: (Bounded a, Random a) => Gen a

   QuickCheck	Test.QuickCheck

   Generates an element of a bounded type. The element is chosen from the entire range of the type.

7. arbitrarySizedBoundedIntegral :: (Bounded a, Integral a) => Gen a

   QuickCheck	Test.QuickCheck

   Generates an integral number from a bounded domain. The number is chosen from the entire range of the type, but small numbers are generated more often than big numbers. Inspired by demands from Phil Wadler.

8. chooseBoundedIntegral :: (Bounded a, Integral a) => (a, a) -> Gen a

   QuickCheck	Test.QuickCheck

   A fast implementation of choose for bounded integral types.

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

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

Page 17 of many | Previous | Next