Hoogle Search
Within LTS Haskell 24.40 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
ghc-lib-parser GHC.Hs.Expr No documentation available.
sumPatVbarsBefore :: EpAnnSumPat -> [EpToken "|"]ghc-lib-parser GHC.Hs.Pat No documentation available.
type
EpAnnForallInvis = EpAnn (TokForall, EpToken ".")ghc-lib-parser GHC.Hs.Type No documentation available.
type
EpAnnForallVis = EpAnn (TokForall, TokRarrow)ghc-lib-parser GHC.Hs.Type No documentation available.
HsForAllInvis :: XHsForAllInvis pass -> [LHsTyVarBndr Specificity pass] -> HsForAllTelescope passghc-lib-parser GHC.Hs.Type An invisible forall (e.g., forall a {b} c. {...}), where each binder has a Specificity.
-
ghc-lib-parser GHC.Hs.Type The type variable binders in an HsForAllTy. See also Note [Variable Specificity and Forall Visibility] in GHC.Tc.Gen.HsType.
HsForAllTy :: XForAllTy pass -> HsForAllTelescope pass -> LHsType pass -> HsType passghc-lib-parser GHC.Hs.Type No documentation available.
HsForAllVis :: XHsForAllVis pass -> [LHsTyVarBndr () pass] -> HsForAllTelescope passghc-lib-parser GHC.Hs.Type A visible forall (e.g., forall a -> {...}). These do not have any notion of specificity, so we use () as a placeholder value.
XHsForAllTelescope :: !XXHsForAllTelescope pass -> HsForAllTelescope passghc-lib-parser GHC.Hs.Type No documentation available.
hsForAllTelescopeNames :: forall (p :: Pass) . HsForAllTelescope (GhcPass p) -> [IdP (GhcPass p)]ghc-lib-parser GHC.Hs.Type No documentation available.