Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

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

    tasty-quickcheck Test.Tasty.QuickCheck

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

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

    tasty-quickcheck Test.Tasty.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.

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

    tasty-quickcheck Test.Tasty.QuickCheck

    A fast implementation of choose for bounded integral types.

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

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

  6. toBoundedInteger :: (Integral i, Bounded i) => Scientific -> Maybe i

    scientific Data.Scientific

    Convert a Scientific to a bounded integer. If the given Scientific doesn't fit in the target representation, it will return Nothing. This function also guards against computing huge Integer magnitudes (10^e) that could fill up all space and crash your program.

  7. toBoundedRealFloat :: RealFloat a => Scientific -> Either a a

    scientific Data.Scientific

    Preciser version of toRealFloat. If the base10Exponent of the given Scientific is too big or too small to be represented in the target type, Infinity or 0 will be returned as Left.

  8. Unbounded :: PageWidth

    optparse-applicative Options.Applicative.Help.Pretty

    Layouters should not introduce line breaks on their own.

  9. linesUnboundedAsciiC :: forall (m :: Type -> Type) seq . (Monad m, IsSequence seq, Element seq ~ Word8) => ConduitT seq seq m ()

    conduit Conduit

    Same as linesUnbounded, but for ASCII/binary data.

  10. linesUnboundedC :: forall (m :: Type -> Type) seq . (Monad m, IsSequence seq, Element seq ~ Char) => ConduitT seq seq m ()

    conduit Conduit

    Convert a stream of arbitrarily-chunked textual data into a stream of data where each chunk represents a single line. Note that, if you have unknownuntrusted input, this function is unsafe/, since it would allow an attacker to form lines of massive length and exhaust memory.

Page 19 of many | Previous | Next