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. MulNumTerm' :: forall t . (SupportedPrim t, PEvalNumTerm t) => {-# UNPACK #-} !CachedInfo -> !Term t -> !Term t -> Term t

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

   No documentation available.

2. pattern NegNumTerm :: () => (SupportedPrim t, PEvalNumTerm t) => Term t -> Term t

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

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

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

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

   No documentation available.

4. class Num t => PEvalNumTerm t

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

   Partial evaluation and lowering for number terms.

5. pattern SignumNumTerm :: () => (SupportedPrim t, PEvalNumTerm t) => Term t -> Term t

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

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

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

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

   No documentation available.

7. UAbsNumTerm :: forall t . (SupportedPrim t, PEvalNumTerm t) => !Term t -> UTerm t

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

   No documentation available.

8. UAddNumTerm :: forall t . (SupportedPrim t, PEvalNumTerm t) => !Term t -> !Term t -> UTerm t

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

   No documentation available.

9. UMulNumTerm :: forall t . (SupportedPrim t, PEvalNumTerm t) => !Term t -> !Term t -> UTerm t

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

   No documentation available.

10. UNegNumTerm :: forall t . (SupportedPrim t, PEvalNumTerm t) => !Term t -> UTerm t

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

    No documentation available.

Page 480 of many | Previous | Next