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. filterEqualCtList :: (EqCt -> Bool) -> EqualCtList -> Maybe EqualCtList

   ghc	GHC.Tc.Solver.Types

   No documentation available.

2. findFunEq :: FunEqMap a -> TyCon -> [Type] -> Maybe a

   ghc	GHC.Tc.Solver.Types

   No documentation available.

3. findFunEqsByTyCon :: FunEqMap a -> TyCon -> [a]

   ghc	GHC.Tc.Solver.Types

   No documentation available.

4. insertFunEq :: FunEqMap a -> TyCon -> [Type] -> a -> FunEqMap a

   ghc	GHC.Tc.Solver.Types

   No documentation available.

5. tcTyFamInstEqn :: TcTyCon -> AssocInstInfo -> LTyFamInstEqn GhcRn -> TcM (KnotTied CoAxBranch, TyFamEqnValidityInfo)

   ghc	GHC.Tc.TyCl

   No documentation available.

6. patsig_req :: TcPatSynSig -> TcThetaType

   ghc	GHC.Tc.Types

   No documentation available.

7. re_eq_rel :: RewriteEnv -> !EqRel

   ghc	GHC.Tc.Types

   At what role are we rewriting? See Note [Rewriter EqRels] in GHC.Tc.Solver.Rewrite

8. patsig_req :: TcPatSynSig -> TcThetaType

   ghc	GHC.Tc.Types.BasicTypes

   No documentation available.

9. CEqCan :: EqCt -> Ct

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

10. data CanEqLHS

    ghc	GHC.Tc.Types.Constraint

    A CanEqLHS is a type that can appear on the left of a canonical equality: a type variable or exactly-saturated type family application.

Page 218 of many | Previous | Next