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. mkForAllRedn :: ForAllTyFlag -> TyVar -> ReductionN -> Reduction -> Reduction

   ghc	GHC.Core.Reduction

   Create a Reduction associated to a Π type, from a kind Reduction and a body Reduction. Combines mkForAllCo and mkForAllTy.

2. mkHomoForAllRedn :: [TyVarBinder] -> Reduction -> Reduction

   ghc	GHC.Core.Reduction

   Create a Reduction of a quantified type from a Reduction of the body. Combines mkHomoForAllCos and mkForAllTys.

3. cmpForAllVis :: ForAllTyFlag -> ForAllTyFlag -> Ordering

   ghc	GHC.Core.TyCo.Compare

   Do these denote the same level of visibility? Required arguments are visible, others are not. So this function equates Specified and Inferred. Used for printing.

4. eqForAllVis :: ForAllTyFlag -> ForAllTyFlag -> Bool

   ghc	GHC.Core.TyCo.Compare

   Do these denote the same level of visibility? Required arguments are visible, others are not. So this function equates Specified and Inferred. Used for printing.

5. shallowTyCoVarsOfCo :: Coercion -> TyCoVarSet

   ghc	GHC.Core.TyCo.FVs

   No documentation available.

6. shallowTyCoVarsOfCoVarEnv :: CoVarEnv Coercion -> TyCoVarSet

   ghc	GHC.Core.TyCo.FVs

   No documentation available.

7. shallowTyCoVarsOfCos :: [Coercion] -> TyCoVarSet

   ghc	GHC.Core.TyCo.FVs

   No documentation available.

8. shallowTyCoVarsOfTyVarEnv :: TyVarEnv Type -> TyCoVarSet

   ghc	GHC.Core.TyCo.FVs

   Returns free variables of types, including kind variables as a non-deterministic set. For type synonyms it does not expand the synonym.

9. shallowTyCoVarsOfType :: Type -> TyCoVarSet

   ghc	GHC.Core.TyCo.FVs

   No documentation available.

10. shallowTyCoVarsOfTypes :: [Type] -> TyCoVarSet

    ghc	GHC.Core.TyCo.FVs

    No documentation available.

Page 264 of many | Previous | Next