<!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>Inst</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_Inst.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">Inst</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:deeplySkolemise" class="def">deeplySkolemise</a> :: <a href="TcType.html#t:TcSigmaType">TcSigmaType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="TcEvidence.html#t:HsWrapper">HsWrapper</a>, [<a href="Var.html#t:TyVar">TyVar</a>], [<a href="Var.html#t:EvVar">EvVar</a>], <a href="TcType.html#t:TcRhoType">TcRhoType</a>)</p></div><div class="top"><p class="src"><a name="v:deeplyInstantiate" class="def">deeplyInstantiate</a> :: <a href="TcRnTypes.html#t:CtOrigin">CtOrigin</a> -> <a href="TcType.html#t:TcSigmaType">TcSigmaType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="TcEvidence.html#t:HsWrapper">HsWrapper</a>, <a href="TcType.html#t:TcRhoType">TcRhoType</a>)</p></div><div class="top"><p class="src"><a name="v:instCall" class="def">instCall</a> :: <a href="TcRnTypes.html#t:CtOrigin">CtOrigin</a> -> [<a href="TcType.html#t:TcType">TcType</a>] -> <a href="TcType.html#t:TcThetaType">TcThetaType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a></p></div><div class="top"><p class="src"><a name="v:instStupidTheta" class="def">instStupidTheta</a> :: <a href="TcRnTypes.html#t:CtOrigin">CtOrigin</a> -> <a href="TcType.html#t:TcThetaType">TcThetaType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:emitWanted" class="def">emitWanted</a> :: <a href="TcRnTypes.html#t:CtOrigin">CtOrigin</a> -> <a href="TcType.html#t:TcPredType">TcPredType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Var.html#t:EvVar">EvVar</a></p></div><div class="top"><p class="src"><a name="v:emitWanteds" class="def">emitWanteds</a> :: <a href="TcRnTypes.html#t:CtOrigin">CtOrigin</a> -> <a href="TcType.html#t:TcThetaType">TcThetaType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> [<a href="Var.html#t:EvVar">EvVar</a>]</p></div><div class="top"><p class="src"><a name="v:newOverloadedLit" class="def">newOverloadedLit</a> :: <a href="TcRnTypes.html#t:CtOrigin">CtOrigin</a> -> <a href="HsLit.html#t:HsOverLit">HsOverLit</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcType.html#t:TcRhoType">TcRhoType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="HsLit.html#t:HsOverLit">HsOverLit</a> <a href="TcRnTypes.html#t:TcId">TcId</a>)</p></div><div class="top"><p class="src"><a name="v:mkOverLit" class="def">mkOverLit</a> :: <a href="HsLit.html#t:OverLitVal">OverLitVal</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="HsLit.html#t:HsLit">HsLit</a></p></div><div class="top"><p class="src"><a name="v:tcGetInstEnvs" class="def">tcGetInstEnvs</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="InstEnv.html#t:InstEnv">InstEnv</a>, <a href="InstEnv.html#t:InstEnv">InstEnv</a>)</p></div><div class="top"><p class="src"><a name="v:getOverlapFlag" class="def">getOverlapFlag</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="BasicTypes.html#t:OverlapFlag">OverlapFlag</a></p></div><div class="top"><p class="src"><a name="v:tcExtendLocalInstEnv" class="def">tcExtendLocalInstEnv</a> :: [<a href="InstEnv.html#t:Instance">Instance</a>] -> <a href="TcRnTypes.html#t:TcM">TcM</a> a -> <a href="TcRnTypes.html#t:TcM">TcM</a> a</p></div><div class="top"><p class="src"><a name="v:instCallConstraints" class="def">instCallConstraints</a> :: <a href="TcRnTypes.html#t:CtOrigin">CtOrigin</a> -> <a href="TcType.html#t:TcThetaType">TcThetaType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a></p></div><div class="top"><p class="src"><a name="v:newMethodFromName" class="def">newMethodFromName</a> :: <a href="TcRnTypes.html#t:CtOrigin">CtOrigin</a> -> <a href="Name.html#t:Name">Name</a> -> <a href="TcType.html#t:TcRhoType">TcRhoType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="HsExpr.html#t:HsExpr">HsExpr</a> <a href="TcRnTypes.html#t:TcId">TcId</a>)</p></div><div class="top"><p class="src"><a name="v:tcSyntaxName" class="def">tcSyntaxName</a> :: <a href="TcRnTypes.html#t:CtOrigin">CtOrigin</a> -> <a href="TcType.html#t:TcType">TcType</a> -> (<a href="Name.html#t:Name">Name</a>, <a href="HsExpr.html#t:HsExpr">HsExpr</a> <a href="Name.html#t:Name">Name</a>) -> <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="Name.html#t:Name">Name</a>, <a href="HsExpr.html#t:HsExpr">HsExpr</a> <a href="TcRnTypes.html#t:TcId">TcId</a>)</p></div><div class="top"><p class="src"><a name="v:hasEqualities" class="def">hasEqualities</a> :: [<a href="Var.html#t:EvVar">EvVar</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:unitImplication" class="def">unitImplication</a> :: <a href="TcRnTypes.html#t:Implication">Implication</a> -> <a href="Bag.html#t:Bag">Bag</a> <a href="TcRnTypes.html#t:Implication">Implication</a></p></div><div class="top"><p class="src"><a name="v:tyVarsOfWC" class="def">tyVarsOfWC</a> :: <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a> -> <a href="VarSet.html#t:TyVarSet">TyVarSet</a></p></div><div class="top"><p class="src"><a name="v:tyVarsOfBag" class="def">tyVarsOfBag</a> :: (a -> <a href="VarSet.html#t:TyVarSet">TyVarSet</a>) -> <a href="Bag.html#t:Bag">Bag</a> a -> <a href="VarSet.html#t:TyVarSet">TyVarSet</a></p></div><div class="top"><p class="src"><a name="v:tyVarsOfEvVarXs" class="def">tyVarsOfEvVarXs</a> :: <a href="Bag.html#t:Bag">Bag</a> (<a href="TcRnTypes.html#t:EvVarX">EvVarX</a> a) -> <a href="VarSet.html#t:TyVarSet">TyVarSet</a></p></div><div class="top"><p class="src"><a name="v:tyVarsOfEvVarX" class="def">tyVarsOfEvVarX</a> :: <a href="TcRnTypes.html#t:EvVarX">EvVarX</a> a -> <a href="VarSet.html#t:TyVarSet">TyVarSet</a></p></div><div class="top"><p class="src"><a name="v:tyVarsOfEvVar" class="def">tyVarsOfEvVar</a> :: <a href="Var.html#t:EvVar">EvVar</a> -> <a href="VarSet.html#t:TyVarSet">TyVarSet</a></p></div><div class="top"><p class="src"><a name="v:tyVarsOfEvVars" class="def">tyVarsOfEvVars</a> :: [<a href="Var.html#t:EvVar">EvVar</a>] -> <a href="VarSet.html#t:TyVarSet">TyVarSet</a></p></div><div class="top"><p class="src"><a name="v:tyVarsOfImplication" class="def">tyVarsOfImplication</a> :: <a href="TcRnTypes.html#t:Implication">Implication</a> -> <a href="VarSet.html#t:TyVarSet">TyVarSet</a></p></div><div class="top"><p class="src"><a name="v:tyVarsOfCt" class="def">tyVarsOfCt</a> :: <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="TcType.html#t:TcTyVarSet">TcTyVarSet</a></p></div><div class="top"><p class="src"><a name="v:tyVarsOfCts" class="def">tyVarsOfCts</a> :: <a href="TcRnTypes.html#t:Cts">Cts</a> -> <a href="TcType.html#t:TcTyVarSet">TcTyVarSet</a></p></div><div class="top"><p class="src"><a name="v:tyVarsOfCDict" class="def">tyVarsOfCDict</a> :: <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="TcType.html#t:TcTyVarSet">TcTyVarSet</a></p></div><div class="top"><p class="src"><a name="v:tyVarsOfCDicts" class="def">tyVarsOfCDicts</a> :: <a href="TcRnTypes.html#t:Cts">Cts</a> -> <a href="TcType.html#t:TcTyVarSet">TcTyVarSet</a></p></div><div class="top"><p class="src"><a name="v:tidyWantedEvVar" class="def">tidyWantedEvVar</a> :: <a href="VarEnv.html#t:TidyEnv">TidyEnv</a> -> <a href="TcRnTypes.html#t:WantedEvVar">WantedEvVar</a> -> <a href="TcRnTypes.html#t:WantedEvVar">WantedEvVar</a></p></div><div class="top"><p class="src"><a name="v:tidyWantedEvVars" class="def">tidyWantedEvVars</a> :: <a href="VarEnv.html#t:TidyEnv">TidyEnv</a> -> <a href="Bag.html#t:Bag">Bag</a> <a href="TcRnTypes.html#t:WantedEvVar">WantedEvVar</a> -> <a href="Bag.html#t:Bag">Bag</a> <a href="TcRnTypes.html#t:WantedEvVar">WantedEvVar</a></p></div><div class="top"><p class="src"><a name="v:tidyWC" class="def">tidyWC</a> :: <a href="VarEnv.html#t:TidyEnv">TidyEnv</a> -> <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a> -> <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a></p></div><div class="top"><p class="src"><a name="v:tidyEvVar" class="def">tidyEvVar</a> :: <a href="VarEnv.html#t:TidyEnv">TidyEnv</a> -> <a href="Var.html#t:EvVar">EvVar</a> -> <a href="Var.html#t:EvVar">EvVar</a></p></div><div class="top"><p class="src"><a name="v:tidyImplication" class="def">tidyImplication</a> :: <a href="VarEnv.html#t:TidyEnv">TidyEnv</a> -> <a href="TcRnTypes.html#t:Implication">Implication</a> -> <a href="TcRnTypes.html#t:Implication">Implication</a></p></div><div class="top"><p class="src"><a name="v:tidyCt" class="def">tidyCt</a> :: <a href="VarEnv.html#t:TidyEnv">TidyEnv</a> -> <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="TcRnTypes.html#t:Ct">Ct</a></p></div><div class="top"><p class="src"><a name="v:substWantedEvVar" class="def">substWantedEvVar</a> :: <a href="Type.html#t:TvSubst">TvSubst</a> -> <a href="TcRnTypes.html#t:WantedEvVar">WantedEvVar</a> -> <a href="TcRnTypes.html#t:WantedEvVar">WantedEvVar</a></p></div><div class="top"><p class="src"><a name="v:substWantedEvVars" class="def">substWantedEvVars</a> :: <a href="Type.html#t:TvSubst">TvSubst</a> -> <a href="Bag.html#t:Bag">Bag</a> <a href="TcRnTypes.html#t:WantedEvVar">WantedEvVar</a> -> <a href="Bag.html#t:Bag">Bag</a> <a href="TcRnTypes.html#t:WantedEvVar">WantedEvVar</a></p></div><div class="top"><p class="src"><a name="v:substEvVar" class="def">substEvVar</a> :: <a href="Type.html#t:TvSubst">TvSubst</a> -> <a href="Var.html#t:EvVar">EvVar</a> -> <a href="Var.html#t:EvVar">EvVar</a></p></div><div class="top"><p class="src"><a name="v:substImplication" class="def">substImplication</a> :: <a href="Type.html#t:TvSubst">TvSubst</a> -> <a href="TcRnTypes.html#t:Implication">Implication</a> -> <a href="TcRnTypes.html#t:Implication">Implication</a></p></div><div class="top"><p class="src"><a name="v:substCt" class="def">substCt</a> :: <a href="Type.html#t:TvSubst">TvSubst</a> -> <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="TcRnTypes.html#t:Ct">Ct</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
>
2916
