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. teq_mismatch_ty2 :: MismatchMsg -> Type

   ghc	GHC.Tc.Errors.Types

   No documentation available.

2. teq_mismatch_what :: MismatchMsg -> Maybe TypedThing

   ghc	GHC.Tc.Errors.Types

   What thing is teq_mismatch_actual the kind of?

3. bindOuterFamEqnTKBndrs :: SkolemInfo -> HsOuterFamEqnTyVarBndrs GhcRn -> TcM a -> TcM (HsOuterFamEqnTyVarBndrs GhcTc, a)

   ghc	GHC.Tc.Gen.HsType

   No documentation available.

4. bindOuterFamEqnTKBndrs_Q_Tv :: HsOuterFamEqnTyVarBndrs GhcRn -> TcM a -> TcM (HsOuterFamEqnTyVarBndrs GhcTc, a)

   ghc	GHC.Tc.Gen.HsType

   No documentation available.

5. BuiltinEqInstance :: InstanceWhat

   ghc	GHC.Tc.Instance.Class

   No documentation available.

6. matchEqualityInst :: Class -> [Type] -> (DataCon, Role, Type, Type)

   ghc	GHC.Tc.Instance.Class

   No documentation available.

7. FDEqn :: [TyVar] -> [TypeEqn] -> PredType -> PredType -> loc -> FunDepEqn loc

   ghc	GHC.Tc.Instance.FunDeps

   No documentation available.

8. data FunDepEqn loc

   ghc	GHC.Tc.Instance.FunDeps

   No documentation available.

9. fd_eqs :: FunDepEqn loc -> [TypeEqn]

   ghc	GHC.Tc.Instance.FunDeps

   No documentation available.

10. pprEquation :: FunDepEqn a -> SDoc

    ghc	GHC.Tc.Instance.FunDeps

    No documentation available.

Page 213 of many | Previous | Next