Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. tcEqType :: HasDebugCallStack => Type -> Type -> Bool

   ghc-lib-parser	GHC.Core.TyCo.Compare

   No documentation available.

2. tcEqTypeNoKindCheck :: Type -> Type -> Bool

   ghc-lib-parser	GHC.Core.TyCo.Compare

   Just like tcEqType, but will return True for types of different kinds as long as their non-coercion structure is identical.

3. Required :: ForAllTyFlag

   ghc-lib-parser	GHC.Core.TyCo.Rep

   No documentation available.

4. mkRequiredTyConBinder :: TyCoVarSet -> TyVar -> TyConBinder

   ghc-lib-parser	GHC.Core.TyCon

   Make a Required TyConBinder. It chooses between NamedTCB and AnonTCB based on whether the tv is mentioned in the dependent set

5. Required :: ForAllTyFlag

   ghc-lib-parser	GHC.Core.Type

   No documentation available.

6. seqType :: Type -> ()

   ghc-lib-parser	GHC.Core.Type

   No documentation available.

7. seqTypes :: [Type] -> ()

   ghc-lib-parser	GHC.Core.Type

   No documentation available.

8. splitForAllReqTyBinders :: Type -> ([ReqTyBinder], Type)

   ghc-lib-parser	GHC.Core.Type

   Like splitForAllTyCoVars, but only splits ForAllTys with Required type variable binders. Furthermore, each returned tyvar is annotated with ().

9. cheapEqExpr :: Expr b -> Expr b -> Bool

   ghc-lib-parser	GHC.Core.Utils

   A cheap equality test which bales out fast! If it returns True the arguments are definitely equal, otherwise, they may or may not be equal.

10. cheapEqExpr' :: (CoreTickish -> Bool) -> Expr b -> Expr b -> Bool

    ghc-lib-parser	GHC.Core.Utils

    Cheap expression equality test, can ignore ticks by type.

Page 401 of many | Previous | Next