Safe Haskell | Ignore |
---|---|
Language | GHC2021 |
Documentation
solveEquality :: CtEvidence -> EqRel -> Type -> Type -> SolverStage Void Source #
Safe Haskell | Ignore |
---|---|
Language | GHC2021 |
solveEquality :: CtEvidence -> EqRel -> Type -> Type -> SolverStage Void Source #