ghc-9.8.0.20230929: The GHC API
Safe HaskellNone
LanguageHaskell2010

GHC.Tc.Solver.Equality

Documentation

solveEquality :: CtEvidence -> EqRel -> Type -> Type -> SolverStage Void Source #