Hoogle Search
Within LTS Haskell 24.40 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
ForStat :: JStat -> JExpr -> JStat -> JStat -> JStatghc GHC.JS.Syntax For
type
ForAllTyBinder = VarBndr TyCoVar ForAllTyFlagghc GHC.Plugins Variable Binder A ForAllTyBinder is the binder of a ForAllTy It's convenient to define this synonym here rather its natural home in GHC.Core.TyCo.Rep, because it's used in GHC.Core.DataCon.hs-boot A TyVarBinder is a binder with only TyVar
-
ghc GHC.Plugins 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
-
No documentation available.
-
ghc GHC.StgToJS.Types A foreign reference to some JS code
-
ghc GHC.StgToJS.Types No documentation available.
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.