Hoogle Search

Within LTS Haskell 24.51 (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	GHC.Tc.Utils.TcType

   Like pickyEqTypeVis, but returns a Bool for convenience

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

   ghc	GHC.Tc.Utils.TcType

   No documentation available.

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

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

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

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

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

   ghc	GHC.Tc.Utils.TcType

   No documentation available.

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

9. data TyEqFlags a

   ghc	GHC.Tc.Utils.Unify

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

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

    ghc	GHC.Tc.Utils.Unify

    No documentation available.

Page 223 of many | Previous | Next