ghc-8.0.1: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcSimplify

Synopsis

Documentation

solveTopConstraints :: TcM a -> TcM (a, Bag EvBind) Source #

Type-check a thing, returning the result and any EvBinds produced during solving. Emits errors -- but does not fail -- if there is trouble.

solveEqualities :: TcM a -> TcM a Source #

Type-check a thing that emits only equality constraints, then solve those constraints. Fails outright if there is trouble.

runTcSDeriveds :: TcS a -> TcM a Source #

This variant of runTcS will keep solving, even when only Deriveds are left around. It also doesn't return any evidence, as callers won't need it.