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.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.

2. data Format

   ghc	GHC.CmmToAsm.Format

   No documentation available.

3. ForceSpecConstr :: SpecConstrAnnotation

   ghc	GHC.Core.Opt.SpecConstr

   No documentation available.

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

   ghc	GHC.Core.Predicate

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

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

   ghc	GHC.Core.TyCo.Rep

   No documentation available.

6. 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]

7. 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

8. type ForAllTyBinder = VarBndr TyCoVar ForAllTyFlag

   ghc	GHC.Core.Type

   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

9. data ForAllTyFlag

   ghc	GHC.Core.Type

   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

10. Forward :: EdgeType

    ghc	GHC.Data.Graph.Directed

    No documentation available.

Page 253 of many | Previous | Next