<!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>StgSyn</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_StgSyn.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">StgSyn</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:GenStgArg" class="def">GenStgArg</a> occ </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:StgVarArg" class="def">StgVarArg</a> occ</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:StgLitArg" class="def">StgLitArg</a> <a href="Literal.html#t:Literal">Literal</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:StgTypeArg" class="def">StgTypeArg</a> <a href="Type.html#t:Type">Type</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:GenStgArg" class="caption collapser" onclick="toggleSection('i:GenStgArg')">Instances</p><div id="section.i:GenStgArg" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> bdee => <a href="Outputable.html#t:Outputable">Outputable</a> (<a href="StgSyn.html#t:GenStgArg">GenStgArg</a> bdee)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:GenStgLiveVars" class="def">GenStgLiveVars</a> occ = <a href="UniqSet.html#t:UniqSet">UniqSet</a> occ</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:GenStgBinding" class="def">GenStgBinding</a> bndr occ </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:StgNonRec" class="def">StgNonRec</a> bndr (<a href="StgSyn.html#t:GenStgRhs">GenStgRhs</a> bndr occ)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:StgRec" class="def">StgRec</a> [(bndr, <a href="StgSyn.html#t:GenStgRhs">GenStgRhs</a> bndr occ)]</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:GenStgBinding" class="caption collapser" onclick="toggleSection('i:GenStgBinding')">Instances</p><div id="section.i:GenStgBinding" class="show"><table><tr><td class="src">(<a href="Outputable.html#t:Outputable">Outputable</a> bndr, <a href="Outputable.html#t:Outputable">Outputable</a> bdee, <a href="../base-4.5.1.0/Data-Ord.html#t:Ord">Ord</a> bdee) => <a href="Outputable.html#t:Outputable">Outputable</a> (<a href="StgSyn.html#t:GenStgBinding">GenStgBinding</a> bndr bdee)</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:GenStgExpr" class="def">GenStgExpr</a> bndr occ </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:StgApp" class="def">StgApp</a> occ [<a href="StgSyn.html#t:GenStgArg">GenStgArg</a> occ]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:StgLit" class="def">StgLit</a> <a href="Literal.html#t:Literal">Literal</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:StgConApp" class="def">StgConApp</a> <a href="DataCon.html#t:DataCon">DataCon</a> [<a href="StgSyn.html#t:GenStgArg">GenStgArg</a> occ]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:StgOpApp" class="def">StgOpApp</a> <a href="StgSyn.html#t:StgOp">StgOp</a> [<a href="StgSyn.html#t:GenStgArg">GenStgArg</a> occ] <a href="Type.html#t:Type">Type</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:StgLam" class="def">StgLam</a> <a href="Type.html#t:Type">Type</a> [bndr] <a href="StgSyn.html#t:StgExpr">StgExpr</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:StgCase" class="def">StgCase</a> (<a href="StgSyn.html#t:GenStgExpr">GenStgExpr</a> bndr occ) (<a href="StgSyn.html#t:GenStgLiveVars">GenStgLiveVars</a> occ) (<a href="StgSyn.html#t:GenStgLiveVars">GenStgLiveVars</a> occ) bndr <a href="StgSyn.html#t:SRT">SRT</a> <a href="StgSyn.html#t:AltType">AltType</a> [<a href="StgSyn.html#t:GenStgAlt">GenStgAlt</a> bndr occ]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:StgLet" class="def">StgLet</a> (<a href="StgSyn.html#t:GenStgBinding">GenStgBinding</a> bndr occ) (<a href="StgSyn.html#t:GenStgExpr">GenStgExpr</a> bndr occ)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:StgLetNoEscape" class="def">StgLetNoEscape</a> (<a href="StgSyn.html#t:GenStgLiveVars">GenStgLiveVars</a> occ) (<a href="StgSyn.html#t:GenStgLiveVars">GenStgLiveVars</a> occ) (<a href="StgSyn.html#t:GenStgBinding">GenStgBinding</a> bndr occ) (<a href="StgSyn.html#t:GenStgExpr">GenStgExpr</a> bndr occ)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:StgSCC" class="def">StgSCC</a> <a href="CostCentre.html#t:CostCentre">CostCentre</a> !<a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> !<a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> (<a href="StgSyn.html#t:GenStgExpr">GenStgExpr</a> bndr occ)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:StgTick" class="def">StgTick</a> <a href="Module.html#t:Module">Module</a> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> (<a href="StgSyn.html#t:GenStgExpr">GenStgExpr</a> bndr occ)</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:GenStgExpr" class="caption collapser" onclick="toggleSection('i:GenStgExpr')">Instances</p><div id="section.i:GenStgExpr" class="show"><table><tr><td class="src">(<a href="Outputable.html#t:Outputable">Outputable</a> bndr, <a href="Outputable.html#t:Outputable">Outputable</a> bdee, <a href="../base-4.5.1.0/Data-Ord.html#t:Ord">Ord</a> bdee) => <a href="Outputable.html#t:Outputable">Outputable</a> (<a href="StgSyn.html#t:GenStgExpr">GenStgExpr</a> bndr bdee)</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:GenStgRhs" class="def">GenStgRhs</a> bndr occ </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:StgRhsClosure" class="def">StgRhsClosure</a> <a href="CostCentre.html#t:CostCentreStack">CostCentreStack</a> <a href="StgSyn.html#t:StgBinderInfo">StgBinderInfo</a> [occ] !<a href="StgSyn.html#t:UpdateFlag">UpdateFlag</a> <a href="StgSyn.html#t:SRT">SRT</a> [bndr] (<a href="StgSyn.html#t:GenStgExpr">GenStgExpr</a> bndr occ)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:StgRhsCon" class="def">StgRhsCon</a> <a href="CostCentre.html#t:CostCentreStack">CostCentreStack</a> <a href="DataCon.html#t:DataCon">DataCon</a> [<a href="StgSyn.html#t:GenStgArg">GenStgArg</a> occ]</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:GenStgRhs" class="caption collapser" onclick="toggleSection('i:GenStgRhs')">Instances</p><div id="section.i:GenStgRhs" class="show"><table><tr><td class="src">(<a href="Outputable.html#t:Outputable">Outputable</a> bndr, <a href="Outputable.html#t:Outputable">Outputable</a> bdee, <a href="../base-4.5.1.0/Data-Ord.html#t:Ord">Ord</a> bdee) => <a href="Outputable.html#t:Outputable">Outputable</a> (<a href="StgSyn.html#t:GenStgRhs">GenStgRhs</a> bndr bdee)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:GenStgAlt" class="def">GenStgAlt</a> bndr occ = (<a href="CoreSyn.html#t:AltCon">AltCon</a>, [bndr], [<a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a>], <a href="StgSyn.html#t:GenStgExpr">GenStgExpr</a> bndr occ)</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:AltType" class="def">AltType</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:PolyAlt" class="def">PolyAlt</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:UbxTupAlt" class="def">UbxTupAlt</a> <a href="TyCon.html#t:TyCon">TyCon</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:AlgAlt" class="def">AlgAlt</a> <a href="TyCon.html#t:TyCon">TyCon</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:PrimAlt" class="def">PrimAlt</a> <a href="TyCon.html#t:TyCon">TyCon</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:AltType" class="caption collapser" onclick="toggleSection('i:AltType')">Instances</p><div id="section.i:AltType" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="StgSyn.html#t:AltType">AltType</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:UpdateFlag" class="def">UpdateFlag</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:ReEntrant" class="def">ReEntrant</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Updatable" class="def">Updatable</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SingleEntry" class="def">SingleEntry</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:UpdateFlag" class="caption collapser" onclick="toggleSection('i:UpdateFlag')">Instances</p><div id="section.i:UpdateFlag" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="StgSyn.html#t:UpdateFlag">UpdateFlag</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:isUpdatable" class="def">isUpdatable</a> :: <a href="StgSyn.html#t:UpdateFlag">UpdateFlag</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:StgBinderInfo" class="def">StgBinderInfo</a> </p></div><div class="top"><p class="src"><a name="v:noBinderInfo" class="def">noBinderInfo</a> :: <a href="StgSyn.html#t:StgBinderInfo">StgBinderInfo</a></p></div><div class="top"><p class="src"><a name="v:stgSatOcc" class="def">stgSatOcc</a> :: <a href="StgSyn.html#t:StgBinderInfo">StgBinderInfo</a></p></div><div class="top"><p class="src"><a name="v:stgUnsatOcc" class="def">stgUnsatOcc</a> :: <a href="StgSyn.html#t:StgBinderInfo">StgBinderInfo</a></p></div><div class="top"><p class="src"><a name="v:satCallsOnly" class="def">satCallsOnly</a> :: <a href="StgSyn.html#t:StgBinderInfo">StgBinderInfo</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:combineStgBinderInfo" class="def">combineStgBinderInfo</a> :: <a href="StgSyn.html#t:StgBinderInfo">StgBinderInfo</a> -> <a href="StgSyn.html#t:StgBinderInfo">StgBinderInfo</a> -> <a href="StgSyn.html#t:StgBinderInfo">StgBinderInfo</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:StgArg" class="def">StgArg</a> = <a href="StgSyn.html#t:GenStgArg">GenStgArg</a> <a href="Var.html#t:Id">Id</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:StgLiveVars" class="def">StgLiveVars</a> = <a href="StgSyn.html#t:GenStgLiveVars">GenStgLiveVars</a> <a href="Var.html#t:Id">Id</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:StgBinding" class="def">StgBinding</a> = <a href="StgSyn.html#t:GenStgBinding">GenStgBinding</a> <a href="Var.html#t:Id">Id</a> <a href="Var.html#t:Id">Id</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:StgExpr" class="def">StgExpr</a> = <a href="StgSyn.html#t:GenStgExpr">GenStgExpr</a> <a href="Var.html#t:Id">Id</a> <a href="Var.html#t:Id">Id</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:StgRhs" class="def">StgRhs</a> = <a href="StgSyn.html#t:GenStgRhs">GenStgRhs</a> <a href="Var.html#t:Id">Id</a> <a href="Var.html#t:Id">Id</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:StgAlt" class="def">StgAlt</a> = <a href="StgSyn.html#t:GenStgAlt">GenStgAlt</a> <a href="Var.html#t:Id">Id</a> <a href="Var.html#t:Id">Id</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:StgOp" class="def">StgOp</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:StgPrimOp" class="def">StgPrimOp</a> <a href="PrimOp.html#t:PrimOp">PrimOp</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:StgPrimCallOp" class="def">StgPrimCallOp</a> <a href="PrimOp.html#t:PrimCall">PrimCall</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:StgFCallOp" class="def">StgFCallOp</a> <a href="ForeignCall.html#t:ForeignCall">ForeignCall</a> <a href="Unique.html#t:Unique">Unique</a></td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:SRT" class="def">SRT</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:NoSRT" class="def">NoSRT</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SRTEntries" class="def">SRTEntries</a> <a href="VarSet.html#t:IdSet">IdSet</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SRT" class="def">SRT</a> !<a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> !<a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> !<a href="Bitmap.html#t:Bitmap">Bitmap</a></td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><a name="v:stgBindHasCafRefs" class="def">stgBindHasCafRefs</a> :: <a href="StgSyn.html#t:GenStgBinding">GenStgBinding</a> bndr <a href="Var.html#t:Id">Id</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:stgArgHasCafRefs" class="def">stgArgHasCafRefs</a> :: <a href="StgSyn.html#t:GenStgArg">GenStgArg</a> <a href="Var.html#t:Id">Id</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:stgRhsArity" class="def">stgRhsArity</a> :: <a href="StgSyn.html#t:StgRhs">StgRhs</a> -> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></p></div><div class="top"><p class="src"><a name="v:isDllConApp" class="def">isDllConApp</a> :: <a href="DynFlags.html#t:DynFlags">DynFlags</a> -> <a href="DataCon.html#t:DataCon">DataCon</a> -> [<a href="StgSyn.html#t:StgArg">StgArg</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:isStgTypeArg" class="def">isStgTypeArg</a> :: <a href="StgSyn.html#t:StgArg">StgArg</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:stgArgType" class="def">stgArgType</a> :: <a href="StgSyn.html#t:StgArg">StgArg</a> -> <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:pprStgBinding" class="def">pprStgBinding</a> :: <a href="StgSyn.html#t:StgBinding">StgBinding</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprStgBindings" class="def">pprStgBindings</a> :: [<a href="StgSyn.html#t:StgBinding">StgBinding</a>] -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprStgBindingsWithSRTs" class="def">pprStgBindingsWithSRTs</a> :: [(<a href="StgSyn.html#t:StgBinding">StgBinding</a>, [(<a href="Var.html#t:Id">Id</a>, [<a href="Var.html#t:Id">Id</a>])])] -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprStgLVs" class="def">pprStgLVs</a> :: <a href="Outputable.html#t:Outputable">Outputable</a> occ => <a href="StgSyn.html#t:GenStgLiveVars">GenStgLiveVars</a> occ -> <a href="Outputable.html#t:SDoc">SDoc</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
>
3087
