Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

Exact lookup

1. seqRuleInfo :: RuleInfo -> ()

   ghc	GHC.Core.Seq

   No documentation available.

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

   ghc	GHC.Core.Seq

   No documentation available.

3. seqUnfolding :: Unfolding -> ()

   ghc	GHC.Core.Seq

   No documentation available.

4. pickyEqType :: Type -> Type -> Bool

   ghc	GHC.Core.TyCo.Compare

   Like pickyEqTypeVis, but returns a Bool for convenience

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

   ghc	GHC.Core.TyCo.Compare

   No documentation available.

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

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

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

9. Required :: ForAllTyFlag

   ghc	GHC.Core.TyCo.Rep

   No documentation available.

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

Page 198 of many | Previous | Next