Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. allConstantHandler :: BinaryPartialStrategy tag a b c => tag -> a -> b -> Maybe (Term c)

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

   No documentation available.

2. allClasses0 :: [Name]

   grisette	Grisette.Internal.TH.Derivation.Derive

   All the classes that can be derived for GADTs. This includes:

   • Mergeable
   • EvalSym
   • ExtractSym
   • SubstSym
   • NFData
   • Hashable (will fail to derive if the type contains any symbolic variables)
   • Show
   • PPrint
   • AllSyms
   • Eq
   • SymEq
   • SymOrd
   • UnifiedSymEq
   • Ord (will fail to derive if the type contains any symbolic variables)
   • UnifiedSymOrd
   • Serial
   • ToCon
   • ToSym

3. allClasses01 :: [Name]

   grisette	Grisette.Internal.TH.Derivation.Derive

   All the classes that can be derived for GADT functors. This includes all the classes in allClasses0 and allClasses1.

4. allClasses012 :: [Name]

   grisette	Grisette.Internal.TH.Derivation.Derive

   All the classes that can be derived for GADT functors. This includes all the classes in allClasses0, allClasses1, and allClasses2.

5. allSymsClasses :: [Name]

   grisette	Grisette.Internal.TH.Derivation.Derive

   AllSyms classes that can be derived for GADTs. This includes:

   • AllSyms
   • AllSyms1
   • AllSyms2

6. allSameKind :: [TyVarBndrUnit] -> Bool

   grisette	Grisette.Internal.TH.Util

   Check if all type variables have the same kind.

7. allUsedNames :: Exp -> Set Name

   grisette	Grisette.Internal.TH.Util

   Get the names used in an expression.

8. allUsedNamesMaybe :: Maybe Exp -> Set Name

   grisette	Grisette.Internal.TH.Util

   Get the names used in an expression.

9. allFPRoundingMode :: [FPRoundingMode]

   grisette	Grisette.SymPrim

   All IEEE 754 rounding modes.

10. allSyms :: AllSyms a => a -> [SomeSym]

    grisette	Grisette.SymPrim

    Specialized allSymsS that prepends to an empty list.

Page 135 of many | Previous | Next