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.

Exact lookup

1. data ForeignTarget

   ghc	GHC.Cmm.Node

   No documentation available.

2. ForeignTarget :: CmmExpr -> ForeignConvention -> ForeignTarget

   ghc	GHC.Cmm.Node

   No documentation available.

3. data ForeignHint

   ghc	GHC.Cmm.Type

   No documentation available.

4. module GHC.CmmToAsm.Format

   Formats on this architecture A Format is a combination of width and class TODO: Signed vs unsigned? TODO: This module is currently shared by all architectures because NCGMonad need to know about it to make a VReg. It would be better to have architecture specific formats, and do the overloading properly. eg SPARC doesn't care about FF80.

5. data Format

   ghc	GHC.CmmToAsm.Format

   No documentation available.

6. ForceSpecConstr :: SpecConstrAnnotation

   ghc	GHC.Core.Opt.SpecConstr

   No documentation available.

7. ForAllPred :: [TyVar] -> [PredType] -> PredType -> Pred

   ghc	GHC.Core.Predicate

   A quantified predicate. See Note [Quantified constraints] in GHC.Tc.Solver.Solve

8. ForAllCo :: TyCoVar -> ForAllTyFlag -> ForAllTyFlag -> KindCoercion -> Coercion -> Coercion

   ghc	GHC.Core.TyCo.Rep

   No documentation available.

9. ForAllTy :: ForAllTyBinder -> Type -> Type

   ghc	GHC.Core.TyCo.Rep

   A Π type. See Note [Why ForAllTy can quantify over a coercion variable] INVARIANT: If the binder is a coercion variable, it must be mentioned in the Type. See Note [Unused coercion variable in ForAllTy]

10. data ForAllTyFlag

    ghc	GHC.Core.TyCo.Rep

    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

Page 253 of many | Previous | Next