Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

Exact lookup

1. DFAForalls :: DForallTelescope -> DFunArgs -> DFunArgs

   th-desugar	Language.Haskell.TH.Desugar

   A series of foralled type variables followed by a dot (if ForallInvis) or an arrow (if ForallVis). For example, the type variables a1 ... an in forall a1 ... an. r.

2. DForallInvis :: [DTyVarBndrSpec] -> DForallTelescope

   th-desugar	Language.Haskell.TH.Desugar

   An invisible forall (e.g., forall a {b} c -> {...}), where each binder has a Specificity.

3. DForallT :: DForallTelescope -> DType -> DType

   th-desugar	Language.Haskell.TH.Desugar

   No documentation available.

4. data DForallTelescope

   th-desugar	Language.Haskell.TH.Desugar

   The type variable binders in a forall.

5. DForallVis :: [DTyVarBndrUnit] -> DForallTelescope

   th-desugar	Language.Haskell.TH.Desugar

   A visible forall (e.g., forall a -> {...}). These do not have any notion of specificity, so we use () as a placeholder value in the DTyVarBndrs.

6. data DForeign

   th-desugar	Language.Haskell.TH.Desugar

   Corresponds to TH's Foreign type.

7. DForeignD :: DForeign -> DDec

   th-desugar	Language.Haskell.TH.Desugar

   No documentation available.

8. FAForalls :: ForallTelescope -> FunArgs -> FunArgs

   th-desugar	Language.Haskell.TH.Desugar

   A series of foralled type variables followed by a dot (if ForallInvis) or an arrow (if ForallVis). For example, the type variables a1 ... an in forall a1 ... an. r.

9. dsForeign :: DsMonad q => Foreign -> q DForeign

   th-desugar	Language.Haskell.TH.Desugar

   Desugar a Foreign.

10. substForallTelescope :: Quasi q => DSubst -> DForallTelescope -> q (DSubst, DForallTelescope)

    th-desugar	Language.Haskell.TH.Desugar.Subst

    No documentation available.

Page 639 of many | Previous | Next