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.
BuiltinEqInstance :: InstanceWhatghc-lib-parser GHC.Tc.Types.Origin No documentation available.
KindEqOrigin :: TcType -> TcType -> CtOrigin -> Maybe TypeOrKind -> CtOriginghc-lib-parser GHC.Tc.Types.Origin No documentation available.
TypeEqOrigin :: TcType -> TcType -> Maybe TypedThing -> Bool -> CtOriginghc-lib-parser GHC.Tc.Types.Origin No documentation available.
InTyFamEquation :: PatersonCondFailureContextghc-lib-parser GHC.Tc.Utils.TcType No documentation available.
-
ghc-lib-parser GHC.Tc.Utils.TcType No documentation available.
type
TcReqTVBinder = ReqTVBinderghc-lib-parser GHC.Tc.Utils.TcType No documentation available.
boxEqPred :: EqRel -> Type -> Type -> Maybe (Class, [Type])ghc-lib-parser GHC.Tc.Utils.TcType No documentation available.
-
ghc-lib-parser GHC.Tc.Utils.TcType No documentation available.
isEqPrimPred :: PredType -> Boolghc-lib-parser GHC.Tc.Utils.TcType No documentation available.
isEqualityClass :: Class -> Boolghc-lib-parser GHC.Tc.Utils.TcType No documentation available.