ghc-8.2.2: The GHC API

TcSimplify

Synopsis

Documentation

data InferMode #

How should we choose which constraints to quantify over?

Constructors

 ApplyMR Apply the monomorphism restriction, never quantifying over any constraints EagerDefaulting See Note [TcRnExprMode] in TcRnDriver, the :type +d case; this mode refuses to quantify over any defaultable constraint NoRestrictions Quantify over any constraint that satisfies TcType.pickQuantifiablePreds

Instances

 # Methods

solveEqualities :: TcM a -> TcM a #

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

runTcSDeriveds :: TcS a -> TcM a #

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.