Hoogle Search
Within LTS Haskell 24.51 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
ghc Language.Haskell.Syntax.Extension No documentation available.
-
ghc Language.Haskell.Syntax.Extension No documentation available.
-
ghc Language.Haskell.Syntax.Extension No documentation available.
-
ghc Language.Haskell.Syntax.Extension No documentation available.
type family
XXHsForAllTelescope xghc Language.Haskell.Syntax.Extension No documentation available.
IEThingAll :: XIEThingAll pass -> LIEWrappedName pass -> Maybe (ExportDoc pass) -> IE passghc Language.Haskell.Syntax.ImpExp Imported or exported thing with wildcard subordinate list (e..g (..)) The thing is a ClassType and the All refers to methodsconstructors
- AnnKeywordIds : AnnOpen, AnnDotdot,AnnClose, AnnType module Mod ( Test(..) ) import Mod ( Test(..) )
HsForAllInvis :: XHsForAllInvis pass -> [LHsTyVarBndr Specificity pass] -> HsForAllTelescope passghc Language.Haskell.Syntax.Type An invisible forall (e.g., forall a {b} c. {...}), where each binder has a Specificity.
-
ghc Language.Haskell.Syntax.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 Language.Haskell.Syntax.Type - AnnKeywordId : AnnForall, AnnDot,AnnDarrow For details on above see Note [exact print annotations] in GHC.Parser.Annotation
HsForAllVis :: XHsForAllVis pass -> [LHsTyVarBndr () pass] -> HsForAllTelescope passghc Language.Haskell.Syntax.Type A visible forall (e.g., forall a -> {...}). These do not have any notion of specificity, so we use () as a placeholder value.