Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- rewrite :: CtEvidence -> TcType -> TcS (Xi, TcCoercion)
- rewriteKind :: CtLoc -> CtFlavour -> TcType -> TcS (Xi, TcCoercionN)
- rewriteArgsNom :: CtEvidence -> TyCon -> [TcType] -> TcS ([Xi], [TcCoercion])
- rewriteType :: CtLoc -> TcType -> TcS TcType
Documentation
rewrite :: CtEvidence -> TcType -> TcS (Xi, TcCoercion) Source #
See Note [Rewriting].
If (xi, co) <- rewrite mode ev ty, then co :: xi ~r ty
where r is the role in ev
.
rewriteKind :: CtLoc -> CtFlavour -> TcType -> TcS (Xi, TcCoercionN) Source #
rewriteArgsNom :: CtEvidence -> TyCon -> [TcType] -> TcS ([Xi], [TcCoercion]) Source #