Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. EnumGenUpperBound :: a -> EnumGenUpperBound a

   grisette	Grisette.Core

   No documentation available.

2. ResultNumLimitReached :: SolvingFailure

   grisette	Grisette.Core

   The solver has reached the maximum number of models to return.

3. fpMaximumNumber :: IEEEFPOp a => a -> a -> a

   grisette	Grisette.Core

   IEEE754-2019 maximumNumber operation.

   • The comparison for zeros follows -0 < 0
   • Returns the other operand if one operand is NaN.

4. fpMinimumNumber :: IEEEFPOp a => a -> a -> a

   grisette	Grisette.Core

   IEEE754-2019 minimumNumber operation.

   • The comparison for zeros follows -0 < 0
   • Returns the other operand if one operand is NaN.

5. quantifiedSymbolNum :: SymBiMap -> Int

   grisette	Grisette.Internal.Backend.SymBiMap

   No documentation available.

6. data EnumGenBound a

   grisette	Grisette.Internal.Core.Data.Class.GenSym

   Specification for numbers with lower bound (inclusive) and upper bound (exclusive)

   >>> runFresh (fresh (EnumGenBound @Integer 0 4)) "c" :: Union Integer
   {If c@0 0 (If c@1 1 (If c@2 2 3))}
   

7. EnumGenBound :: a -> a -> EnumGenBound a

   grisette	Grisette.Internal.Core.Data.Class.GenSym

   No documentation available.

8. newtype EnumGenUpperBound a

   grisette	Grisette.Internal.Core.Data.Class.GenSym

   Specification for enum values with upper bound (exclusive). The result would chosen from [0 .. upperbound].

   >>> runFresh (fresh (EnumGenUpperBound @Integer 4)) "c" :: Union Integer
   {If c@0 0 (If c@1 1 (If c@2 2 3))}
   

9. EnumGenUpperBound :: a -> EnumGenUpperBound a

   grisette	Grisette.Internal.Core.Data.Class.GenSym

   No documentation available.

10. fpMaximumNumber :: IEEEFPOp a => a -> a -> a

    grisette	Grisette.Internal.Core.Data.Class.IEEEFP

    IEEE754-2019 maximumNumber operation.

    • The comparison for zeros follows -0 < 0
    • Returns the other operand if one operand is NaN.

Page 478 of many | Previous | Next