Hoogle Search

Within LTS Haskell 24.42 (ghc-9.10.3)

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

Exact lookup

1. 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.

2. allSymsClasses :: [Name]

   grisette	Grisette.Internal.TH.Derivation.Derive

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

   • AllSyms
   • AllSyms1
   • AllSyms2

3. allSameKind :: [TyVarBndrUnit] -> Bool

   grisette	Grisette.Internal.TH.Util

   Check if all type variables have the same kind.

4. allUsedNames :: Exp -> Set Name

   grisette	Grisette.Internal.TH.Util

   Get the names used in an expression.

5. allUsedNamesMaybe :: Maybe Exp -> Set Name

   grisette	Grisette.Internal.TH.Util

   Get the names used in an expression.

6. allFPRoundingMode :: [FPRoundingMode]

   grisette	Grisette.SymPrim

   All IEEE 754 rounding modes.

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

   grisette	Grisette.SymPrim

   Specialized allSymsS that prepends to an empty list.

8. allSymsS :: AllSyms a => a -> [SomeSym] -> [SomeSym]

   grisette	Grisette.SymPrim

   Convert a value to a list of symbolic primitive values. It should prepend to an existing list of symbolic primitive values.

9. allSymsS1 :: (AllSyms1 f, AllSyms a) => f a -> [SomeSym] -> [SomeSym]

   grisette	Grisette.SymPrim

   Lift the standard allSymsS function to unary type constructors.

10. allSymsS2 :: (AllSyms2 f, AllSyms a, AllSyms b) => f a b -> [SomeSym] -> [SomeSym]

    grisette	Grisette.SymPrim

    Lift the standard allSymsS function to binary type constructors.

Page 135 of many | Previous | Next