Safe Haskell	Safe-Inferred
Language	Haskell2010

GHC.Tc.Solver.Rewrite

Synopsis

rewrite :: CtEvidence -> TcType -> TcS (Reduction, RewriterSet)
rewriteArgsNom :: CtEvidence -> TyCon -> [TcType] -> TcS (Reductions, RewriterSet)
rewriteType :: CtLoc -> TcType -> TcS TcType

Documentation

rewrite :: CtEvidence -> TcType -> TcS (Reduction, RewriterSet) Source #

See Note [Rewriting]. If (xi, co, rewriters) <- rewrite mode ev ty, then co :: xi ~r ty where r is the role in ev. rewriters is the set of coercion holes that have been used to rewrite See Note [Wanteds rewrite Wanteds] in GHC.Tc.Types.Constraint

rewriteArgsNom :: CtEvidence -> TyCon -> [TcType] -> TcS (Reductions, RewriterSet) Source #

rewriteType :: CtLoc -> TcType -> TcS TcType Source #

Rewrite a type w.r.t. nominal equality. This is useful to rewrite a type w.r.t. any givens. It does not do type-family reduction. This will never emit new constraints. Call this when the inert set contains only givens.