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.
ForAllSkol :: TyVarBndrs -> SkolemInfoAnonghc GHC.Tc.Types.Origin No documentation available.
UnifyForAllSkol :: TcType -> SkolemInfoAnonghc GHC.Tc.Types.Origin No documentation available.
callStackOriginFS :: CtOrigin -> FastStringghc GHC.Tc.Types.Origin No documentation available.
isPushCallStackOrigin :: CtOrigin -> Boolghc GHC.Tc.Types.Origin No documentation available.
-
ghc GHC.Tc.Utils.Backpack Like implicitRequirements', but returns either the module name, if it is a free hole, or the instantiated unit the imported module is from, so that that instantiated unit can be processed and via the batch mod graph (rather than a transitive closure done here) all the free holes are still reachable.
instCall :: CtOrigin -> [TcType] -> TcThetaType -> TcM HsWrapperghc GHC.Tc.Utils.Instantiate No documentation available.
instCallConstraints :: CtOrigin -> TcThetaType -> TcM HsWrapperghc GHC.Tc.Utils.Instantiate No documentation available.
ExpForAllPatTy :: ForAllTyBinder -> ExpPatTypeghc GHC.Tc.Utils.TcType No documentation available.
-
ghc GHC.Tc.Utils.TcType ForAllTyFlag Is something required to appear in source Haskell (Required), permitted by request (Specified) (visible type application), or prohibited entirely from appearing in source Haskell (Inferred)? See Note [VarBndrs, ForAllTyBinders, TyConBinders, and visibility] in GHC.Core.TyCo.Rep
eqForAllVis :: ForAllTyFlag -> ForAllTyFlag -> Boolghc GHC.Tc.Utils.TcType Do these denote the same level of visibility? Required arguments are visible, others are not. So this function equates Specified and Inferred. Used for printing.