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. tcEqKind :: HasDebugCallStack => Kind -> Kind -> Bool

   ghc	GHC.Tc.Utils.TcType

   No documentation available.

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

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

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

   ghc	GHC.Tc.Utils.TcType

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

4. tcEqTypeNoKindCheck :: Type -> Type -> Bool

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

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

   ghc	GHC.Tc.Utils.TcType

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

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

   ghc	GHC.Tc.Utils.TcType

   No documentation available.

7. data TyEqFamApp a

   ghc	GHC.Tc.Utils.Unify

   What to do when encountering a type-family application while processing a type equality in the pure unifier. See Note [Family applications in canonical constraints]

8. data TyEqFlags a

   ghc	GHC.Tc.Utils.Unify

   Options describing how to deal with a type equality in the pure unifier. See checkTyEqRhs

9. checkTyEqRhs :: TyEqFlags a -> TcType -> TcM (PuResult a Reduction)

   ghc	GHC.Tc.Utils.Unify

   No documentation available.

10. checkTyFamEqnValidityInfo :: TyCon -> TyFamEqnValidityInfo -> TcM ()

    ghc	GHC.Tc.Validity

    Perform scoping check on a type family equation. See TyFamEqnValidityInfo.

Page 223 of many | Previous | Next