Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. ForeignConvention :: CCallConv -> [ForeignHint] -> [ForeignHint] -> CmmReturnInfo -> ForeignConvention

   ghc	GHC.Cmm.Node

   No documentation available.

2. data ForeignTarget

   ghc	GHC.Cmm.Node

   No documentation available.

3. ForeignTarget :: CmmExpr -> ForeignConvention -> ForeignTarget

   ghc	GHC.Cmm.Node

   No documentation available.

4. data ForeignHint

   ghc	GHC.Cmm.Type

   No documentation available.

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

6. data Format

   ghc	GHC.CmmToAsm.Format

   No documentation available.

7. ForceSpecConstr :: SpecConstrAnnotation

   ghc	GHC.Core.Opt.SpecConstr

   No documentation available.

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

   ghc	GHC.Core.Predicate

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

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

   ghc	GHC.Core.TyCo.Rep

   No documentation available.

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

Page 253 of many | Previous | Next