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. pevalDefaultAddNumTerm :: (PEvalNumTerm a, Eq a) => Term a -> Term a -> Term a

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

   Default partial evaluation of addition of numerical terms.

2. pevalDefaultMulNumTerm :: (PEvalNumTerm a, Eq a) => Term a -> Term a -> Term a

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

   Default partial evaluation of multiplication of numerical terms.

3. pevalDefaultNegNumTerm :: (PEvalNumTerm a, Eq a) => Term a -> Term a

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

   Default partial evaluation of negation of numerical terms.

4. pevalGeneralSignumNumTerm :: PEvalNumTerm a => Term a -> Term a

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

   Default partial evaluation of signum of numerical terms.

5. pevalMulNumTerm :: PEvalNumTerm t => Term t -> Term t -> Term t

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

   No documentation available.

6. pevalNegNumTerm :: PEvalNumTerm t => Term t -> Term t

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

   No documentation available.

7. pevalSignumNumTerm :: PEvalNumTerm t => Term t -> Term t

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

   No documentation available.

8. pevalSubNumTerm :: PEvalNumTerm a => Term a -> Term a -> Term a

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

   Partial evaluation for subtraction terms.

9. sbvAbsNumTerm :: PEvalNumTerm t => SBVType t -> SBVType t

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

   No documentation available.

10. sbvAddNumTerm :: PEvalNumTerm t => SBVType t -> SBVType t -> SBVType t

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

    No documentation available.

Page 482 of many | Previous | Next