Hoogle Search
Within LTS Haskell 24.50 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
ForeignDeclCtx :: LocatedN RdrName -> HsDocContextghc GHC.Tc.Errors.Types No documentation available.
ForeignDynNotPtr :: Type -> Type -> IllegalForeignTypeReasonghc GHC.Tc.Errors.Types No documentation available.
ForeignLabelNotAPtr :: TypeCannotBeMarshaledReasonghc GHC.Tc.Errors.Types No documentation available.
-
Typechecking foreign declarations A foreign declaration is used to either give an externally implemented function a Haskell type (and calling interface) or give a Haskell function an external calling interface. Either way, the range of argument and result types these functions can accommodate is restricted to what the outside world understands (read C), and this module checks to see if a foreign declaration has got a legal type.
ForSigCtxt :: Name -> UserTypeCtxtghc GHC.Tc.Gen.HsType No documentation available.
-
ghc GHC.Tc.Types No documentation available.
ForAllSkol :: TyVarBndrs -> SkolemInfoAnonghc GHC.Tc.Types.Origin No documentation available.
ForSigCtxt :: Name -> UserTypeCtxtghc GHC.Tc.Types.Origin 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
ForSigCtxt :: Name -> UserTypeCtxtghc GHC.Tc.Validity No documentation available.