Hoogle Search
Within LTS Haskell 24.39 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
ghc GHC.Iface.Type Show forall flag Unconditionally show the forall quantifier with (ShowForAllMust) or when (ShowForAllWhen) the names used are free in the binder or when compiling with -fprint-explicit-foralls.
ShowForAllMust :: ShowForAllFlagghc GHC.Iface.Type No documentation available.
ShowForAllWhen :: ShowForAllFlagghc GHC.Iface.Type No documentation available.
appArgsIfaceTypesForAllTyFlags :: IfaceAppArgs -> [(IfaceType, ForAllTyFlag)]ghc GHC.Iface.Type No documentation available.
ifForAllBndrName :: IfaceForAllBndr -> IfLclNameghc GHC.Iface.Type Extract the variable name from an IfaceForAllBndr.
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.