<!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>HsBinds</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_HsBinds.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">HsBinds</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"><span class="keyword">type</span> <a href="#t:HsLocalBinds">HsLocalBinds</a> id = <a href="HsBinds.html#t:HsLocalBindsLR">HsLocalBindsLR</a> id id</li><li class="src short"><span class="keyword">data</span> <a href="#t:HsLocalBindsLR">HsLocalBindsLR</a> idL idR<ul class="subs"><li>= <a href="#v:HsValBinds">HsValBinds</a> (<a href="HsBinds.html#t:HsValBindsLR">HsValBindsLR</a> idL idR) </li><li>| <a href="#v:HsIPBinds">HsIPBinds</a> (<a href="HsBinds.html#t:HsIPBinds">HsIPBinds</a> idR) </li><li>| <a href="#v:EmptyLocalBinds">EmptyLocalBinds</a> </li></ul></li><li class="src short"><span class="keyword">type</span> <a href="#t:HsValBinds">HsValBinds</a> id = <a href="HsBinds.html#t:HsValBindsLR">HsValBindsLR</a> id id</li><li class="src short"><span class="keyword">data</span> <a href="#t:HsValBindsLR">HsValBindsLR</a> idL idR<ul class="subs"><li>= <a href="#v:ValBindsIn">ValBindsIn</a> (<a href="HsBinds.html#t:LHsBindsLR">LHsBindsLR</a> idL idR) [<a href="HsBinds.html#t:LSig">LSig</a> idR] </li><li>| <a href="#v:ValBindsOut">ValBindsOut</a> [(<a href="BasicTypes.html#t:RecFlag">RecFlag</a>, <a href="HsBinds.html#t:LHsBinds">LHsBinds</a> idL)] [<a href="HsBinds.html#t:LSig">LSig</a> <a href="Name.html#t:Name">Name</a>] </li></ul></li><li class="src short"><span class="keyword">type</span> <a href="#t:LHsBind">LHsBind</a> id = <a href="HsBinds.html#t:LHsBindLR">LHsBindLR</a> id id</li><li class="src short"><span class="keyword">type</span> <a href="#t:LHsBinds">LHsBinds</a> id = <a href="HsBinds.html#t:LHsBindsLR">LHsBindsLR</a> id id</li><li class="src short"><span class="keyword">type</span> <a href="#t:HsBind">HsBind</a> id = <a href="HsBinds.html#t:HsBindLR">HsBindLR</a> id id</li><li class="src short"><span class="keyword">type</span> <a href="#t:LHsBindsLR">LHsBindsLR</a> idL idR = <a href="Bag.html#t:Bag">Bag</a> (<a href="HsBinds.html#t:LHsBindLR">LHsBindLR</a> idL idR)</li><li class="src short"><span class="keyword">type</span> <a href="#t:LHsBindLR">LHsBindLR</a> idL idR = <a href="SrcLoc.html#t:Located">Located</a> (<a href="HsBinds.html#t:HsBindLR">HsBindLR</a> idL idR)</li><li class="src short"><span class="keyword">data</span> <a href="#t:HsBindLR">HsBindLR</a> idL idR<ul class="subs"><li>= <a href="#v:FunBind">FunBind</a> { <ul class="subs"><li><a href="#v:fun_id">fun_id</a> :: <a href="SrcLoc.html#t:Located">Located</a> idL</li><li><a href="#v:fun_infix">fun_infix</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li><a href="#v:fun_matches">fun_matches</a> :: <a href="HsExpr.html#t:MatchGroup">MatchGroup</a> idR</li><li><a href="#v:fun_co_fn">fun_co_fn</a> :: <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a></li><li><a href="#v:bind_fvs">bind_fvs</a> :: <a href="NameSet.html#t:NameSet">NameSet</a></li><li><a href="#v:fun_tick">fun_tick</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="CoreSyn.html#t:Tickish">Tickish</a> <a href="Var.html#t:Id">Id</a>)</li></ul> }</li><li>| <a href="#v:PatBind">PatBind</a> { <ul class="subs"><li><a href="#v:pat_lhs">pat_lhs</a> :: <a href="HsPat.html#t:LPat">LPat</a> idL</li><li><a href="#v:pat_rhs">pat_rhs</a> :: <a href="HsExpr.html#t:GRHSs">GRHSs</a> idR</li><li><a href="#v:pat_rhs_ty">pat_rhs_ty</a> :: <a href="HsLit.html#t:PostTcType">PostTcType</a></li><li><a href="#v:bind_fvs">bind_fvs</a> :: <a href="NameSet.html#t:NameSet">NameSet</a></li><li><a href="#v:pat_ticks">pat_ticks</a> :: (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="CoreSyn.html#t:Tickish">Tickish</a> <a href="Var.html#t:Id">Id</a>), [<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="CoreSyn.html#t:Tickish">Tickish</a> <a href="Var.html#t:Id">Id</a>)])</li></ul> }</li><li>| <a href="#v:VarBind">VarBind</a> { <ul class="subs"><li><a href="#v:var_id">var_id</a> :: idL</li><li><a href="#v:var_rhs">var_rhs</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> idR</li><li><a href="#v:var_inline">var_inline</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li></ul> }</li><li>| <a href="#v:AbsBinds">AbsBinds</a> { <ul class="subs"><li><a href="#v:abs_tvs">abs_tvs</a> :: [<a href="Var.html#t:TyVar">TyVar</a>]</li><li><a href="#v:abs_ev_vars">abs_ev_vars</a> :: [<a href="Var.html#t:EvVar">EvVar</a>]</li><li><a href="#v:abs_exports">abs_exports</a> :: [<a href="HsBinds.html#t:ABExport">ABExport</a> idL]</li><li><a href="#v:abs_ev_binds">abs_ev_binds</a> :: <a href="TcEvidence.html#t:TcEvBinds">TcEvBinds</a></li><li><a href="#v:abs_binds">abs_binds</a> :: <a href="HsBinds.html#t:LHsBinds">LHsBinds</a> idL</li></ul> }</li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:ABExport">ABExport</a> id = <a href="#v:ABE">ABE</a> {<ul class="subs"><li><a href="#v:abe_poly">abe_poly</a> :: id</li><li><a href="#v:abe_mono">abe_mono</a> :: id</li><li><a href="#v:abe_wrap">abe_wrap</a> :: <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a></li><li><a href="#v:abe_prags">abe_prags</a> :: <a href="HsBinds.html#t:TcSpecPrags">TcSpecPrags</a></li></ul>}</li><li class="src short"><a href="#v:placeHolderNames">placeHolderNames</a> :: <a href="NameSet.html#t:NameSet">NameSet</a></li><li class="src short"><a href="#v:pprLHsBinds">pprLHsBinds</a> :: (<a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> idL, <a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> idR) => <a href="HsBinds.html#t:LHsBindsLR">LHsBindsLR</a> idL idR -> <a href="Outputable.html#t:SDoc">SDoc</a></li><li class="src short"><a href="#v:pprLHsBindsForUser">pprLHsBindsForUser</a> :: (<a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> idL, <a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> idR, <a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> id2) => <a href="HsBinds.html#t:LHsBindsLR">LHsBindsLR</a> idL idR -> [<a href="HsBinds.html#t:LSig">LSig</a> id2] -> [<a href="Outputable.html#t:SDoc">SDoc</a>]</li><li class="src short"><a href="#v:pprDeclList">pprDeclList</a> :: [<a href="Outputable.html#t:SDoc">SDoc</a>] -> <a href="Outputable.html#t:SDoc">SDoc</a></li><li class="src short"><a href="#v:emptyLocalBinds">emptyLocalBinds</a> :: <a href="HsBinds.html#t:HsLocalBindsLR">HsLocalBindsLR</a> a b</li><li class="src short"><a href="#v:isEmptyLocalBinds">isEmptyLocalBinds</a> :: <a href="HsBinds.html#t:HsLocalBindsLR">HsLocalBindsLR</a> a b -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isEmptyValBinds">isEmptyValBinds</a> :: <a href="HsBinds.html#t:HsValBindsLR">HsValBindsLR</a> a b -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:emptyValBindsIn">emptyValBindsIn</a> :: <a href="HsBinds.html#t:HsValBindsLR">HsValBindsLR</a> a b</li><li class="src short"><a href="#v:emptyValBindsOut">emptyValBindsOut</a> :: <a href="HsBinds.html#t:HsValBindsLR">HsValBindsLR</a> a b</li><li class="src short"><a href="#v:emptyLHsBinds">emptyLHsBinds</a> :: <a href="HsBinds.html#t:LHsBindsLR">LHsBindsLR</a> idL idR</li><li class="src short"><a href="#v:isEmptyLHsBinds">isEmptyLHsBinds</a> :: <a href="HsBinds.html#t:LHsBindsLR">LHsBindsLR</a> idL idR -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:plusHsValBinds">plusHsValBinds</a> :: <a href="HsBinds.html#t:HsValBinds">HsValBinds</a> a -> <a href="HsBinds.html#t:HsValBinds">HsValBinds</a> a -> <a href="HsBinds.html#t:HsValBinds">HsValBinds</a> a</li><li class="src short"><a href="#v:getTypeSigNames">getTypeSigNames</a> :: <a href="HsBinds.html#t:HsValBinds">HsValBinds</a> a -> <a href="NameSet.html#t:NameSet">NameSet</a></li><li class="src short"><a href="#v:ppr_monobind">ppr_monobind</a> :: (<a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> idL, <a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> idR) => <a href="HsBinds.html#t:HsBindLR">HsBindLR</a> idL idR -> <a href="Outputable.html#t:SDoc">SDoc</a></li><li class="src short"><a href="#v:pprTicks">pprTicks</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:HsIPBinds">HsIPBinds</a> id = <a href="#v:IPBinds">IPBinds</a> [<a href="HsBinds.html#t:LIPBind">LIPBind</a> id] <a href="TcEvidence.html#t:TcEvBinds">TcEvBinds</a></li><li class="src short"><a href="#v:isEmptyIPBinds">isEmptyIPBinds</a> :: <a href="HsBinds.html#t:HsIPBinds">HsIPBinds</a> id -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:LIPBind">LIPBind</a> id = <a href="SrcLoc.html#t:Located">Located</a> (<a href="HsBinds.html#t:IPBind">IPBind</a> id)</li><li class="src short"><span class="keyword">data</span> <a href="#t:IPBind">IPBind</a> id = <a href="#v:IPBind">IPBind</a> (<a href="BasicTypes.html#t:IPName">IPName</a> id) (<a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id)</li><li class="src short"><span class="keyword">type</span> <a href="#t:LSig">LSig</a> name = <a href="SrcLoc.html#t:Located">Located</a> (<a href="HsBinds.html#t:Sig">Sig</a> name)</li><li class="src short"><span class="keyword">data</span> <a href="#t:Sig">Sig</a> name<ul class="subs"><li>= <a href="#v:TypeSig">TypeSig</a> [<a href="SrcLoc.html#t:Located">Located</a> name] (<a href="HsTypes.html#t:LHsType">LHsType</a> name) </li><li>| <a href="#v:GenericSig">GenericSig</a> [<a href="SrcLoc.html#t:Located">Located</a> name] (<a href="HsTypes.html#t:LHsType">LHsType</a> name) </li><li>| <a href="#v:IdSig">IdSig</a> <a href="Var.html#t:Id">Id</a> </li><li>| <a href="#v:FixSig">FixSig</a> (<a href="HsBinds.html#t:FixitySig">FixitySig</a> name) </li><li>| <a href="#v:InlineSig">InlineSig</a> (<a href="SrcLoc.html#t:Located">Located</a> name) <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> </li><li>| <a href="#v:SpecSig">SpecSig</a> (<a href="SrcLoc.html#t:Located">Located</a> name) (<a href="HsTypes.html#t:LHsType">LHsType</a> name) <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> </li><li>| <a href="#v:SpecInstSig">SpecInstSig</a> (<a href="HsTypes.html#t:LHsType">LHsType</a> name) </li></ul></li><li class="src short"><span class="keyword">type</span> <a href="#t:LFixitySig">LFixitySig</a> name = <a href="SrcLoc.html#t:Located">Located</a> (<a href="HsBinds.html#t:FixitySig">FixitySig</a> name)</li><li class="src short"><span class="keyword">data</span> <a href="#t:FixitySig">FixitySig</a> name = <a href="#v:FixitySig">FixitySig</a> (<a href="SrcLoc.html#t:Located">Located</a> name) <a href="BasicTypes.html#t:Fixity">Fixity</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:TcSpecPrags">TcSpecPrags</a> <ul class="subs"><li>= <a href="#v:IsDefaultMethod">IsDefaultMethod</a> </li><li>| <a href="#v:SpecPrags">SpecPrags</a> [<a href="HsBinds.html#t:LTcSpecPrag">LTcSpecPrag</a>] </li></ul></li><li class="src short"><span class="keyword">type</span> <a href="#t:LTcSpecPrag">LTcSpecPrag</a> = <a href="SrcLoc.html#t:Located">Located</a> <a href="HsBinds.html#t:TcSpecPrag">TcSpecPrag</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:TcSpecPrag">TcSpecPrag</a> = <a href="#v:SpecPrag">SpecPrag</a> <a href="Var.html#t:Id">Id</a> <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a> <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></li><li class="src short"><a href="#v:noSpecPrags">noSpecPrags</a> :: <a href="HsBinds.html#t:TcSpecPrags">TcSpecPrags</a></li><li class="src short"><a href="#v:hasSpecPrags">hasSpecPrags</a> :: <a href="HsBinds.html#t:TcSpecPrags">TcSpecPrags</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isDefaultMethod">isDefaultMethod</a> :: <a href="HsBinds.html#t:TcSpecPrags">TcSpecPrags</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isFixityLSig">isFixityLSig</a> :: <a href="HsBinds.html#t:LSig">LSig</a> name -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isVanillaLSig">isVanillaLSig</a> :: <a href="HsBinds.html#t:LSig">LSig</a> name -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isTypeLSig">isTypeLSig</a> :: <a href="HsBinds.html#t:LSig">LSig</a> name -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isSpecLSig">isSpecLSig</a> :: <a href="HsBinds.html#t:LSig">LSig</a> name -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isSpecInstLSig">isSpecInstLSig</a> :: <a href="HsBinds.html#t:LSig">LSig</a> name -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isPragLSig">isPragLSig</a> :: <a href="HsBinds.html#t:LSig">LSig</a> name -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isInlineLSig">isInlineLSig</a> :: <a href="HsBinds.html#t:LSig">LSig</a> name -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:hsSigDoc">hsSigDoc</a> :: <a href="HsBinds.html#t:Sig">Sig</a> name -> <a href="Outputable.html#t:SDoc">SDoc</a></li><li class="src short"><a href="#v:overlapHsSig">overlapHsSig</a> :: <a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> a => <a href="HsBinds.html#t:LSig">LSig</a> a -> <a href="HsBinds.html#t:LSig">LSig</a> a -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:ppr_sig">ppr_sig</a> :: <a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> name => <a href="HsBinds.html#t:Sig">Sig</a> name -> <a href="Outputable.html#t:SDoc">SDoc</a></li><li class="src short"><a href="#v:pragBrackets">pragBrackets</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></li><li class="src short"><a href="#v:pprVarSig">pprVarSig</a> :: <a href="Outputable.html#t:Outputable">Outputable</a> id => [id] -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></li><li class="src short"><a href="#v:pprSpec">pprSpec</a> :: <a href="Outputable.html#t:Outputable">Outputable</a> id => id -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></li><li class="src short"><a href="#v:pprTcSpecPrags">pprTcSpecPrags</a> :: <a href="HsBinds.html#t:TcSpecPrags">TcSpecPrags</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:HsLocalBinds" class="def">HsLocalBinds</a> id = <a href="HsBinds.html#t:HsLocalBindsLR">HsLocalBindsLR</a> id id</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:HsLocalBindsLR" class="def">HsLocalBindsLR</a> idL idR </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:HsValBinds" class="def">HsValBinds</a> (<a href="HsBinds.html#t:HsValBindsLR">HsValBindsLR</a> idL idR)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsIPBinds" class="def">HsIPBinds</a> (<a href="HsBinds.html#t:HsIPBinds">HsIPBinds</a> idR)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:EmptyLocalBinds" class="def">EmptyLocalBinds</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:HsLocalBindsLR" class="caption collapser" onclick="toggleSection('i:HsLocalBindsLR')">Instances</p><div id="section.i:HsLocalBindsLR" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable2">Typeable2</a> <a href="HsBinds.html#t:HsLocalBindsLR">HsLocalBindsLR</a></td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> idL, <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> idR) => <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> (<a href="HsBinds.html#t:HsLocalBindsLR">HsLocalBindsLR</a> idL idR)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> idL, <a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> idR) => <a href="Outputable.html#t:Outputable">Outputable</a> (<a href="HsBinds.html#t:HsLocalBindsLR">HsLocalBindsLR</a> idL idR)</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:HsValBinds" class="def">HsValBinds</a> id = <a href="HsBinds.html#t:HsValBindsLR">HsValBindsLR</a> id id</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:HsValBindsLR" class="def">HsValBindsLR</a> idL idR </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:ValBindsIn" class="def">ValBindsIn</a> (<a href="HsBinds.html#t:LHsBindsLR">LHsBindsLR</a> idL idR) [<a href="HsBinds.html#t:LSig">LSig</a> idR]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ValBindsOut" class="def">ValBindsOut</a> [(<a href="BasicTypes.html#t:RecFlag">RecFlag</a>, <a href="HsBinds.html#t:LHsBinds">LHsBinds</a> idL)] [<a href="HsBinds.html#t:LSig">LSig</a> <a href="Name.html#t:Name">Name</a>]</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:HsValBindsLR" class="caption collapser" onclick="toggleSection('i:HsValBindsLR')">Instances</p><div id="section.i:HsValBindsLR" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable2">Typeable2</a> <a href="HsBinds.html#t:HsValBindsLR">HsValBindsLR</a></td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> idL, <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> idR) => <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> (<a href="HsBinds.html#t:HsValBindsLR">HsValBindsLR</a> idL idR)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> idL, <a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> idR) => <a href="Outputable.html#t:Outputable">Outputable</a> (<a href="HsBinds.html#t:HsValBindsLR">HsValBindsLR</a> idL idR)</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:LHsBind" class="def">LHsBind</a> id = <a href="HsBinds.html#t:LHsBindLR">LHsBindLR</a> id id</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:LHsBinds" class="def">LHsBinds</a> id = <a href="HsBinds.html#t:LHsBindsLR">LHsBindsLR</a> id id</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:HsBind" class="def">HsBind</a> id = <a href="HsBinds.html#t:HsBindLR">HsBindLR</a> id id</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:LHsBindsLR" class="def">LHsBindsLR</a> idL idR = <a href="Bag.html#t:Bag">Bag</a> (<a href="HsBinds.html#t:LHsBindLR">LHsBindLR</a> idL idR)</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:LHsBindLR" class="def">LHsBindLR</a> idL idR = <a href="SrcLoc.html#t:Located">Located</a> (<a href="HsBinds.html#t:HsBindLR">HsBindLR</a> idL idR)</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:HsBindLR" class="def">HsBindLR</a> idL idR </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:FunBind" class="def">FunBind</a></td><td class="doc"><p>FunBind is used for both functions <code>f x = e</code>
and variables <code>f = x -> e</code>
</p><p>Reason 1: Special case for type inference: see <code><a href="TcBinds.html#v:tcMonoBinds">tcMonoBinds</a></code>.
</p><p>Reason 2: Instance decls can only have FunBinds, which is convenient.
If you change this, you'll need to change e.g. rnMethodBinds
</p><p>But note that the form <code>f :: a->a = ...</code>
parses as a pattern binding, just like
<code>(f :: a -> a) = ... </code>
</p></td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:fun_id" class="def">fun_id</a> :: <a href="SrcLoc.html#t:Located">Located</a> idL</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:fun_infix" class="def">fun_infix</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></dt><dd class="doc"><p>True => infix declaration
</p></dd><dt class="src"><a name="v:fun_matches" class="def">fun_matches</a> :: <a href="HsExpr.html#t:MatchGroup">MatchGroup</a> idR</dt><dd class="doc"><p>The payload
</p></dd><dt class="src"><a name="v:fun_co_fn" class="def">fun_co_fn</a> :: <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a></dt><dd class="doc"><p>Coercion from the type of the MatchGroup to the type of
the Id. Example:
<code>
f :: Int -> forall a. a -> a
f x y = y
</code>
Then the MatchGroup will have type (Int -> a' -> a')
(with a free type variable a'). The coercion will take
a CoreExpr of this type and convert it to a CoreExpr of
type Int -> forall a'. a' -> a'
Notice that the coercion captures the free a'.
</p></dd><dt class="src"><a name="v:bind_fvs" class="def">bind_fvs</a> :: <a href="NameSet.html#t:NameSet">NameSet</a></dt><dd class="doc"><p>After the renamer, this contains the locally-bound
free variables of this defn.
See Note [Bind free vars]
</p></dd><dt class="src"><a name="v:fun_tick" class="def">fun_tick</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="CoreSyn.html#t:Tickish">Tickish</a> <a href="Var.html#t:Id">Id</a>)</dt><dd class="doc"><p>Tick to put on the rhs, if any
</p></dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:PatBind" class="def">PatBind</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:pat_lhs" class="def">pat_lhs</a> :: <a href="HsPat.html#t:LPat">LPat</a> idL</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:pat_rhs" class="def">pat_rhs</a> :: <a href="HsExpr.html#t:GRHSs">GRHSs</a> idR</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:pat_rhs_ty" class="def">pat_rhs_ty</a> :: <a href="HsLit.html#t:PostTcType">PostTcType</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:bind_fvs" class="def">bind_fvs</a> :: <a href="NameSet.html#t:NameSet">NameSet</a></dt><dd class="doc"><p>After the renamer, this contains the locally-bound
free variables of this defn.
See Note [Bind free vars]
</p></dd><dt class="src"><a name="v:pat_ticks" class="def">pat_ticks</a> :: (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="CoreSyn.html#t:Tickish">Tickish</a> <a href="Var.html#t:Id">Id</a>), [<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="CoreSyn.html#t:Tickish">Tickish</a> <a href="Var.html#t:Id">Id</a>)])</dt><dd class="doc"><p>Tick to put on the rhs, if any, and ticks to put on
the bound variables.
</p></dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:VarBind" class="def">VarBind</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:var_id" class="def">var_id</a> :: idL</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:var_rhs" class="def">var_rhs</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> idR</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:var_inline" class="def">var_inline</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:AbsBinds" class="def">AbsBinds</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:abs_tvs" class="def">abs_tvs</a> :: [<a href="Var.html#t:TyVar">TyVar</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:abs_ev_vars" class="def">abs_ev_vars</a> :: [<a href="Var.html#t:EvVar">EvVar</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:abs_exports" class="def">abs_exports</a> :: [<a href="HsBinds.html#t:ABExport">ABExport</a> idL]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:abs_ev_binds" class="def">abs_ev_binds</a> :: <a href="TcEvidence.html#t:TcEvBinds">TcEvBinds</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:abs_binds" class="def">abs_binds</a> :: <a href="HsBinds.html#t:LHsBinds">LHsBinds</a> idL</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:HsBindLR" class="caption collapser" onclick="toggleSection('i:HsBindLR')">Instances</p><div id="section.i:HsBindLR" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable2">Typeable2</a> <a href="HsBinds.html#t:HsBindLR">HsBindLR</a></td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> idL, <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> idR) => <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> (<a href="HsBinds.html#t:HsBindLR">HsBindLR</a> idL idR)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> idL, <a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> idR) => <a href="Outputable.html#t:Outputable">Outputable</a> (<a href="HsBinds.html#t:HsBindLR">HsBindLR</a> idL idR)</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:ABExport" class="def">ABExport</a> id </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:ABE" class="def">ABE</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:abe_poly" class="def">abe_poly</a> :: id</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:abe_mono" class="def">abe_mono</a> :: id</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:abe_wrap" class="def">abe_wrap</a> :: <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:abe_prags" class="def">abe_prags</a> :: <a href="HsBinds.html#t:TcSpecPrags">TcSpecPrags</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:ABExport" class="caption collapser" onclick="toggleSection('i:ABExport')">Instances</p><div id="section.i:ABExport" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> <a href="HsBinds.html#t:ABExport">ABExport</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> id => <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> (<a href="HsBinds.html#t:ABExport">ABExport</a> id)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> id => <a href="Outputable.html#t:Outputable">Outputable</a> (<a href="HsBinds.html#t:ABExport">ABExport</a> id)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:placeHolderNames" class="def">placeHolderNames</a> :: <a href="NameSet.html#t:NameSet">NameSet</a></p></div><div class="top"><p class="src"><a name="v:pprLHsBinds" class="def">pprLHsBinds</a> :: (<a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> idL, <a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> idR) => <a href="HsBinds.html#t:LHsBindsLR">LHsBindsLR</a> idL idR -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprLHsBindsForUser" class="def">pprLHsBindsForUser</a> :: (<a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> idL, <a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> idR, <a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> id2) => <a href="HsBinds.html#t:LHsBindsLR">LHsBindsLR</a> idL idR -> [<a href="HsBinds.html#t:LSig">LSig</a> id2] -> [<a href="Outputable.html#t:SDoc">SDoc</a>]</p></div><div class="top"><p class="src"><a name="v:pprDeclList" class="def">pprDeclList</a> :: [<a href="Outputable.html#t:SDoc">SDoc</a>] -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:emptyLocalBinds" class="def">emptyLocalBinds</a> :: <a href="HsBinds.html#t:HsLocalBindsLR">HsLocalBindsLR</a> a b</p></div><div class="top"><p class="src"><a name="v:isEmptyLocalBinds" class="def">isEmptyLocalBinds</a> :: <a href="HsBinds.html#t:HsLocalBindsLR">HsLocalBindsLR</a> a b -> <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:isEmptyValBinds" class="def">isEmptyValBinds</a> :: <a href="HsBinds.html#t:HsValBindsLR">HsValBindsLR</a> a b -> <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:emptyValBindsIn" class="def">emptyValBindsIn</a> :: <a href="HsBinds.html#t:HsValBindsLR">HsValBindsLR</a> a b</p></div><div class="top"><p class="src"><a name="v:emptyValBindsOut" class="def">emptyValBindsOut</a> :: <a href="HsBinds.html#t:HsValBindsLR">HsValBindsLR</a> a b</p></div><div class="top"><p class="src"><a name="v:emptyLHsBinds" class="def">emptyLHsBinds</a> :: <a href="HsBinds.html#t:LHsBindsLR">LHsBindsLR</a> idL idR</p></div><div class="top"><p class="src"><a name="v:isEmptyLHsBinds" class="def">isEmptyLHsBinds</a> :: <a href="HsBinds.html#t:LHsBindsLR">LHsBindsLR</a> idL idR -> <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:plusHsValBinds" class="def">plusHsValBinds</a> :: <a href="HsBinds.html#t:HsValBinds">HsValBinds</a> a -> <a href="HsBinds.html#t:HsValBinds">HsValBinds</a> a -> <a href="HsBinds.html#t:HsValBinds">HsValBinds</a> a</p></div><div class="top"><p class="src"><a name="v:getTypeSigNames" class="def">getTypeSigNames</a> :: <a href="HsBinds.html#t:HsValBinds">HsValBinds</a> a -> <a href="NameSet.html#t:NameSet">NameSet</a></p></div><div class="top"><p class="src"><a name="v:ppr_monobind" class="def">ppr_monobind</a> :: (<a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> idL, <a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> idR) => <a href="HsBinds.html#t:HsBindLR">HsBindLR</a> idL idR -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprTicks" class="def">pprTicks</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:HsIPBinds" class="def">HsIPBinds</a> id </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IPBinds" class="def">IPBinds</a> [<a href="HsBinds.html#t:LIPBind">LIPBind</a> id] <a href="TcEvidence.html#t:TcEvBinds">TcEvBinds</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:HsIPBinds" class="caption collapser" onclick="toggleSection('i:HsIPBinds')">Instances</p><div id="section.i:HsIPBinds" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> <a href="HsBinds.html#t:HsIPBinds">HsIPBinds</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> id => <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> (<a href="HsBinds.html#t:HsIPBinds">HsIPBinds</a> id)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> id => <a href="Outputable.html#t:Outputable">Outputable</a> (<a href="HsBinds.html#t:HsIPBinds">HsIPBinds</a> id)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:isEmptyIPBinds" class="def">isEmptyIPBinds</a> :: <a href="HsBinds.html#t:HsIPBinds">HsIPBinds</a> id -> <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">type</span> <a name="t:LIPBind" class="def">LIPBind</a> id = <a href="SrcLoc.html#t:Located">Located</a> (<a href="HsBinds.html#t:IPBind">IPBind</a> id)</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:IPBind" class="def">IPBind</a> id </p><div class="doc"><p>Implicit parameter bindings.
</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IPBind" class="def">IPBind</a> (<a href="BasicTypes.html#t:IPName">IPName</a> id) (<a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id)</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:IPBind" class="caption collapser" onclick="toggleSection('i:IPBind')">Instances</p><div id="section.i:IPBind" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> <a href="HsBinds.html#t:IPBind">IPBind</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> id => <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> (<a href="HsBinds.html#t:IPBind">IPBind</a> id)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> id => <a href="Outputable.html#t:Outputable">Outputable</a> (<a href="HsBinds.html#t:IPBind">IPBind</a> id)</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:LSig" class="def">LSig</a> name = <a href="SrcLoc.html#t:Located">Located</a> (<a href="HsBinds.html#t:Sig">Sig</a> name)</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Sig" class="def">Sig</a> name </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:TypeSig" class="def">TypeSig</a> [<a href="SrcLoc.html#t:Located">Located</a> name] (<a href="HsTypes.html#t:LHsType">LHsType</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:GenericSig" class="def">GenericSig</a> [<a href="SrcLoc.html#t:Located">Located</a> name] (<a href="HsTypes.html#t:LHsType">LHsType</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IdSig" class="def">IdSig</a> <a href="Var.html#t:Id">Id</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:FixSig" class="def">FixSig</a> (<a href="HsBinds.html#t:FixitySig">FixitySig</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:InlineSig" class="def">InlineSig</a> (<a href="SrcLoc.html#t:Located">Located</a> name) <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SpecSig" class="def">SpecSig</a> (<a href="SrcLoc.html#t:Located">Located</a> name) (<a href="HsTypes.html#t:LHsType">LHsType</a> name) <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SpecInstSig" class="def">SpecInstSig</a> (<a href="HsTypes.html#t:LHsType">LHsType</a> name)</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Sig" class="caption collapser" onclick="toggleSection('i:Sig')">Instances</p><div id="section.i:Sig" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> <a href="HsBinds.html#t:Sig">Sig</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> name => <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> (<a href="HsBinds.html#t:Sig">Sig</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> name => <a href="Outputable.html#t:Outputable">Outputable</a> (<a href="HsBinds.html#t:Sig">Sig</a> name)</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:LFixitySig" class="def">LFixitySig</a> name = <a href="SrcLoc.html#t:Located">Located</a> (<a href="HsBinds.html#t:FixitySig">FixitySig</a> name)</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:FixitySig" class="def">FixitySig</a> name </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:FixitySig" class="def">FixitySig</a> (<a href="SrcLoc.html#t:Located">Located</a> name) <a href="BasicTypes.html#t:Fixity">Fixity</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:FixitySig" class="caption collapser" onclick="toggleSection('i:FixitySig')">Instances</p><div id="section.i:FixitySig" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> <a href="HsBinds.html#t:FixitySig">FixitySig</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> name => <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> (<a href="HsBinds.html#t:FixitySig">FixitySig</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> name => <a href="Outputable.html#t:Outputable">Outputable</a> (<a href="HsBinds.html#t:FixitySig">FixitySig</a> name)</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:TcSpecPrags" class="def">TcSpecPrags</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IsDefaultMethod" class="def">IsDefaultMethod</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SpecPrags" class="def">SpecPrags</a> [<a href="HsBinds.html#t:LTcSpecPrag">LTcSpecPrag</a>]</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:TcSpecPrags" class="caption collapser" onclick="toggleSection('i:TcSpecPrags')">Instances</p><div id="section.i:TcSpecPrags" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="HsBinds.html#t:TcSpecPrags">TcSpecPrags</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="HsBinds.html#t:TcSpecPrags">TcSpecPrags</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:LTcSpecPrag" class="def">LTcSpecPrag</a> = <a href="SrcLoc.html#t:Located">Located</a> <a href="HsBinds.html#t:TcSpecPrag">TcSpecPrag</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:TcSpecPrag" class="def">TcSpecPrag</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:SpecPrag" class="def">SpecPrag</a> <a href="Var.html#t:Id">Id</a> <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a> <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:TcSpecPrag" class="caption collapser" onclick="toggleSection('i:TcSpecPrag')">Instances</p><div id="section.i:TcSpecPrag" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="HsBinds.html#t:TcSpecPrag">TcSpecPrag</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="HsBinds.html#t:TcSpecPrag">TcSpecPrag</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="HsBinds.html#t:TcSpecPrag">TcSpecPrag</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:noSpecPrags" class="def">noSpecPrags</a> :: <a href="HsBinds.html#t:TcSpecPrags">TcSpecPrags</a></p></div><div class="top"><p class="src"><a name="v:hasSpecPrags" class="def">hasSpecPrags</a> :: <a href="HsBinds.html#t:TcSpecPrags">TcSpecPrags</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:isDefaultMethod" class="def">isDefaultMethod</a> :: <a href="HsBinds.html#t:TcSpecPrags">TcSpecPrags</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:isFixityLSig" class="def">isFixityLSig</a> :: <a href="HsBinds.html#t:LSig">LSig</a> name -> <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:isVanillaLSig" class="def">isVanillaLSig</a> :: <a href="HsBinds.html#t:LSig">LSig</a> name -> <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:isTypeLSig" class="def">isTypeLSig</a> :: <a href="HsBinds.html#t:LSig">LSig</a> name -> <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:isSpecLSig" class="def">isSpecLSig</a> :: <a href="HsBinds.html#t:LSig">LSig</a> name -> <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:isSpecInstLSig" class="def">isSpecInstLSig</a> :: <a href="HsBinds.html#t:LSig">LSig</a> name -> <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:isPragLSig" class="def">isPragLSig</a> :: <a href="HsBinds.html#t:LSig">LSig</a> name -> <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:isInlineLSig" class="def">isInlineLSig</a> :: <a href="HsBinds.html#t:LSig">LSig</a> name -> <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:hsSigDoc" class="def">hsSigDoc</a> :: <a href="HsBinds.html#t:Sig">Sig</a> name -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:overlapHsSig" class="def">overlapHsSig</a> :: <a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> a => <a href="HsBinds.html#t:LSig">LSig</a> a -> <a href="HsBinds.html#t:LSig">LSig</a> 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:ppr_sig" class="def">ppr_sig</a> :: <a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> name => <a href="HsBinds.html#t:Sig">Sig</a> name -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pragBrackets" class="def">pragBrackets</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprVarSig" class="def">pprVarSig</a> :: <a href="Outputable.html#t:Outputable">Outputable</a> id => [id] -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprSpec" class="def">pprSpec</a> :: <a href="Outputable.html#t:Outputable">Outputable</a> id => id -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprTcSpecPrags" class="def">pprTcSpecPrags</a> :: <a href="HsBinds.html#t:TcSpecPrags">TcSpecPrags</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
>
2896
