ghc-9.13: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.Tc.Solver.Equality

Documentation

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