Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. module GHC.Tc.Gen.Foreign

   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.

2. ForSigCtxt :: Name -> UserTypeCtxt

   ghc	GHC.Tc.Gen.HsType

   No documentation available.

3. data ForeignSrcLang

   ghc	GHC.Tc.Types

   No documentation available.

4. ForAllSkol :: TyVarBndrs -> SkolemInfoAnon

   ghc	GHC.Tc.Types.Origin

   No documentation available.

5. ForSigCtxt :: Name -> UserTypeCtxt

   ghc	GHC.Tc.Types.Origin

   No documentation available.

6. data ForAllTyFlag

   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

7. ForSigCtxt :: Name -> UserTypeCtxt

   ghc	GHC.Tc.Validity

   No documentation available.

8. data ForeignSrcLang

   ghc	GHC.Types.Basic

   No documentation available.

9. ForeachField :: [Cpr] -> UnpackConFieldsResult

   ghc	GHC.Types.Cpr

   No documentation available.

10. module GHC.Types.ForeignCall

    No documentation available.

Page 256 of many | Previous | Next