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. pickyEqType :: Type -> Type -> Bool

   ghc-lib-parser	GHC.Tc.Utils.TcType

   Like pickyEqTypeVis, but returns a Bool for convenience

2. tcEqKind :: HasDebugCallStack => Kind -> Kind -> Bool

   ghc-lib-parser	GHC.Tc.Utils.TcType

   No documentation available.

3. tcEqTyConApps :: TyCon -> [Type] -> TyCon -> [Type] -> Bool

   ghc-lib-parser	GHC.Tc.Utils.TcType

   Check whether two TyConApps are the same; if the number of arguments are different, just checks the common prefix of arguments.

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

   ghc-lib-parser	GHC.Tc.Utils.TcType

   No documentation available.

5. tcEqTypeNoKindCheck :: Type -> Type -> Bool

   ghc-lib-parser	GHC.Tc.Utils.TcType

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

6. tcSplitForAllReqTVBinders :: Type -> ([TcReqTVBinder], Type)

   ghc-lib-parser	GHC.Tc.Utils.TcType

   Like tcSplitForAllTyVars, but only splits ForAllTys with Required type variable binders. All split tyvars are annotated with ().

7. tcSplitForAllTyVarsReqTVBindersN :: Arity -> Type -> (Arity, [ForAllTyBinder], Type)

   ghc-lib-parser	GHC.Tc.Utils.TcType

   No documentation available.

8. requiresPMC :: Origin -> Bool

   ghc-lib-parser	GHC.Types.Basic

   Does this Origin require us to run pattern-match checking, or should we skip these checks? See Note [Generated code and pattern-match checking].

9. seqOccInfo :: OccInfo -> ()

   ghc-lib-parser	GHC.Types.Basic

   No documentation available.

10. seqCprSig :: CprSig -> ()

    ghc-lib-parser	GHC.Types.Cpr

    No documentation available.

Page 419 of many | Previous | Next