Hoogle Search
Within LTS Haskell 24.52 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
DForallT :: DForallTelescope -> DType -> DTypeth-desugar Language.Haskell.TH.Desugar No documentation available.
-
th-desugar Language.Haskell.TH.Desugar The type variable binders in a forall.
DForallVis :: [DTyVarBndrUnit] -> DForallTelescopeth-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.
FAForalls :: ForallTelescope -> FunArgs -> FunArgsth-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.
ForallInvis :: [TyVarBndrSpec] -> ForallTelescopeth-desugar Language.Haskell.TH.Desugar An invisible forall (e.g., forall a {b} c -> {...}), where each binder has a Specificity.
-
th-desugar Language.Haskell.TH.Desugar The type variable binders in a forall. This is not used by the TH AST itself, but this is used as an intermediate data type in FAForalls.
ForallVis :: [TyVarBndrUnit] -> ForallTelescopeth-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 TyVarBndrs.
substForallTelescope :: Quasi q => DSubst -> DForallTelescope -> q (DSubst, DForallTelescope)th-desugar Language.Haskell.TH.Desugar.Subst No documentation available.
-
webdriver Test.WebDriver No documentation available.
finallyClose :: WebDriver wd => wd a -> wd awebdriver Test.WebDriver A finalizer ensuring that the session is always closed at the end of the given WD action, regardless of any exceptions.