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. USignumNumTerm :: forall t . (SupportedPrim t, PEvalNumTerm t) => !Term t -> UTerm t

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

   No documentation available.

2. absNumTerm :: PEvalNumTerm a => Term a -> Term a

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

   Construct and internalizing a AbsNumTerm.

3. addNumTerm :: PEvalNumTerm a => Term a -> Term a -> Term a

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

   Construct and internalizing a AddNumTerm.

4. doPevalNoOverflowAbsNumTerm :: PEvalNumTerm a => Term a -> Maybe (Term a)

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

   Partial evaluation of absolute value of numerical terms that does not overflow.

5. doPevalNoOverflowSignumNumTerm :: PEvalNumTerm a => Term a -> Maybe (Term a)

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

   Partial evaluation of signum of numerical terms that does not overflow.

6. mulNumTerm :: PEvalNumTerm a => Term a -> Term a -> Term a

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

   Construct and internalizing a MulNumTerm.

7. negNumTerm :: PEvalNumTerm a => Term a -> Term a

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

   Construct and internalizing a NegNumTerm.

8. pevalAbsNumTerm :: PEvalNumTerm t => Term t -> Term t

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

   No documentation available.

9. pevalAddNumTerm :: PEvalNumTerm t => Term t -> Term t -> Term t

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

   No documentation available.

10. pevalBitsAbsNumTerm :: (PEvalNumTerm a, Bits a) => Term a -> Term a

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

    Default partial evaluation of absolute value of finite-bit numerical terms.

Page 481 of many | Previous | Next