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. sbvMulNumTerm :: PEvalNumTerm t => SBVType t -> SBVType t -> SBVType t

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

   No documentation available.

2. sbvNegNumTerm :: PEvalNumTerm t => SBVType t -> SBVType t

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

   No documentation available.

3. sbvSignumNumTerm :: PEvalNumTerm t => SBVType t -> SBVType t

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

   No documentation available.

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

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

   Construct and internalizing a SignumNumTerm.

5. withSbvNumTermConstraint :: PEvalNumTerm t => (Num (SBVType t) => r) -> r

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

   No documentation available.

6. filterExactNumArgs :: Int -> [Name] -> [Name]

   grisette	Grisette.Internal.TH.Derivation.Derive

   Filter classes that accepts type constructors with exactly n arguments.

7. filterLeqNumArgs :: Int -> [Name] -> [Name]

   grisette	Grisette.Internal.TH.Derivation.Derive

   Filter classes that accepts type constructors with at most n arguments.

8. classNumParam :: Name -> Q Int

   grisette	Grisette.Internal.TH.Util

   Get the number of type parameters of a class.

9. kindNumParam :: Kind -> Q Int

   grisette	Grisette.Internal.TH.Util

   Get the number of type parameters of a kind.

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

    grisette	Grisette.SymPrim

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

Page 483 of many | Previous | Next