<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>TcEvidence</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_TcEvidence.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">ghc-7.4.2: The GHC API</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">TcEvidence</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:HsWrapper" class="def">HsWrapper</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:WpHole" class="def">WpHole</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:WpCompose" class="def">WpCompose</a> <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a> <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:WpCast" class="def">WpCast</a> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:WpEvLam" class="def">WpEvLam</a> <a href="Var.html#t:EvVar">EvVar</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:WpEvApp" class="def">WpEvApp</a> <a href="TcEvidence.html#t:EvTerm">EvTerm</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:WpTyLam" class="def">WpTyLam</a> <a href="Var.html#t:TyVar">TyVar</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:WpTyApp" class="def">WpTyApp</a> <a href="Type.html#t:KindOrType">KindOrType</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:WpLet" class="def">WpLet</a> <a href="TcEvidence.html#t:TcEvBinds">TcEvBinds</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:HsWrapper" class="caption collapser" onclick="toggleSection('i:HsWrapper')">Instances</p><div id="section.i:HsWrapper" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:-60-.-62-" class="def">(<.>)</a> :: <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a> -> <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a> -> <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a></p></div><div class="top"><p class="src"><a name="v:mkWpTyApps" class="def">mkWpTyApps</a> :: [<a href="Type.html#t:Type">Type</a>] -> <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a></p></div><div class="top"><p class="src"><a name="v:mkWpEvApps" class="def">mkWpEvApps</a> :: [<a href="TcEvidence.html#t:EvTerm">EvTerm</a>] -> <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a></p></div><div class="top"><p class="src"><a name="v:mkWpEvVarApps" class="def">mkWpEvVarApps</a> :: [<a href="Var.html#t:EvVar">EvVar</a>] -> <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a></p></div><div class="top"><p class="src"><a name="v:mkWpTyLams" class="def">mkWpTyLams</a> :: [<a href="Var.html#t:TyVar">TyVar</a>] -> <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a></p></div><div class="top"><p class="src"><a name="v:mkWpLams" class="def">mkWpLams</a> :: [<a href="Var.html#t:Var">Var</a>] -> <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a></p></div><div class="top"><p class="src"><a name="v:mkWpLet" class="def">mkWpLet</a> :: <a href="TcEvidence.html#t:TcEvBinds">TcEvBinds</a> -> <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a></p></div><div class="top"><p class="src"><a name="v:idHsWrapper" class="def">idHsWrapper</a> :: <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a></p></div><div class="top"><p class="src"><a name="v:isIdHsWrapper" class="def">isIdHsWrapper</a> :: <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:pprHsWrapper" class="def">pprHsWrapper</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:TcEvBinds" class="def">TcEvBinds</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:TcEvBinds" class="def">TcEvBinds</a> <a href="TcEvidence.html#t:EvBindsVar">EvBindsVar</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:EvBinds" class="def">EvBinds</a> (<a href="Bag.html#t:Bag">Bag</a> <a href="TcEvidence.html#t:EvBind">EvBind</a>)</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:TcEvBinds" class="caption collapser" onclick="toggleSection('i:TcEvBinds')">Instances</p><div id="section.i:TcEvBinds" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="TcEvidence.html#t:TcEvBinds">TcEvBinds</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="TcEvidence.html#t:TcEvBinds">TcEvBinds</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="TcEvidence.html#t:TcEvBinds">TcEvBinds</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:EvBindsVar" class="def">EvBindsVar</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:EvBindsVar" class="def">EvBindsVar</a> (<a href="IOEnv.html#t:IORef">IORef</a> <a href="TcEvidence.html#t:EvBindMap">EvBindMap</a>) <a href="Unique.html#t:Unique">Unique</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:EvBindsVar" class="caption collapser" onclick="toggleSection('i:EvBindsVar')">Instances</p><div id="section.i:EvBindsVar" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="TcEvidence.html#t:EvBindsVar">EvBindsVar</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a name="t:EvBindMap" class="def">EvBindMap</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:EvBindMap" class="def">EvBindMap</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:ev_bind_varenv" class="def">ev_bind_varenv</a> :: <a href="VarEnv.html#t:VarEnv">VarEnv</a> <a href="TcEvidence.html#t:EvBind">EvBind</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div></div><div class="top"><p class="src"><a name="v:emptyEvBindMap" class="def">emptyEvBindMap</a> :: <a href="TcEvidence.html#t:EvBindMap">EvBindMap</a></p></div><div class="top"><p class="src"><a name="v:extendEvBinds" class="def">extendEvBinds</a> :: <a href="TcEvidence.html#t:EvBindMap">EvBindMap</a> -> <a href="Var.html#t:EvVar">EvVar</a> -> <a href="TcEvidence.html#t:EvTerm">EvTerm</a> -> <a href="TcEvidence.html#t:EvBindMap">EvBindMap</a></p></div><div class="top"><p class="src"><a name="v:lookupEvBind" class="def">lookupEvBind</a> :: <a href="TcEvidence.html#t:EvBindMap">EvBindMap</a> -> <a href="Var.html#t:EvVar">EvVar</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="TcEvidence.html#t:EvBind">EvBind</a></p></div><div class="top"><p class="src"><a name="v:evBindMapBinds" class="def">evBindMapBinds</a> :: <a href="TcEvidence.html#t:EvBindMap">EvBindMap</a> -> <a href="Bag.html#t:Bag">Bag</a> <a href="TcEvidence.html#t:EvBind">EvBind</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:EvBind" class="def">EvBind</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:EvBind" class="def">EvBind</a> <a href="Var.html#t:EvVar">EvVar</a> <a href="TcEvidence.html#t:EvTerm">EvTerm</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:EvBind" class="caption collapser" onclick="toggleSection('i:EvBind')">Instances</p><div id="section.i:EvBind" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="TcEvidence.html#t:EvBind">EvBind</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:emptyTcEvBinds" class="def">emptyTcEvBinds</a> :: <a href="TcEvidence.html#t:TcEvBinds">TcEvBinds</a></p></div><div class="top"><p class="src"><a name="v:isEmptyTcEvBinds" class="def">isEmptyTcEvBinds</a> :: <a href="TcEvidence.html#t:TcEvBinds">TcEvBinds</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:EvTerm" class="def">EvTerm</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:EvId" class="def">EvId</a> <a href="Var.html#t:EvId">EvId</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:EvCoercion" class="def">EvCoercion</a> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:EvCast" class="def">EvCast</a> <a href="Var.html#t:EvVar">EvVar</a> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:EvDFunApp" class="def">EvDFunApp</a> <a href="Var.html#t:DFunId">DFunId</a> [<a href="Type.html#t:Type">Type</a>] [<a href="Var.html#t:EvVar">EvVar</a>]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:EvTupleSel" class="def">EvTupleSel</a> <a href="Var.html#t:EvId">EvId</a> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:EvTupleMk" class="def">EvTupleMk</a> [<a href="Var.html#t:EvId">EvId</a>]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:EvSuperClass" class="def">EvSuperClass</a> <a href="Var.html#t:DictId">DictId</a> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:EvTerm" class="caption collapser" onclick="toggleSection('i:EvTerm')">Instances</p><div id="section.i:EvTerm" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="TcEvidence.html#t:EvTerm">EvTerm</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="TcEvidence.html#t:EvTerm">EvTerm</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="TcEvidence.html#t:EvTerm">EvTerm</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:mkEvCast" class="def">mkEvCast</a> :: <a href="Var.html#t:EvVar">EvVar</a> -> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="TcEvidence.html#t:EvTerm">EvTerm</a></p></div><div class="top"><p class="src"><a name="v:evVarsOfTerm" class="def">evVarsOfTerm</a> :: <a href="TcEvidence.html#t:EvTerm">EvTerm</a> -> [<a href="Var.html#t:EvVar">EvVar</a>]</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:TcCoercion" class="def">TcCoercion</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:TcRefl" class="def">TcRefl</a> <a href="TcType.html#t:TcType">TcType</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TcTyConAppCo" class="def">TcTyConAppCo</a> <a href="TyCon.html#t:TyCon">TyCon</a> [<a href="TcEvidence.html#t:TcCoercion">TcCoercion</a>]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TcAppCo" class="def">TcAppCo</a> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TcForAllCo" class="def">TcForAllCo</a> <a href="Var.html#t:TyVar">TyVar</a> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TcInstCo" class="def">TcInstCo</a> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> <a href="TcType.html#t:TcType">TcType</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TcCoVarCo" class="def">TcCoVarCo</a> <a href="Var.html#t:EqVar">EqVar</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TcAxiomInstCo" class="def">TcAxiomInstCo</a> <a href="TyCon.html#t:CoAxiom">CoAxiom</a> [<a href="TcType.html#t:TcType">TcType</a>]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TcSymCo" class="def">TcSymCo</a> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TcTransCo" class="def">TcTransCo</a> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TcNthCo" class="def">TcNthCo</a> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TcLetCo" class="def">TcLetCo</a> <a href="TcEvidence.html#t:TcEvBinds">TcEvBinds</a> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:TcCoercion" class="caption collapser" onclick="toggleSection('i:TcCoercion')">Instances</p><div id="section.i:TcCoercion" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:mkTcReflCo" class="def">mkTcReflCo</a> :: <a href="TcType.html#t:TcType">TcType</a> -> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></p></div><div class="top"><p class="src"><a name="v:mkTcTyConAppCo" class="def">mkTcTyConAppCo</a> :: <a href="TyCon.html#t:TyCon">TyCon</a> -> [<a href="TcEvidence.html#t:TcCoercion">TcCoercion</a>] -> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></p></div><div class="top"><p class="src"><a name="v:mkTcAppCo" class="def">mkTcAppCo</a> :: <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></p></div><div class="top"><p class="src"><a name="v:mkTcAppCos" class="def">mkTcAppCos</a> :: <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> [<a href="TcEvidence.html#t:TcCoercion">TcCoercion</a>] -> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></p></div><div class="top"><p class="src"><a name="v:mkTcFunCo" class="def">mkTcFunCo</a> :: <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></p></div><div class="top"><p class="src"><a name="v:mkTcAxInstCo" class="def">mkTcAxInstCo</a> :: <a href="TyCon.html#t:CoAxiom">CoAxiom</a> -> [<a href="TcType.html#t:TcType">TcType</a>] -> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></p></div><div class="top"><p class="src"><a name="v:mkTcForAllCo" class="def">mkTcForAllCo</a> :: <a href="Var.html#t:Var">Var</a> -> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></p></div><div class="top"><p class="src"><a name="v:mkTcForAllCos" class="def">mkTcForAllCos</a> :: [<a href="Var.html#t:Var">Var</a>] -> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></p></div><div class="top"><p class="src"><a name="v:mkTcSymCo" class="def">mkTcSymCo</a> :: <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></p></div><div class="top"><p class="src"><a name="v:mkTcTransCo" class="def">mkTcTransCo</a> :: <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></p></div><div class="top"><p class="src"><a name="v:mkTcNthCo" class="def">mkTcNthCo</a> :: <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></p></div><div class="top"><p class="src"><a name="v:mkTcInstCos" class="def">mkTcInstCos</a> :: <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> [<a href="TcType.html#t:TcType">TcType</a>] -> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></p></div><div class="top"><p class="src"><a name="v:tcCoercionKind" class="def">tcCoercionKind</a> :: <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="Pair.html#t:Pair">Pair</a> <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:coVarsOfTcCo" class="def">coVarsOfTcCo</a> :: <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="VarSet.html#t:VarSet">VarSet</a></p></div><div class="top"><p class="src"><a name="v:isEqVar" class="def">isEqVar</a> :: <a href="Var.html#t:Var">Var</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:mkTcCoVarCo" class="def">mkTcCoVarCo</a> :: <a href="Var.html#t:EqVar">EqVar</a> -> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></p></div><div class="top"><p class="src"><a name="v:isTcReflCo" class="def">isTcReflCo</a> :: <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isTcReflCo_maybe" class="def">isTcReflCo_maybe</a> :: <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="TcType.html#t:TcType">TcType</a></p></div><div class="top"><p class="src"><a name="v:getTcCoVar_maybe" class="def">getTcCoVar_maybe</a> :: <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Var.html#t:CoVar">CoVar</a></p></div><div class="top"><p class="src"><a name="v:liftTcCoSubstWith" class="def">liftTcCoSubstWith</a> :: [<a href="Var.html#t:TyVar">TyVar</a>] -> [<a href="TcEvidence.html#t:TcCoercion">TcCoercion</a>] -> <a href="TcType.html#t:TcType">TcType</a> -> <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.11.0</p></div></body></html>
distrib
>
Mageia
>
5
>
i586
>
media
>
core-release
>
by-pkgid
>
6e204a966e8c42d976f99a1700ce5f20
>
files
>
3100
