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