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. canTyFamEqLHS_maybe :: Xi -> Maybe CanEqLHS

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

2. ctEqRel :: Ct -> EqRel

   ghc	GHC.Tc.Types.Constraint

   Get the equality relation for the given Ct

3. ctEvEqRel :: CtEvidence -> EqRel

   ghc	GHC.Tc.Types.Constraint

   Get the equality relation relevant for a CtEvidence

4. ic_given_eqs :: Implication -> HasGivenEqs

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

5. mkKindEqLoc :: TcType -> TcType -> CtLoc -> CtLoc

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

6. mkTcEqPredLikeEv :: CtEvidence -> TcType -> TcType -> TcType

   ghc	GHC.Tc.Types.Constraint

   Makes a new equality predicate with the same role as the given evidence.

7. ArithSeqOrigin :: ArithSeqInfo GhcRn -> CtOrigin

   ghc	GHC.Tc.Types.Origin

   No documentation available.

8. BuiltinEqInstance :: InstanceWhat

   ghc	GHC.Tc.Types.Origin

   No documentation available.

9. KindEqOrigin :: TcType -> TcType -> CtOrigin -> Maybe TypeOrKind -> CtOrigin

   ghc	GHC.Tc.Types.Origin

   No documentation available.

10. TypeEqOrigin :: TcType -> TcType -> Maybe TypedThing -> Bool -> CtOrigin

    ghc	GHC.Tc.Types.Origin

    No documentation available.

Page 220 of many | Previous | Next