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. fpMinimumNumber :: IEEEFPOp a => a -> a -> a

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

   IEEE754-2019 minimumNumber operation.

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

2. ResultNumLimitReached :: SolvingFailure

   grisette	Grisette.Internal.Core.Data.Class.Solver

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

3. module Grisette.Internal.SymPrim.Prim.Internal.Instances.PEvalNumTerm

   No documentation available.

4. pattern AbsNumTerm :: () => (SupportedPrim t, PEvalNumTerm t) => Term t -> Term t

   grisette	Grisette.Internal.SymPrim.Prim.Internal.Term

   Pattern synonym for AbsNumTerm'. Note that using this pattern to construct a Term will do term simplification.

5. AbsNumTerm' :: forall t . (SupportedPrim t, PEvalNumTerm t) => {-# UNPACK #-} !CachedInfo -> !Term t -> Term t

   grisette	Grisette.Internal.SymPrim.Prim.Internal.Term

   No documentation available.

6. pattern AddNumTerm :: () => (SupportedPrim t, PEvalNumTerm t) => Term t -> Term t -> Term t

   grisette	Grisette.Internal.SymPrim.Prim.Internal.Term

   Pattern synonym for AddNumTerm'. Note that using this pattern to construct a Term will do term simplification.

7. AddNumTerm' :: forall t . (SupportedPrim t, PEvalNumTerm t) => {-# UNPACK #-} !CachedInfo -> !Term t -> !Term t -> Term t

   grisette	Grisette.Internal.SymPrim.Prim.Internal.Term

   No documentation available.

8. FPMaximumNumber :: FPBinaryOp

   grisette	Grisette.Internal.SymPrim.Prim.Internal.Term

   No documentation available.

9. FPMinimumNumber :: FPBinaryOp

   grisette	Grisette.Internal.SymPrim.Prim.Internal.Term

   No documentation available.

10. pattern MulNumTerm :: () => (SupportedPrim t, PEvalNumTerm t) => Term t -> Term t -> Term t

    grisette	Grisette.Internal.SymPrim.Prim.Internal.Term

    Pattern synonym for MulNumTerm'. Note that using this pattern to construct a Term will do term simplification.

Page 479 of many | Previous | Next