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. OtherNumber :: GeneralCategory

   base	GHC.Unicode

   No: Number, Other

2. isAlphaNum :: Char -> Bool

   base	GHC.Unicode

   Selects alphabetic or numeric Unicode characters. Note that numeric digits outside the ASCII range, as well as numeric characters which aren't digits, are selected by this function but not by isDigit. Such characters may be part of identifiers but are not used by the printer and reader to represent numbers, e.g., Roman numerals like V, full-width digits like '１' (aka '65297'). This function returns True if its argument has one of the following GeneralCategorys, or False otherwise:

   • UppercaseLetter
   • LowercaseLetter
   • TitlecaseLetter
   • ModifierLetter
   • OtherLetter
   • DecimalNumber
   • LetterNumber
   • OtherNumber

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

   QuickCheck	Test.QuickCheck

   Generates an element of a bounded enumeration.

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

   QuickCheck	Test.QuickCheck

   A fast implementation of choose for enumerated types.

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

   QuickCheck	Test.QuickCheck

   A coarbitrary implementation for enums.

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

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

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

   QuickCheck	Test.QuickCheck.Arbitrary

   Generates an element of a bounded enumeration.

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

   QuickCheck	Test.QuickCheck.Arbitrary

   A coarbitrary implementation for enums.

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

Page 145 of many | Previous | Next