Hoogle Search
Within LTS Haskell 24.38 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
ifForAllBndrVar :: IfaceForAllBndr -> IfaceBndrghc GHC.Iface.Type Extract an IfaceBndr from an IfaceForAllBndr.
ifaceForAllSpecToBndr :: IfaceForAllSpecBndr -> IfaceForAllBndrghc GHC.Iface.Type No documentation available.
ifaceForAllSpecToBndrs :: [IfaceForAllSpecBndr] -> [IfaceForAllBndr]ghc GHC.Iface.Type No documentation available.
mkIfaceForAllTvBndr :: ForAllTyFlag -> IfaceTvBndr -> IfaceForAllBndrghc GHC.Iface.Type Make an IfaceForAllBndr from an IfaceTvBndr.
pprIfaceForAll :: [IfaceForAllBndr] -> SDocghc GHC.Iface.Type Render the "forall ... ." or "forall ... ->" bit of a type.
pprIfaceForAllPart :: [IfaceForAllBndr] -> [IfacePredType] -> SDoc -> SDocghc GHC.Iface.Type No documentation available.
pprIfaceForAllPartMust :: [IfaceForAllBndr] -> [IfacePredType] -> SDoc -> SDocghc GHC.Iface.Type Like pprIfaceForAllPart, but always uses an explicit forall.
pprUserIfaceForAll :: [IfaceForAllBndr] -> SDocghc GHC.Iface.Type No documentation available.
ss_forall :: ShowSub -> ShowForAllFlagghc GHC.Iface.Type No documentation available.
typecheckIfaceForInstantiate :: NameShape -> ModIface -> IfM lcl ModDetailsghc GHC.IfaceToCore Typecheck a signature ModIface under the assumption that we have instantiated it under some implementation (recorded in mi_semantic_module) and want to check if the implementation fills the signature. This needs to operate slightly differently than typecheckIface because (1) we have a NameShape, from the exports of the implementing module, which we will use to give our top-level declarations the correct Names even when the implementor provided them with a reexport, and (2) we have to deal with DFun silliness (see Note [rnIfaceNeverExported])