Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

1. seqRules :: [CoreRule] -> ()

   ghc	GHC.Core.Seq

   No documentation available.

2. seqUnfolding :: Unfolding -> ()

   ghc	GHC.Core.Seq

   No documentation available.

3. pickyEqType :: Type -> Type -> Bool

   ghc	GHC.Core.TyCo.Compare

   Like pickyEqTypeVis, but returns a Bool for convenience

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

   ghc	GHC.Core.TyCo.Compare

   No documentation available.

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

   ghc	GHC.Core.TyCo.Compare

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

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

   ghc	GHC.Core.TyCo.Compare

   tcEqType implements typechecker equality It behaves just like eqType, but is implemented differently (for now)

7. tcEqTypeNoKindCheck :: Type -> Type -> Bool

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

8. Required :: ForAllTyFlag

   ghc	GHC.Core.TyCo.Rep

   No documentation available.

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

   ghc	GHC.Core.TyCon

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

10. Required :: ForAllTyFlag

    ghc	GHC.Core.Type

    No documentation available.

Page 198 of many | Previous | Next