ghc-9.15: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.Tc.Solver.Equality

Documentation

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