Sophie: ghc-7.4.2-4.mga5 i586

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>CoreSyn</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">CoreSyn</p></div><div id="interface"><h1>Main data types
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="CoreSyn.html#t:Expr" target="main">Expr</a> b</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="CoreSyn.html#t:Alt" target="main">Alt</a> b</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="CoreSyn.html#t:Bind" target="main">Bind</a> b</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="CoreSyn.html#t:AltCon" target="main">AltCon</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="CoreSyn.html#t:Arg" target="main">Arg</a> b</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="CoreSyn.html#t:Tickish" target="main">Tickish</a> id</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="CoreSyn.html#t:CoreProgram" target="main">CoreProgram</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="CoreSyn.html#t:CoreExpr" target="main">CoreExpr</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="CoreSyn.html#t:CoreAlt" target="main">CoreAlt</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="CoreSyn.html#t:CoreBind" target="main">CoreBind</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="CoreSyn.html#t:CoreArg" target="main">CoreArg</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="CoreSyn.html#t:CoreBndr" target="main">CoreBndr</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="CoreSyn.html#t:TaggedExpr" target="main">TaggedExpr</a> t</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="CoreSyn.html#t:TaggedAlt" target="main">TaggedAlt</a> t</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="CoreSyn.html#t:TaggedBind" target="main">TaggedBind</a> t</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="CoreSyn.html#t:TaggedArg" target="main">TaggedArg</a> t</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="CoreSyn.html#t:TaggedBndr" target="main">TaggedBndr</a> t</p></div><h2><code><a href="CoreSyn.html#t:Expr">Expr</a></code> construction
</h2><div class="top"><p class="src"><a href="CoreSyn.html#v:mkLets" target="main">mkLets</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkLams" target="main">mkLams</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkApps" target="main">mkApps</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkTyApps" target="main">mkTyApps</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkCoApps" target="main">mkCoApps</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkVarApps" target="main">mkVarApps</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkIntLit" target="main">mkIntLit</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkIntLitInt" target="main">mkIntLitInt</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkWordLit" target="main">mkWordLit</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkWordLitWord" target="main">mkWordLitWord</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkWord64LitWord64" target="main">mkWord64LitWord64</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkInt64LitInt64" target="main">mkInt64LitInt64</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkCharLit" target="main">mkCharLit</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkStringLit" target="main">mkStringLit</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkFloatLit" target="main">mkFloatLit</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkFloatLitFloat" target="main">mkFloatLitFloat</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkDoubleLit" target="main">mkDoubleLit</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkDoubleLitDouble" target="main">mkDoubleLitDouble</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkConApp" target="main">mkConApp</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkTyBind" target="main">mkTyBind</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkCoBind" target="main">mkCoBind</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:varToCoreExpr" target="main">varToCoreExpr</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:varsToCoreExprs" target="main">varsToCoreExprs</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:isId" target="main">isId</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:cmpAltCon" target="main">cmpAltCon</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:cmpAlt" target="main">cmpAlt</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:ltAlt" target="main">ltAlt</a></p></div><h2>Simple <code><a href="CoreSyn.html#t:Expr">Expr</a></code> access functions and predicates
</h2><div class="top"><p class="src"><a href="CoreSyn.html#v:bindersOf" target="main">bindersOf</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:bindersOfBinds" target="main">bindersOfBinds</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:rhssOfBind" target="main">rhssOfBind</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:rhssOfAlts" target="main">rhssOfAlts</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:collectBinders" target="main">collectBinders</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:collectTyBinders" target="main">collectTyBinders</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:collectValBinders" target="main">collectValBinders</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:collectTyAndValBinders" target="main">collectTyAndValBinders</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:collectArgs" target="main">collectArgs</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:flattenBinds" target="main">flattenBinds</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:isValArg" target="main">isValArg</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:isTypeArg" target="main">isTypeArg</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:isTyCoArg" target="main">isTyCoArg</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:valArgCount" target="main">valArgCount</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:valBndrCount" target="main">valBndrCount</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:isRuntimeArg" target="main">isRuntimeArg</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:isRuntimeVar" target="main">isRuntimeVar</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:tickishCounts" target="main">tickishCounts</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:tickishScoped" target="main">tickishScoped</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:tickishIsCode" target="main">tickishIsCode</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkNoTick" target="main">mkNoTick</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkNoScope" target="main">mkNoScope</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:tickishCanSplit" target="main">tickishCanSplit</a></p></div><h1>Unfolding data types
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="CoreSyn.html#t:Unfolding" target="main">Unfolding</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="CoreSyn.html#t:UnfoldingGuidance" target="main">UnfoldingGuidance</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="CoreSyn.html#t:UnfoldingSource" target="main">UnfoldingSource</a> </p></div><h2>Constructing <code><a href="CoreSyn.html#t:Unfolding">Unfolding</a></code>s
</h2><div class="top"><p class="src"><a href="CoreSyn.html#v:noUnfolding" target="main">noUnfolding</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:evaldUnfolding" target="main">evaldUnfolding</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:mkOtherCon" target="main">mkOtherCon</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:unSaturatedOk" target="main">unSaturatedOk</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:needSaturated" target="main">needSaturated</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:boringCxtOk" target="main">boringCxtOk</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:boringCxtNotOk" target="main">boringCxtNotOk</a></p></div><h2>Predicates and deconstruction on <code><a href="CoreSyn.html#t:Unfolding">Unfolding</a></code>
</h2><div class="top"><p class="src"><a href="CoreSyn.html#v:unfoldingTemplate" target="main">unfoldingTemplate</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:setUnfoldingTemplate" target="main">setUnfoldingTemplate</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:expandUnfolding_maybe" target="main">expandUnfolding_maybe</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:maybeUnfoldingTemplate" target="main">maybeUnfoldingTemplate</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:otherCons" target="main">otherCons</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:unfoldingArity" target="main">unfoldingArity</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:isValueUnfolding" target="main">isValueUnfolding</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:isEvaldUnfolding" target="main">isEvaldUnfolding</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:isCheapUnfolding" target="main">isCheapUnfolding</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:isExpandableUnfolding" target="main">isExpandableUnfolding</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:isConLikeUnfolding" target="main">isConLikeUnfolding</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:isCompulsoryUnfolding" target="main">isCompulsoryUnfolding</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:isStableUnfolding" target="main">isStableUnfolding</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:isStableCoreUnfolding_maybe" target="main">isStableCoreUnfolding_maybe</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:isClosedUnfolding" target="main">isClosedUnfolding</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:hasSomeUnfolding" target="main">hasSomeUnfolding</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:canUnfold" target="main">canUnfold</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:neverUnfoldGuidance" target="main">neverUnfoldGuidance</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:isStableSource" target="main">isStableSource</a></p></div><h1>Strictness
</h1><div class="top"><p class="src"><a href="CoreSyn.html#v:seqExpr" target="main">seqExpr</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:seqExprs" target="main">seqExprs</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:seqUnfolding" target="main">seqUnfolding</a></p></div><h1>Annotated expression data types
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a href="CoreSyn.html#t:AnnExpr" target="main">AnnExpr</a> bndr annot</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="CoreSyn.html#t:AnnExpr-39-" target="main">AnnExpr'</a> bndr annot</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="CoreSyn.html#t:AnnBind" target="main">AnnBind</a> bndr annot</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="CoreSyn.html#t:AnnAlt" target="main">AnnAlt</a> bndr annot</p></div><h2>Operations on annotated expressions
</h2><div class="top"><p class="src"><a href="CoreSyn.html#v:collectAnnArgs" target="main">collectAnnArgs</a></p></div><h2>Operations on annotations
</h2><div class="top"><p class="src"><a href="CoreSyn.html#v:deAnnotate" target="main">deAnnotate</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:deAnnotate-39-" target="main">deAnnotate'</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:deAnnAlt" target="main">deAnnAlt</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:collectAnnBndrs" target="main">collectAnnBndrs</a></p></div><h1>Core rule data types
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="CoreSyn.html#t:CoreRule" target="main">CoreRule</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="CoreSyn.html#t:RuleName" target="main">RuleName</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="CoreSyn.html#t:IdUnfoldingFun" target="main">IdUnfoldingFun</a> </p></div><h2>Operations on <code><a href="CoreSyn.html#t:CoreRule">CoreRule</a></code>s 
</h2><div class="top"><p class="src"><a href="CoreSyn.html#v:seqRules" target="main">seqRules</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:ruleArity" target="main">ruleArity</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:ruleName" target="main">ruleName</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:ruleIdName" target="main">ruleIdName</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:ruleActivation" target="main">ruleActivation</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:setRuleIdName" target="main">setRuleIdName</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:isBuiltinRule" target="main">isBuiltinRule</a></p></div><div class="top"><p class="src"><a href="CoreSyn.html#v:isLocalRule" target="main">isLocalRule</a></p></div><h1>Core vectorisation declarations data type
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="CoreSyn.html#t:CoreVect" target="main">CoreVect</a> </p></div></div></body></html>