Sophie

Sophie

distrib > Mageia > 5 > i586 > media > core-release > by-pkgid > 6e204a966e8c42d976f99a1700ce5f20 > files > 3577

ghc-7.4.2-4.mga5.i586.rpm

<!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>TcSMonad</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();};
//]]>
</script></head><body id="mini"><div id="module-header"><p class="caption">TcSMonad</p></div><div id="interface"><div class="top"><p class="src"><span class="keyword">data</span> <a href="TcSMonad.html#t:WorkList" target="main">WorkList</a> </p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:isEmptyWorkList" target="main">isEmptyWorkList</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:emptyWorkList" target="main">emptyWorkList</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:workListFromEq" target="main">workListFromEq</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:workListFromNonEq" target="main">workListFromNonEq</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:workListFromCt" target="main">workListFromCt</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:extendWorkListEq" target="main">extendWorkListEq</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:extendWorkListNonEq" target="main">extendWorkListNonEq</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:extendWorkListCt" target="main">extendWorkListCt</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:appendWorkListCt" target="main">appendWorkListCt</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:appendWorkListEqs" target="main">appendWorkListEqs</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:unionWorkList" target="main">unionWorkList</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:selectWorkItem" target="main">selectWorkItem</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:getTcSWorkList" target="main">getTcSWorkList</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:updWorkListTcS" target="main">updWorkListTcS</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:updWorkListTcS_return" target="main">updWorkListTcS_return</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:keepWanted" target="main">keepWanted</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="TcSMonad.html#t:Ct" target="main">Ct</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcSMonad.html#t:Xi" target="main">Xi</a> </p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:tyVarsOfCt" target="main">tyVarsOfCt</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:tyVarsOfCts" target="main">tyVarsOfCts</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:tyVarsOfCDicts" target="main">tyVarsOfCDicts</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:emitFrozenError" target="main">emitFrozenError</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:isWanted" target="main">isWanted</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:isGivenOrSolved" target="main">isGivenOrSolved</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:isDerived" target="main">isDerived</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:isGivenOrSolvedCt" target="main">isGivenOrSolvedCt</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:isGivenCt_maybe" target="main">isGivenCt_maybe</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:isWantedCt" target="main">isWantedCt</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:isDerivedCt" target="main">isDerivedCt</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:pprFlavorArising" target="main">pprFlavorArising</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:isFlexiTcsTv" target="main">isFlexiTcsTv</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:canRewrite" target="main">canRewrite</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:canSolve" target="main">canSolve</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:combineCtLoc" target="main">combineCtLoc</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:mkSolvedFlavor" target="main">mkSolvedFlavor</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:mkGivenFlavor" target="main">mkGivenFlavor</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:mkWantedFlavor" target="main">mkWantedFlavor</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:getWantedLoc" target="main">getWantedLoc</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="TcSMonad.html#t:TcS" target="main">TcS</a> a</p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:runTcS" target="main">runTcS</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:failTcS" target="main">failTcS</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:panicTcS" target="main">panicTcS</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:traceTcS" target="main">traceTcS</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:traceFireTcS" target="main">traceFireTcS</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:bumpStepCountTcS" target="main">bumpStepCountTcS</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:doWithInert" target="main">doWithInert</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:tryTcS" target="main">tryTcS</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:nestImplicTcS" target="main">nestImplicTcS</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:recoverTcS" target="main">recoverTcS</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:wrapErrTcS" target="main">wrapErrTcS</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:wrapWarnTcS" target="main">wrapWarnTcS</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="TcSMonad.html#t:SimplContext" target="main">SimplContext</a> </p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:isInteractive" target="main">isInteractive</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:simplEqsOnly" target="main">simplEqsOnly</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:performDefaulting" target="main">performDefaulting</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:newEvVar" target="main">newEvVar</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:forceNewEvVar" target="main">forceNewEvVar</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:delCachedEvVar" target="main">delCachedEvVar</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:updateFlatCache" target="main">updateFlatCache</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:flushFlatCache" target="main">flushFlatCache</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:newGivenEqVar" target="main">newGivenEqVar</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:newEqVar" target="main">newEqVar</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:newKindConstraint" target="main">newKindConstraint</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="TcSMonad.html#t:EvVarCreated" target="main">EvVarCreated</a> </p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:isNewEvVar" target="main">isNewEvVar</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="TcSMonad.html#t:FlatEqOrigin" target="main">FlatEqOrigin</a> </p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:origin_matches" target="main">origin_matches</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:setEqBind" target="main">setEqBind</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:setEvBind" target="main">setEvBind</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:setWantedTyBind" target="main">setWantedTyBind</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:getInstEnvs" target="main">getInstEnvs</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:getFamInstEnvs" target="main">getFamInstEnvs</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:getTopEnv" target="main">getTopEnv</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:getGblEnv" target="main">getGblEnv</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:getTcEvBinds" target="main">getTcEvBinds</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:getUntouchables" target="main">getUntouchables</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:getTcEvBindsMap" target="main">getTcEvBindsMap</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:getTcSContext" target="main">getTcSContext</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:getTcSTyBinds" target="main">getTcSTyBinds</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:getTcSTyBindsMap" target="main">getTcSTyBindsMap</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:getTcSEvVarCacheMap" target="main">getTcSEvVarCacheMap</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:getTcSEvVarFlatCache" target="main">getTcSEvVarFlatCache</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:setTcSEvVarCacheMap" target="main">setTcSEvVarCacheMap</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:pprEvVarCache" target="main">pprEvVarCache</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:newFlattenSkolemTy" target="main">newFlattenSkolemTy</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="TcSMonad.html#t:InertSet" target="main">InertSet</a> </p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:getInertEqs" target="main">getInertEqs</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:liftInertEqsTy" target="main">liftInertEqsTy</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:getCtCoercion" target="main">getCtCoercion</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:emptyInert" target="main">emptyInert</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:getTcSInerts" target="main">getTcSInerts</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:updInertSet" target="main">updInertSet</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:extractUnsolved" target="main">extractUnsolved</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:extractUnsolvedTcS" target="main">extractUnsolvedTcS</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:modifyInertTcS" target="main">modifyInertTcS</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:updInertSetTcS" target="main">updInertSetTcS</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:partitionCCanMap" target="main">partitionCCanMap</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:partitionEqMap" target="main">partitionEqMap</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:getRelevantCts" target="main">getRelevantCts</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:extractRelevantInerts" target="main">extractRelevantInerts</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="TcSMonad.html#t:CCanMap" target="main">CCanMap</a> a</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcSMonad.html#t:CtTypeMap" target="main">CtTypeMap</a> </p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:pprCtTypeMap" target="main">pprCtTypeMap</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:mkPredKeyForTypeMap" target="main">mkPredKeyForTypeMap</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:partitionCtTypeMap" target="main">partitionCtTypeMap</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:instDFunTypes" target="main">instDFunTypes</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:instDFunConstraints" target="main">instDFunConstraints</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:newFlexiTcSTy" target="main">newFlexiTcSTy</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:instFlexiTcS" target="main">instFlexiTcS</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:compatKind" target="main">compatKind</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:compatKindTcS" target="main">compatKindTcS</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:isSubKindTcS" target="main">isSubKindTcS</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:unifyKindTcS" target="main">unifyKindTcS</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcSMonad.html#t:TcsUntouchables" target="main">TcsUntouchables</a> </p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:isTouchableMetaTyVar" target="main">isTouchableMetaTyVar</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:isTouchableMetaTyVar_InRange" target="main">isTouchableMetaTyVar_InRange</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:getDefaultInfo" target="main">getDefaultInfo</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:getDynFlags" target="main">getDynFlags</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:matchClass" target="main">matchClass</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:matchFam" target="main">matchFam</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="TcSMonad.html#t:MatchInstResult" target="main">MatchInstResult</a> mi</p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:checkWellStagedDFun" target="main">checkWellStagedDFun</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:warnTcS" target="main">warnTcS</a></p></div><div class="top"><p class="src"><a href="TcSMonad.html#v:pprEq" target="main">pprEq</a></p></div></div></body></html>