<!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>IfaceSyn</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_IfaceSyn.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">IfaceSyn</p></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short">module <a href="IfaceType.html">IfaceType</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:IfaceDecl">IfaceDecl</a> <ul class="subs"><li>= <a href="#v:IfaceId">IfaceId</a> { <ul class="subs"><li><a href="#v:ifName">ifName</a> :: <a href="OccName.html#t:OccName">OccName</a></li><li><a href="#v:ifType">ifType</a> :: <a href="IfaceType.html#t:IfaceType">IfaceType</a></li><li><a href="#v:ifIdDetails">ifIdDetails</a> :: <a href="IfaceSyn.html#t:IfaceIdDetails">IfaceIdDetails</a></li><li><a href="#v:ifIdInfo">ifIdInfo</a> :: <a href="IfaceSyn.html#t:IfaceIdInfo">IfaceIdInfo</a></li></ul> }</li><li>| <a href="#v:IfaceData">IfaceData</a> { <ul class="subs"><li><a href="#v:ifName">ifName</a> :: <a href="OccName.html#t:OccName">OccName</a></li><li><a href="#v:ifTyVars">ifTyVars</a> :: [<a href="IfaceType.html#t:IfaceTvBndr">IfaceTvBndr</a>]</li><li><a href="#v:ifCtxt">ifCtxt</a> :: <a href="IfaceType.html#t:IfaceContext">IfaceContext</a></li><li><a href="#v:ifCons">ifCons</a> :: <a href="IfaceSyn.html#t:IfaceConDecls">IfaceConDecls</a></li><li><a href="#v:ifRec">ifRec</a> :: <a href="BasicTypes.html#t:RecFlag">RecFlag</a></li><li><a href="#v:ifGadtSyntax">ifGadtSyntax</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li><a href="#v:ifFamInst">ifFamInst</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="IfaceType.html#t:IfaceTyCon">IfaceTyCon</a>, [<a href="IfaceType.html#t:IfaceType">IfaceType</a>])</li></ul> }</li><li>| <a href="#v:IfaceSyn">IfaceSyn</a> { <ul class="subs"><li><a href="#v:ifName">ifName</a> :: <a href="OccName.html#t:OccName">OccName</a></li><li><a href="#v:ifTyVars">ifTyVars</a> :: [<a href="IfaceType.html#t:IfaceTvBndr">IfaceTvBndr</a>]</li><li><a href="#v:ifSynKind">ifSynKind</a> :: <a href="IfaceType.html#t:IfaceKind">IfaceKind</a></li><li><a href="#v:ifSynRhs">ifSynRhs</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="IfaceType.html#t:IfaceType">IfaceType</a></li><li><a href="#v:ifFamInst">ifFamInst</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="IfaceType.html#t:IfaceTyCon">IfaceTyCon</a>, [<a href="IfaceType.html#t:IfaceType">IfaceType</a>])</li></ul> }</li><li>| <a href="#v:IfaceClass">IfaceClass</a> { <ul class="subs"><li><a href="#v:ifCtxt">ifCtxt</a> :: <a href="IfaceType.html#t:IfaceContext">IfaceContext</a></li><li><a href="#v:ifName">ifName</a> :: <a href="OccName.html#t:OccName">OccName</a></li><li><a href="#v:ifTyVars">ifTyVars</a> :: [<a href="IfaceType.html#t:IfaceTvBndr">IfaceTvBndr</a>]</li><li><a href="#v:ifFDs">ifFDs</a> :: [<a href="Class.html#t:FunDep">FunDep</a> <a href="FastString.html#t:FastString">FastString</a>]</li><li><a href="#v:ifATs">ifATs</a> :: [<a href="IfaceSyn.html#t:IfaceAT">IfaceAT</a>]</li><li><a href="#v:ifSigs">ifSigs</a> :: [<a href="IfaceSyn.html#t:IfaceClassOp">IfaceClassOp</a>]</li><li><a href="#v:ifRec">ifRec</a> :: <a href="BasicTypes.html#t:RecFlag">RecFlag</a></li></ul> }</li><li>| <a href="#v:IfaceForeign">IfaceForeign</a> { <ul class="subs"><li><a href="#v:ifName">ifName</a> :: <a href="OccName.html#t:OccName">OccName</a></li><li><a href="#v:ifExtName">ifExtName</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="FastString.html#t:FastString">FastString</a></li></ul> }</li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:IfaceClassOp">IfaceClassOp</a> = <a href="#v:IfaceClassOp">IfaceClassOp</a> <a href="OccName.html#t:OccName">OccName</a> <a href="BasicTypes.html#t:DefMethSpec">DefMethSpec</a> <a href="IfaceType.html#t:IfaceType">IfaceType</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:IfaceAT">IfaceAT</a> = <a href="#v:IfaceAT">IfaceAT</a> <a href="IfaceSyn.html#t:IfaceDecl">IfaceDecl</a> [<a href="IfaceSyn.html#t:IfaceATDefault">IfaceATDefault</a>]</li><li class="src short"><span class="keyword">data</span> <a href="#t:IfaceATDefault">IfaceATDefault</a> = <a href="#v:IfaceATD">IfaceATD</a> [<a href="IfaceType.html#t:IfaceTvBndr">IfaceTvBndr</a>] [<a href="IfaceType.html#t:IfaceType">IfaceType</a>] <a href="IfaceType.html#t:IfaceType">IfaceType</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:IfaceConDecl">IfaceConDecl</a> = <a href="#v:IfCon">IfCon</a> {<ul class="subs"><li><a href="#v:ifConOcc">ifConOcc</a> :: <a href="OccName.html#t:OccName">OccName</a></li><li><a href="#v:ifConWrapper">ifConWrapper</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li><a href="#v:ifConInfix">ifConInfix</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li><a href="#v:ifConUnivTvs">ifConUnivTvs</a> :: [<a href="IfaceType.html#t:IfaceTvBndr">IfaceTvBndr</a>]</li><li><a href="#v:ifConExTvs">ifConExTvs</a> :: [<a href="IfaceType.html#t:IfaceTvBndr">IfaceTvBndr</a>]</li><li><a href="#v:ifConEqSpec">ifConEqSpec</a> :: [(<a href="OccName.html#t:OccName">OccName</a>, <a href="IfaceType.html#t:IfaceType">IfaceType</a>)]</li><li><a href="#v:ifConCtxt">ifConCtxt</a> :: <a href="IfaceType.html#t:IfaceContext">IfaceContext</a></li><li><a href="#v:ifConArgTys">ifConArgTys</a> :: [<a href="IfaceType.html#t:IfaceType">IfaceType</a>]</li><li><a href="#v:ifConFields">ifConFields</a> :: [<a href="OccName.html#t:OccName">OccName</a>]</li><li><a href="#v:ifConStricts">ifConStricts</a> :: [<a href="BasicTypes.html#t:HsBang">HsBang</a>]</li></ul>}</li><li class="src short"><span class="keyword">data</span> <a href="#t:IfaceConDecls">IfaceConDecls</a> <ul class="subs"><li>= <a href="#v:IfAbstractTyCon">IfAbstractTyCon</a> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> </li><li>| <a href="#v:IfOpenDataTyCon">IfOpenDataTyCon</a> </li><li>| <a href="#v:IfDataTyCon">IfDataTyCon</a> [<a href="IfaceSyn.html#t:IfaceConDecl">IfaceConDecl</a>] </li><li>| <a href="#v:IfNewTyCon">IfNewTyCon</a> <a href="IfaceSyn.html#t:IfaceConDecl">IfaceConDecl</a> </li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:IfaceExpr">IfaceExpr</a> <ul class="subs"><li>= <a href="#v:IfaceLcl">IfaceLcl</a> <a href="IfaceType.html#t:IfLclName">IfLclName</a> </li><li>| <a href="#v:IfaceExt">IfaceExt</a> <a href="IfaceType.html#t:IfExtName">IfExtName</a> </li><li>| <a href="#v:IfaceType">IfaceType</a> <a href="IfaceType.html#t:IfaceType">IfaceType</a> </li><li>| <a href="#v:IfaceCo">IfaceCo</a> <a href="IfaceType.html#t:IfaceType">IfaceType</a> </li><li>| <a href="#v:IfaceTuple">IfaceTuple</a> <a href="BasicTypes.html#t:TupleSort">TupleSort</a> [<a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a>] </li><li>| <a href="#v:IfaceLam">IfaceLam</a> <a href="IfaceType.html#t:IfaceBndr">IfaceBndr</a> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a> </li><li>| <a href="#v:IfaceApp">IfaceApp</a> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a> </li><li>| <a href="#v:IfaceCase">IfaceCase</a> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a> <a href="IfaceType.html#t:IfLclName">IfLclName</a> [<a href="IfaceSyn.html#t:IfaceAlt">IfaceAlt</a>] </li><li>| <a href="#v:IfaceLet">IfaceLet</a> <a href="IfaceSyn.html#t:IfaceBinding">IfaceBinding</a> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a> </li><li>| <a href="#v:IfaceCast">IfaceCast</a> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a> <a href="IfaceType.html#t:IfaceCoercion">IfaceCoercion</a> </li><li>| <a href="#v:IfaceLit">IfaceLit</a> <a href="Literal.html#t:Literal">Literal</a> </li><li>| <a href="#v:IfaceFCall">IfaceFCall</a> <a href="ForeignCall.html#t:ForeignCall">ForeignCall</a> <a href="IfaceType.html#t:IfaceType">IfaceType</a> </li><li>| <a href="#v:IfaceTick">IfaceTick</a> <a href="IfaceSyn.html#t:IfaceTickish">IfaceTickish</a> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a> </li></ul></li><li class="src short"><span class="keyword">type</span> <a href="#t:IfaceAlt">IfaceAlt</a> = (<a href="IfaceSyn.html#t:IfaceConAlt">IfaceConAlt</a>, [<a href="IfaceType.html#t:IfLclName">IfLclName</a>], <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a>)</li><li class="src short"><span class="keyword">data</span> <a href="#t:IfaceLetBndr">IfaceLetBndr</a> = <a href="#v:IfLetBndr">IfLetBndr</a> <a href="IfaceType.html#t:IfLclName">IfLclName</a> <a href="IfaceType.html#t:IfaceType">IfaceType</a> <a href="IfaceSyn.html#t:IfaceIdInfo">IfaceIdInfo</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:IfaceBinding">IfaceBinding</a> <ul class="subs"><li>= <a href="#v:IfaceNonRec">IfaceNonRec</a> <a href="IfaceSyn.html#t:IfaceLetBndr">IfaceLetBndr</a> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a> </li><li>| <a href="#v:IfaceRec">IfaceRec</a> [(<a href="IfaceSyn.html#t:IfaceLetBndr">IfaceLetBndr</a>, <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a>)] </li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:IfaceConAlt">IfaceConAlt</a> <ul class="subs"><li>= <a href="#v:IfaceDefault">IfaceDefault</a> </li><li>| <a href="#v:IfaceDataAlt">IfaceDataAlt</a> <a href="IfaceType.html#t:IfExtName">IfExtName</a> </li><li>| <a href="#v:IfaceLitAlt">IfaceLitAlt</a> <a href="Literal.html#t:Literal">Literal</a> </li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:IfaceIdInfo">IfaceIdInfo</a> <ul class="subs"><li>= <a href="#v:NoInfo">NoInfo</a> </li><li>| <a href="#v:HasInfo">HasInfo</a> [<a href="IfaceSyn.html#t:IfaceInfoItem">IfaceInfoItem</a>] </li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:IfaceIdDetails">IfaceIdDetails</a> <ul class="subs"><li>= <a href="#v:IfVanillaId">IfVanillaId</a> </li><li>| <a href="#v:IfRecSelId">IfRecSelId</a> <a href="IfaceType.html#t:IfaceTyCon">IfaceTyCon</a> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> </li><li>| <a href="#v:IfDFunId">IfDFunId</a> </li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:IfaceUnfolding">IfaceUnfolding</a> <ul class="subs"><li>= <a href="#v:IfCoreUnfold">IfCoreUnfold</a> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a> </li><li>| <a href="#v:IfCompulsory">IfCompulsory</a> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a> </li><li>| <a href="#v:IfInlineRule">IfInlineRule</a> <a href="BasicTypes.html#t:Arity">Arity</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="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a> </li><li>| <a href="#v:IfExtWrapper">IfExtWrapper</a> <a href="BasicTypes.html#t:Arity">Arity</a> <a href="IfaceType.html#t:IfExtName">IfExtName</a> </li><li>| <a href="#v:IfLclWrapper">IfLclWrapper</a> <a href="BasicTypes.html#t:Arity">Arity</a> <a href="IfaceType.html#t:IfLclName">IfLclName</a> </li><li>| <a href="#v:IfDFunUnfold">IfDFunUnfold</a> [<a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a>] </li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:IfaceInfoItem">IfaceInfoItem</a> <ul class="subs"><li>= <a href="#v:HsArity">HsArity</a> <a href="BasicTypes.html#t:Arity">Arity</a> </li><li>| <a href="#v:HsStrictness">HsStrictness</a> <a href="Demand.html#t:StrictSig">StrictSig</a> </li><li>| <a href="#v:HsInline">HsInline</a> <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> </li><li>| <a href="#v:HsUnfold">HsUnfold</a> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="IfaceSyn.html#t:IfaceUnfolding">IfaceUnfolding</a> </li><li>| <a href="#v:HsNoCafRefs">HsNoCafRefs</a> </li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:IfaceRule">IfaceRule</a> = <a href="#v:IfaceRule">IfaceRule</a> {<ul class="subs"><li><a href="#v:ifRuleName">ifRuleName</a> :: <a href="BasicTypes.html#t:RuleName">RuleName</a></li><li><a href="#v:ifActivation">ifActivation</a> :: <a href="BasicTypes.html#t:Activation">Activation</a></li><li><a href="#v:ifRuleBndrs">ifRuleBndrs</a> :: [<a href="IfaceType.html#t:IfaceBndr">IfaceBndr</a>]</li><li><a href="#v:ifRuleHead">ifRuleHead</a> :: <a href="IfaceType.html#t:IfExtName">IfExtName</a></li><li><a href="#v:ifRuleArgs">ifRuleArgs</a> :: [<a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a>]</li><li><a href="#v:ifRuleRhs">ifRuleRhs</a> :: <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a></li><li><a href="#v:ifRuleAuto">ifRuleAuto</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li><a href="#v:ifRuleOrph">ifRuleOrph</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="OccName.html#t:OccName">OccName</a></li></ul>}</li><li class="src short"><span class="keyword">data</span> <a href="#t:IfaceAnnotation">IfaceAnnotation</a> = <a href="#v:IfaceAnnotation">IfaceAnnotation</a> {<ul class="subs"><li><a href="#v:ifAnnotatedTarget">ifAnnotatedTarget</a> :: <a href="IfaceSyn.html#t:IfaceAnnTarget">IfaceAnnTarget</a></li><li><a href="#v:ifAnnotatedValue">ifAnnotatedValue</a> :: <a href="Serialized.html#t:Serialized">Serialized</a></li></ul>}</li><li class="src short"><span class="keyword">type</span> <a href="#t:IfaceAnnTarget">IfaceAnnTarget</a> = <a href="Annotations.html#t:AnnTarget">AnnTarget</a> <a href="OccName.html#t:OccName">OccName</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:IfaceInst">IfaceInst</a> = <a href="#v:IfaceInst">IfaceInst</a> {<ul class="subs"><li><a href="#v:ifInstCls">ifInstCls</a> :: <a href="IfaceType.html#t:IfExtName">IfExtName</a></li><li><a href="#v:ifInstTys">ifInstTys</a> :: [<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="IfaceType.html#t:IfaceTyCon">IfaceTyCon</a>]</li><li><a href="#v:ifDFun">ifDFun</a> :: <a href="IfaceType.html#t:IfExtName">IfExtName</a></li><li><a href="#v:ifOFlag">ifOFlag</a> :: <a href="BasicTypes.html#t:OverlapFlag">OverlapFlag</a></li><li><a href="#v:ifInstOrph">ifInstOrph</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="OccName.html#t:OccName">OccName</a></li></ul>}</li><li class="src short"><span class="keyword">data</span> <a href="#t:IfaceFamInst">IfaceFamInst</a> = <a href="#v:IfaceFamInst">IfaceFamInst</a> {<ul class="subs"><li><a href="#v:ifFamInstFam">ifFamInstFam</a> :: <a href="IfaceType.html#t:IfExtName">IfExtName</a></li><li><a href="#v:ifFamInstTys">ifFamInstTys</a> :: [<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="IfaceType.html#t:IfaceTyCon">IfaceTyCon</a>]</li><li><a href="#v:ifFamInstTyCon">ifFamInstTyCon</a> :: <a href="IfaceType.html#t:IfaceTyCon">IfaceTyCon</a></li></ul>}</li><li class="src short"><span class="keyword">data</span> <a href="#t:IfaceTickish">IfaceTickish</a> <ul class="subs"><li>= <a href="#v:IfaceHpcTick">IfaceHpcTick</a> <a href="Module.html#t:Module">Module</a> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> </li><li>| <a href="#v:IfaceSCC">IfaceSCC</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> </li></ul></li><li class="src short"><a href="#v:ifaceDeclSubBndrs">ifaceDeclSubBndrs</a> :: <a href="IfaceSyn.html#t:IfaceDecl">IfaceDecl</a> -> [<a href="OccName.html#t:OccName">OccName</a>]</li><li class="src short"><a href="#v:visibleIfConDecls">visibleIfConDecls</a> :: <a href="IfaceSyn.html#t:IfaceConDecls">IfaceConDecls</a> -> [<a href="IfaceSyn.html#t:IfaceConDecl">IfaceConDecl</a>]</li><li class="src short"><a href="#v:freeNamesIfDecl">freeNamesIfDecl</a> :: <a href="IfaceSyn.html#t:IfaceDecl">IfaceDecl</a> -> <a href="NameSet.html#t:NameSet">NameSet</a></li><li class="src short"><a href="#v:freeNamesIfRule">freeNamesIfRule</a> :: <a href="IfaceSyn.html#t:IfaceRule">IfaceRule</a> -> <a href="NameSet.html#t:NameSet">NameSet</a></li><li class="src short"><a href="#v:pprIfaceExpr">pprIfaceExpr</a> :: (<a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="Outputable.html#t:SDoc">SDoc</a>) -> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></li><li class="src short"><a href="#v:pprIfaceDeclHead">pprIfaceDeclHead</a> :: <a href="IfaceType.html#t:IfaceContext">IfaceContext</a> -> <a href="OccName.html#t:OccName">OccName</a> -> [<a href="IfaceType.html#t:IfaceTvBndr">IfaceTvBndr</a>] -> <a href="Outputable.html#t:SDoc">SDoc</a></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src">module <a href="IfaceType.html">IfaceType</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:IfaceDecl" class="def">IfaceDecl</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfaceId" class="def">IfaceId</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:ifName" class="def">ifName</a> :: <a href="OccName.html#t:OccName">OccName</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifType" class="def">ifType</a> :: <a href="IfaceType.html#t:IfaceType">IfaceType</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifIdDetails" class="def">ifIdDetails</a> :: <a href="IfaceSyn.html#t:IfaceIdDetails">IfaceIdDetails</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifIdInfo" class="def">ifIdInfo</a> :: <a href="IfaceSyn.html#t:IfaceIdInfo">IfaceIdInfo</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:IfaceData" class="def">IfaceData</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:ifName" class="def">ifName</a> :: <a href="OccName.html#t:OccName">OccName</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifTyVars" class="def">ifTyVars</a> :: [<a href="IfaceType.html#t:IfaceTvBndr">IfaceTvBndr</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifCtxt" class="def">ifCtxt</a> :: <a href="IfaceType.html#t:IfaceContext">IfaceContext</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifCons" class="def">ifCons</a> :: <a href="IfaceSyn.html#t:IfaceConDecls">IfaceConDecls</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifRec" class="def">ifRec</a> :: <a href="BasicTypes.html#t:RecFlag">RecFlag</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifGadtSyntax" class="def">ifGadtSyntax</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifFamInst" class="def">ifFamInst</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="IfaceType.html#t:IfaceTyCon">IfaceTyCon</a>, [<a href="IfaceType.html#t:IfaceType">IfaceType</a>])</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:IfaceSyn" class="def">IfaceSyn</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:ifName" class="def">ifName</a> :: <a href="OccName.html#t:OccName">OccName</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifTyVars" class="def">ifTyVars</a> :: [<a href="IfaceType.html#t:IfaceTvBndr">IfaceTvBndr</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifSynKind" class="def">ifSynKind</a> :: <a href="IfaceType.html#t:IfaceKind">IfaceKind</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifSynRhs" class="def">ifSynRhs</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="IfaceType.html#t:IfaceType">IfaceType</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifFamInst" class="def">ifFamInst</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="IfaceType.html#t:IfaceTyCon">IfaceTyCon</a>, [<a href="IfaceType.html#t:IfaceType">IfaceType</a>])</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:IfaceClass" class="def">IfaceClass</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:ifCtxt" class="def">ifCtxt</a> :: <a href="IfaceType.html#t:IfaceContext">IfaceContext</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifName" class="def">ifName</a> :: <a href="OccName.html#t:OccName">OccName</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifTyVars" class="def">ifTyVars</a> :: [<a href="IfaceType.html#t:IfaceTvBndr">IfaceTvBndr</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifFDs" class="def">ifFDs</a> :: [<a href="Class.html#t:FunDep">FunDep</a> <a href="FastString.html#t:FastString">FastString</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifATs" class="def">ifATs</a> :: [<a href="IfaceSyn.html#t:IfaceAT">IfaceAT</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifSigs" class="def">ifSigs</a> :: [<a href="IfaceSyn.html#t:IfaceClassOp">IfaceClassOp</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifRec" class="def">ifRec</a> :: <a href="BasicTypes.html#t:RecFlag">RecFlag</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:IfaceForeign" class="def">IfaceForeign</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:ifName" class="def">ifName</a> :: <a href="OccName.html#t:OccName">OccName</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifExtName" class="def">ifExtName</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="FastString.html#t:FastString">FastString</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:IfaceDecl" class="caption collapser" onclick="toggleSection('i:IfaceDecl')">Instances</p><div id="section.i:IfaceDecl" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="IfaceSyn.html#t:IfaceDecl">IfaceDecl</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceSyn.html#t:IfaceDecl">IfaceDecl</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:IfaceClassOp" class="def">IfaceClassOp</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfaceClassOp" class="def">IfaceClassOp</a> <a href="OccName.html#t:OccName">OccName</a> <a href="BasicTypes.html#t:DefMethSpec">DefMethSpec</a> <a href="IfaceType.html#t:IfaceType">IfaceType</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:IfaceClassOp" class="caption collapser" onclick="toggleSection('i:IfaceClassOp')">Instances</p><div id="section.i:IfaceClassOp" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="IfaceSyn.html#t:IfaceClassOp">IfaceClassOp</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceSyn.html#t:IfaceClassOp">IfaceClassOp</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:IfaceAT" class="def">IfaceAT</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfaceAT" class="def">IfaceAT</a> <a href="IfaceSyn.html#t:IfaceDecl">IfaceDecl</a> [<a href="IfaceSyn.html#t:IfaceATDefault">IfaceATDefault</a>]</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:IfaceAT" class="caption collapser" onclick="toggleSection('i:IfaceAT')">Instances</p><div id="section.i:IfaceAT" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="IfaceSyn.html#t:IfaceAT">IfaceAT</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceSyn.html#t:IfaceAT">IfaceAT</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:IfaceATDefault" class="def">IfaceATDefault</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfaceATD" class="def">IfaceATD</a> [<a href="IfaceType.html#t:IfaceTvBndr">IfaceTvBndr</a>] [<a href="IfaceType.html#t:IfaceType">IfaceType</a>] <a href="IfaceType.html#t:IfaceType">IfaceType</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:IfaceATDefault" class="caption collapser" onclick="toggleSection('i:IfaceATDefault')">Instances</p><div id="section.i:IfaceATDefault" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="IfaceSyn.html#t:IfaceATDefault">IfaceATDefault</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceSyn.html#t:IfaceATDefault">IfaceATDefault</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:IfaceConDecl" class="def">IfaceConDecl</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfCon" class="def">IfCon</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:ifConOcc" class="def">ifConOcc</a> :: <a href="OccName.html#t:OccName">OccName</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifConWrapper" class="def">ifConWrapper</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifConInfix" class="def">ifConInfix</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifConUnivTvs" class="def">ifConUnivTvs</a> :: [<a href="IfaceType.html#t:IfaceTvBndr">IfaceTvBndr</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifConExTvs" class="def">ifConExTvs</a> :: [<a href="IfaceType.html#t:IfaceTvBndr">IfaceTvBndr</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifConEqSpec" class="def">ifConEqSpec</a> :: [(<a href="OccName.html#t:OccName">OccName</a>, <a href="IfaceType.html#t:IfaceType">IfaceType</a>)]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifConCtxt" class="def">ifConCtxt</a> :: <a href="IfaceType.html#t:IfaceContext">IfaceContext</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifConArgTys" class="def">ifConArgTys</a> :: [<a href="IfaceType.html#t:IfaceType">IfaceType</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifConFields" class="def">ifConFields</a> :: [<a href="OccName.html#t:OccName">OccName</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifConStricts" class="def">ifConStricts</a> :: [<a href="BasicTypes.html#t:HsBang">HsBang</a>]</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:IfaceConDecl" class="caption collapser" onclick="toggleSection('i:IfaceConDecl')">Instances</p><div id="section.i:IfaceConDecl" class="show"><table><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceSyn.html#t:IfaceConDecl">IfaceConDecl</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:IfaceConDecls" class="def">IfaceConDecls</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfAbstractTyCon" class="def">IfAbstractTyCon</a> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfOpenDataTyCon" class="def">IfOpenDataTyCon</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfDataTyCon" class="def">IfDataTyCon</a> [<a href="IfaceSyn.html#t:IfaceConDecl">IfaceConDecl</a>]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfNewTyCon" class="def">IfNewTyCon</a> <a href="IfaceSyn.html#t:IfaceConDecl">IfaceConDecl</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:IfaceConDecls" class="caption collapser" onclick="toggleSection('i:IfaceConDecls')">Instances</p><div id="section.i:IfaceConDecls" class="show"><table><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceSyn.html#t:IfaceConDecls">IfaceConDecls</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:IfaceExpr" class="def">IfaceExpr</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfaceLcl" class="def">IfaceLcl</a> <a href="IfaceType.html#t:IfLclName">IfLclName</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceExt" class="def">IfaceExt</a> <a href="IfaceType.html#t:IfExtName">IfExtName</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceType" class="def">IfaceType</a> <a href="IfaceType.html#t:IfaceType">IfaceType</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceCo" class="def">IfaceCo</a> <a href="IfaceType.html#t:IfaceType">IfaceType</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceTuple" class="def">IfaceTuple</a> <a href="BasicTypes.html#t:TupleSort">TupleSort</a> [<a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a>]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceLam" class="def">IfaceLam</a> <a href="IfaceType.html#t:IfaceBndr">IfaceBndr</a> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceApp" class="def">IfaceApp</a> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceCase" class="def">IfaceCase</a> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a> <a href="IfaceType.html#t:IfLclName">IfLclName</a> [<a href="IfaceSyn.html#t:IfaceAlt">IfaceAlt</a>]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceLet" class="def">IfaceLet</a> <a href="IfaceSyn.html#t:IfaceBinding">IfaceBinding</a> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceCast" class="def">IfaceCast</a> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a> <a href="IfaceType.html#t:IfaceCoercion">IfaceCoercion</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceLit" class="def">IfaceLit</a> <a href="Literal.html#t:Literal">Literal</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceFCall" class="def">IfaceFCall</a> <a href="ForeignCall.html#t:ForeignCall">ForeignCall</a> <a href="IfaceType.html#t:IfaceType">IfaceType</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceTick" class="def">IfaceTick</a> <a href="IfaceSyn.html#t:IfaceTickish">IfaceTickish</a> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:IfaceExpr" class="caption collapser" onclick="toggleSection('i:IfaceExpr')">Instances</p><div id="section.i:IfaceExpr" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a></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:IfaceAlt" class="def">IfaceAlt</a> = (<a href="IfaceSyn.html#t:IfaceConAlt">IfaceConAlt</a>, [<a href="IfaceType.html#t:IfLclName">IfLclName</a>], <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a>)</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:IfaceLetBndr" class="def">IfaceLetBndr</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfLetBndr" class="def">IfLetBndr</a> <a href="IfaceType.html#t:IfLclName">IfLclName</a> <a href="IfaceType.html#t:IfaceType">IfaceType</a> <a href="IfaceSyn.html#t:IfaceIdInfo">IfaceIdInfo</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:IfaceLetBndr" class="caption collapser" onclick="toggleSection('i:IfaceLetBndr')">Instances</p><div id="section.i:IfaceLetBndr" class="show"><table><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceSyn.html#t:IfaceLetBndr">IfaceLetBndr</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:IfaceBinding" class="def">IfaceBinding</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfaceNonRec" class="def">IfaceNonRec</a> <a href="IfaceSyn.html#t:IfaceLetBndr">IfaceLetBndr</a> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceRec" class="def">IfaceRec</a> [(<a href="IfaceSyn.html#t:IfaceLetBndr">IfaceLetBndr</a>, <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a>)]</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:IfaceBinding" class="caption collapser" onclick="toggleSection('i:IfaceBinding')">Instances</p><div id="section.i:IfaceBinding" class="show"><table><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceSyn.html#t:IfaceBinding">IfaceBinding</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:IfaceConAlt" class="def">IfaceConAlt</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfaceDefault" class="def">IfaceDefault</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceDataAlt" class="def">IfaceDataAlt</a> <a href="IfaceType.html#t:IfExtName">IfExtName</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceLitAlt" class="def">IfaceLitAlt</a> <a href="Literal.html#t:Literal">Literal</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:IfaceConAlt" class="caption collapser" onclick="toggleSection('i:IfaceConAlt')">Instances</p><div id="section.i:IfaceConAlt" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="IfaceSyn.html#t:IfaceConAlt">IfaceConAlt</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceSyn.html#t:IfaceConAlt">IfaceConAlt</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:IfaceIdInfo" class="def">IfaceIdInfo</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:NoInfo" class="def">NoInfo</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HasInfo" class="def">HasInfo</a> [<a href="IfaceSyn.html#t:IfaceInfoItem">IfaceInfoItem</a>]</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:IfaceIdInfo" class="caption collapser" onclick="toggleSection('i:IfaceIdInfo')">Instances</p><div id="section.i:IfaceIdInfo" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="IfaceSyn.html#t:IfaceIdInfo">IfaceIdInfo</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceSyn.html#t:IfaceIdInfo">IfaceIdInfo</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:IfaceIdDetails" class="def">IfaceIdDetails</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfVanillaId" class="def">IfVanillaId</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfRecSelId" class="def">IfRecSelId</a> <a href="IfaceType.html#t:IfaceTyCon">IfaceTyCon</a> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfDFunId" class="def">IfDFunId</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:IfaceIdDetails" class="caption collapser" onclick="toggleSection('i:IfaceIdDetails')">Instances</p><div id="section.i:IfaceIdDetails" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="IfaceSyn.html#t:IfaceIdDetails">IfaceIdDetails</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceSyn.html#t:IfaceIdDetails">IfaceIdDetails</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:IfaceUnfolding" class="def">IfaceUnfolding</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfCoreUnfold" class="def">IfCoreUnfold</a> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfCompulsory" class="def">IfCompulsory</a> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfInlineRule" class="def">IfInlineRule</a> <a href="BasicTypes.html#t:Arity">Arity</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="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfExtWrapper" class="def">IfExtWrapper</a> <a href="BasicTypes.html#t:Arity">Arity</a> <a href="IfaceType.html#t:IfExtName">IfExtName</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfLclWrapper" class="def">IfLclWrapper</a> <a href="BasicTypes.html#t:Arity">Arity</a> <a href="IfaceType.html#t:IfLclName">IfLclName</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfDFunUnfold" class="def">IfDFunUnfold</a> [<a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a>]</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:IfaceUnfolding" class="caption collapser" onclick="toggleSection('i:IfaceUnfolding')">Instances</p><div id="section.i:IfaceUnfolding" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="IfaceSyn.html#t:IfaceUnfolding">IfaceUnfolding</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceSyn.html#t:IfaceUnfolding">IfaceUnfolding</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:IfaceInfoItem" class="def">IfaceInfoItem</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:HsArity" class="def">HsArity</a> <a href="BasicTypes.html#t:Arity">Arity</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsStrictness" class="def">HsStrictness</a> <a href="Demand.html#t:StrictSig">StrictSig</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsInline" class="def">HsInline</a> <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsUnfold" class="def">HsUnfold</a> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="IfaceSyn.html#t:IfaceUnfolding">IfaceUnfolding</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsNoCafRefs" class="def">HsNoCafRefs</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:IfaceInfoItem" class="caption collapser" onclick="toggleSection('i:IfaceInfoItem')">Instances</p><div id="section.i:IfaceInfoItem" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="IfaceSyn.html#t:IfaceInfoItem">IfaceInfoItem</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceSyn.html#t:IfaceInfoItem">IfaceInfoItem</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:IfaceRule" class="def">IfaceRule</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfaceRule" class="def">IfaceRule</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:ifRuleName" class="def">ifRuleName</a> :: <a href="BasicTypes.html#t:RuleName">RuleName</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifActivation" class="def">ifActivation</a> :: <a href="BasicTypes.html#t:Activation">Activation</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifRuleBndrs" class="def">ifRuleBndrs</a> :: [<a href="IfaceType.html#t:IfaceBndr">IfaceBndr</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifRuleHead" class="def">ifRuleHead</a> :: <a href="IfaceType.html#t:IfExtName">IfExtName</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifRuleArgs" class="def">ifRuleArgs</a> :: [<a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifRuleRhs" class="def">ifRuleRhs</a> :: <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifRuleAuto" class="def">ifRuleAuto</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifRuleOrph" class="def">ifRuleOrph</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="OccName.html#t:OccName">OccName</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:IfaceRule" class="caption collapser" onclick="toggleSection('i:IfaceRule')">Instances</p><div id="section.i:IfaceRule" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="IfaceSyn.html#t:IfaceRule">IfaceRule</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceSyn.html#t:IfaceRule">IfaceRule</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:IfaceAnnotation" class="def">IfaceAnnotation</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfaceAnnotation" class="def">IfaceAnnotation</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:ifAnnotatedTarget" class="def">ifAnnotatedTarget</a> :: <a href="IfaceSyn.html#t:IfaceAnnTarget">IfaceAnnTarget</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifAnnotatedValue" class="def">ifAnnotatedValue</a> :: <a href="Serialized.html#t:Serialized">Serialized</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:IfaceAnnotation" class="caption collapser" onclick="toggleSection('i:IfaceAnnotation')">Instances</p><div id="section.i:IfaceAnnotation" class="show"><table><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceSyn.html#t:IfaceAnnotation">IfaceAnnotation</a></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:IfaceAnnTarget" class="def">IfaceAnnTarget</a> = <a href="Annotations.html#t:AnnTarget">AnnTarget</a> <a href="OccName.html#t:OccName">OccName</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:IfaceInst" class="def">IfaceInst</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfaceInst" class="def">IfaceInst</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:ifInstCls" class="def">ifInstCls</a> :: <a href="IfaceType.html#t:IfExtName">IfExtName</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifInstTys" class="def">ifInstTys</a> :: [<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="IfaceType.html#t:IfaceTyCon">IfaceTyCon</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifDFun" class="def">ifDFun</a> :: <a href="IfaceType.html#t:IfExtName">IfExtName</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifOFlag" class="def">ifOFlag</a> :: <a href="BasicTypes.html#t:OverlapFlag">OverlapFlag</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifInstOrph" class="def">ifInstOrph</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="OccName.html#t:OccName">OccName</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:IfaceInst" class="caption collapser" onclick="toggleSection('i:IfaceInst')">Instances</p><div id="section.i:IfaceInst" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="IfaceSyn.html#t:IfaceInst">IfaceInst</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceSyn.html#t:IfaceInst">IfaceInst</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:IfaceFamInst" class="def">IfaceFamInst</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfaceFamInst" class="def">IfaceFamInst</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:ifFamInstFam" class="def">ifFamInstFam</a> :: <a href="IfaceType.html#t:IfExtName">IfExtName</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifFamInstTys" class="def">ifFamInstTys</a> :: [<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="IfaceType.html#t:IfaceTyCon">IfaceTyCon</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ifFamInstTyCon" class="def">ifFamInstTyCon</a> :: <a href="IfaceType.html#t:IfaceTyCon">IfaceTyCon</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:IfaceFamInst" class="caption collapser" onclick="toggleSection('i:IfaceFamInst')">Instances</p><div id="section.i:IfaceFamInst" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="IfaceSyn.html#t:IfaceFamInst">IfaceFamInst</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceSyn.html#t:IfaceFamInst">IfaceFamInst</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:IfaceTickish" class="def">IfaceTickish</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfaceHpcTick" class="def">IfaceHpcTick</a> <a href="Module.html#t:Module">Module</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:IfaceSCC" class="def">IfaceSCC</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></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:IfaceTickish" class="caption collapser" onclick="toggleSection('i:IfaceTickish')">Instances</p><div id="section.i:IfaceTickish" class="show"><table><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceSyn.html#t:IfaceTickish">IfaceTickish</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:ifaceDeclSubBndrs" class="def">ifaceDeclSubBndrs</a> :: <a href="IfaceSyn.html#t:IfaceDecl">IfaceDecl</a> -> [<a href="OccName.html#t:OccName">OccName</a>]</p></div><div class="top"><p class="src"><a name="v:visibleIfConDecls" class="def">visibleIfConDecls</a> :: <a href="IfaceSyn.html#t:IfaceConDecls">IfaceConDecls</a> -> [<a href="IfaceSyn.html#t:IfaceConDecl">IfaceConDecl</a>]</p></div><div class="top"><p class="src"><a name="v:freeNamesIfDecl" class="def">freeNamesIfDecl</a> :: <a href="IfaceSyn.html#t:IfaceDecl">IfaceDecl</a> -> <a href="NameSet.html#t:NameSet">NameSet</a></p><div class="doc"><p>Finding the Names in IfaceSyn
</p></div></div><div class="top"><p class="src"><a name="v:freeNamesIfRule" class="def">freeNamesIfRule</a> :: <a href="IfaceSyn.html#t:IfaceRule">IfaceRule</a> -> <a href="NameSet.html#t:NameSet">NameSet</a></p></div><div class="top"><p class="src"><a name="v:pprIfaceExpr" class="def">pprIfaceExpr</a> :: (<a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="Outputable.html#t:SDoc">SDoc</a>) -> <a href="IfaceSyn.html#t:IfaceExpr">IfaceExpr</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></p><div class="doc"><p>Pretty Print an IfaceExpre
</p><p>The first argument should be a function that adds parens in context that need
an atomic value (e.g. function args)
</p></div></div><div class="top"><p class="src"><a name="v:pprIfaceDeclHead" class="def">pprIfaceDeclHead</a> :: <a href="IfaceType.html#t:IfaceContext">IfaceContext</a> -> <a href="OccName.html#t:OccName">OccName</a> -> [<a href="IfaceType.html#t:IfaceTvBndr">IfaceTvBndr</a>] -> <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
>
2914
