<!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>HsUtils</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_HsUtils.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">HsUtils</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"><a href="#v:mkHsPar">mkHsPar</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</li><li class="src short"><a href="#v:mkHsApp">mkHsApp</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> name -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> name -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> name</li><li class="src short"><a href="#v:mkHsConApp">mkHsConApp</a> :: <a href="DataCon.html#t:DataCon">DataCon</a> -> [<a href="Type.html#t:Type">Type</a>] -> [<a href="HsExpr.html#t:HsExpr">HsExpr</a> <a href="Var.html#t:Id">Id</a>] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="Var.html#t:Id">Id</a></li><li class="src short"><a href="#v:mkSimpleHsAlt">mkSimpleHsAlt</a> :: <a href="HsPat.html#t:LPat">LPat</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LMatch">LMatch</a> id</li><li class="src short"><a href="#v:mkSimpleMatch">mkSimpleMatch</a> :: [<a href="HsPat.html#t:LPat">LPat</a> id] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LMatch">LMatch</a> id</li><li class="src short"><a href="#v:unguardedGRHSs">unguardedGRHSs</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:GRHSs">GRHSs</a> id</li><li class="src short"><a href="#v:unguardedRHS">unguardedRHS</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> [<a href="HsExpr.html#t:LGRHS">LGRHS</a> id]</li><li class="src short"><a href="#v:mkMatchGroup">mkMatchGroup</a> :: [<a href="HsExpr.html#t:LMatch">LMatch</a> id] -> <a href="HsExpr.html#t:MatchGroup">MatchGroup</a> id</li><li class="src short"><a href="#v:mkMatch">mkMatch</a> :: [<a href="HsPat.html#t:LPat">LPat</a> id] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsBinds.html#t:HsLocalBinds">HsLocalBinds</a> id -> <a href="HsExpr.html#t:LMatch">LMatch</a> id</li><li class="src short"><a href="#v:mkHsLam">mkHsLam</a> :: [<a href="HsPat.html#t:LPat">LPat</a> id] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</li><li class="src short"><a href="#v:mkHsIf">mkHsIf</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:HsExpr">HsExpr</a> id</li><li class="src short"><a href="#v:mkHsWrap">mkHsWrap</a> :: <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a> -> <a href="HsExpr.html#t:HsExpr">HsExpr</a> id -> <a href="HsExpr.html#t:HsExpr">HsExpr</a> id</li><li class="src short"><a href="#v:mkLHsWrap">mkLHsWrap</a> :: <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</li><li class="src short"><a href="#v:mkHsWrapCo">mkHsWrapCo</a> :: <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="HsExpr.html#t:HsExpr">HsExpr</a> id -> <a href="HsExpr.html#t:HsExpr">HsExpr</a> id</li><li class="src short"><a href="#v:mkLHsWrapCo">mkLHsWrapCo</a> :: <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</li><li class="src short"><a href="#v:coToHsWrapper">coToHsWrapper</a> :: <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a></li><li class="src short"><a href="#v:mkHsDictLet">mkHsDictLet</a> :: <a href="TcEvidence.html#t:TcEvBinds">TcEvBinds</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="Var.html#t:Id">Id</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="Var.html#t:Id">Id</a></li><li class="src short"><a href="#v:mkHsLams">mkHsLams</a> :: [<a href="Var.html#t:TyVar">TyVar</a>] -> [<a href="Var.html#t:EvVar">EvVar</a>] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="Var.html#t:Id">Id</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="Var.html#t:Id">Id</a></li><li class="src short"><a href="#v:mkHsOpApp">mkHsOpApp</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:HsExpr">HsExpr</a> id</li><li class="src short"><a href="#v:mkHsDo">mkHsDo</a> :: <a href="HsExpr.html#t:HsStmtContext">HsStmtContext</a> <a href="Name.html#t:Name">Name</a> -> [<a href="HsExpr.html#t:LStmt">LStmt</a> id] -> <a href="HsExpr.html#t:HsExpr">HsExpr</a> id</li><li class="src short"><a href="#v:mkHsComp">mkHsComp</a> :: <a href="HsExpr.html#t:HsStmtContext">HsStmtContext</a> <a href="Name.html#t:Name">Name</a> -> [<a href="HsExpr.html#t:LStmt">LStmt</a> id] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:HsExpr">HsExpr</a> id</li><li class="src short"><a href="#v:mkHsWrapPat">mkHsWrapPat</a> :: <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a> -> <a href="HsPat.html#t:Pat">Pat</a> id -> <a href="Type.html#t:Type">Type</a> -> <a href="HsPat.html#t:Pat">Pat</a> id</li><li class="src short"><a href="#v:mkHsWrapPatCo">mkHsWrapPatCo</a> :: <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="HsPat.html#t:Pat">Pat</a> id -> <a href="Type.html#t:Type">Type</a> -> <a href="HsPat.html#t:Pat">Pat</a> id</li><li class="src short"><a href="#v:mkLHsPar">mkLHsPar</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> name -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> name</li><li class="src short"><a href="#v:nlHsTyApp">nlHsTyApp</a> :: name -> [<a href="Type.html#t:Type">Type</a>] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> name</li><li class="src short"><a href="#v:nlHsVar">nlHsVar</a> :: id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</li><li class="src short"><a href="#v:nlHsLit">nlHsLit</a> :: <a href="HsLit.html#t:HsLit">HsLit</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</li><li class="src short"><a href="#v:nlHsApp">nlHsApp</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</li><li class="src short"><a href="#v:nlHsApps">nlHsApps</a> :: id -> [<a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</li><li class="src short"><a href="#v:nlHsIntLit">nlHsIntLit</a> :: <a href="../base-4.5.1.0/Prelude.html#t:Integer">Integer</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</li><li class="src short"><a href="#v:nlHsVarApps">nlHsVarApps</a> :: id -> [id] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</li><li class="src short"><a href="#v:nlHsDo">nlHsDo</a> :: <a href="HsExpr.html#t:HsStmtContext">HsStmtContext</a> <a href="Name.html#t:Name">Name</a> -> [<a href="HsExpr.html#t:LStmt">LStmt</a> id] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</li><li class="src short"><a href="#v:nlHsOpApp">nlHsOpApp</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</li><li class="src short"><a href="#v:nlHsLam">nlHsLam</a> :: <a href="HsExpr.html#t:LMatch">LMatch</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</li><li class="src short"><a href="#v:nlHsPar">nlHsPar</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</li><li class="src short"><a href="#v:nlHsIf">nlHsIf</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</li><li class="src short"><a href="#v:nlHsCase">nlHsCase</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> [<a href="HsExpr.html#t:LMatch">LMatch</a> id] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</li><li class="src short"><a href="#v:nlList">nlList</a> :: [<a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</li><li class="src short"><a href="#v:mkLHsTupleExpr">mkLHsTupleExpr</a> :: [<a href="HsExpr.html#t:LHsExpr">LHsExpr</a> a] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> a</li><li class="src short"><a href="#v:mkLHsVarTuple">mkLHsVarTuple</a> :: [a] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> a</li><li class="src short"><a href="#v:missingTupArg">missingTupArg</a> :: <a href="HsExpr.html#t:HsTupArg">HsTupArg</a> a</li><li class="src short"><a href="#v:mkFunBind">mkFunBind</a> :: <a href="SrcLoc.html#t:Located">Located</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> [<a href="HsExpr.html#t:LMatch">LMatch</a> <a href="RdrName.html#t:RdrName">RdrName</a>] -> <a href="HsBinds.html#t:HsBind">HsBind</a> <a href="RdrName.html#t:RdrName">RdrName</a></li><li class="src short"><a href="#v:mkVarBind">mkVarBind</a> :: id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsBinds.html#t:LHsBind">LHsBind</a> id</li><li class="src short"><a href="#v:mkHsVarBind">mkHsVarBind</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="HsBinds.html#t:LHsBind">LHsBind</a> <a href="RdrName.html#t:RdrName">RdrName</a></li><li class="src short"><a href="#v:mk_easy_FunBind">mk_easy_FunBind</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="RdrName.html#t:RdrName">RdrName</a> -> [<a href="HsPat.html#t:LPat">LPat</a> <a href="RdrName.html#t:RdrName">RdrName</a>] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="HsBinds.html#t:LHsBind">LHsBind</a> <a href="RdrName.html#t:RdrName">RdrName</a></li><li class="src short"><a href="#v:mkTopFunBind">mkTopFunBind</a> :: <a href="SrcLoc.html#t:Located">Located</a> <a href="Name.html#t:Name">Name</a> -> [<a href="HsExpr.html#t:LMatch">LMatch</a> <a href="Name.html#t:Name">Name</a>] -> <a href="HsBinds.html#t:HsBind">HsBind</a> <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:mkHsIntegral">mkHsIntegral</a> :: <a href="../base-4.5.1.0/Prelude.html#t:Integer">Integer</a> -> <a href="HsLit.html#t:PostTcType">PostTcType</a> -> <a href="HsLit.html#t:HsOverLit">HsOverLit</a> id</li><li class="src short"><a href="#v:mkHsFractional">mkHsFractional</a> :: <a href="BasicTypes.html#t:FractionalLit">FractionalLit</a> -> <a href="HsLit.html#t:PostTcType">PostTcType</a> -> <a href="HsLit.html#t:HsOverLit">HsOverLit</a> id</li><li class="src short"><a href="#v:mkHsIsString">mkHsIsString</a> :: <a href="FastString.html#t:FastString">FastString</a> -> <a href="HsLit.html#t:PostTcType">PostTcType</a> -> <a href="HsLit.html#t:HsOverLit">HsOverLit</a> id</li><li class="src short"><a href="#v:mkHsString">mkHsString</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="HsLit.html#t:HsLit">HsLit</a></li><li class="src short"><a href="#v:mkNPat">mkNPat</a> :: <a href="HsLit.html#t:HsOverLit">HsOverLit</a> id -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="HsExpr.html#t:SyntaxExpr">SyntaxExpr</a> id) -> <a href="HsPat.html#t:Pat">Pat</a> id</li><li class="src short"><a href="#v:mkNPlusKPat">mkNPlusKPat</a> :: <a href="SrcLoc.html#t:Located">Located</a> id -> <a href="HsLit.html#t:HsOverLit">HsOverLit</a> id -> <a href="HsPat.html#t:Pat">Pat</a> id</li><li class="src short"><a href="#v:nlVarPat">nlVarPat</a> :: id -> <a href="HsPat.html#t:LPat">LPat</a> id</li><li class="src short"><a href="#v:nlLitPat">nlLitPat</a> :: <a href="HsLit.html#t:HsLit">HsLit</a> -> <a href="HsPat.html#t:LPat">LPat</a> id</li><li class="src short"><a href="#v:nlConVarPat">nlConVarPat</a> :: id -> [id] -> <a href="HsPat.html#t:LPat">LPat</a> id</li><li class="src short"><a href="#v:nlConPat">nlConPat</a> :: id -> [<a href="HsPat.html#t:LPat">LPat</a> id] -> <a href="HsPat.html#t:LPat">LPat</a> id</li><li class="src short"><a href="#v:nlInfixConPat">nlInfixConPat</a> :: id -> <a href="HsPat.html#t:LPat">LPat</a> id -> <a href="HsPat.html#t:LPat">LPat</a> id -> <a href="HsPat.html#t:LPat">LPat</a> id</li><li class="src short"><a href="#v:nlNullaryConPat">nlNullaryConPat</a> :: id -> <a href="HsPat.html#t:LPat">LPat</a> id</li><li class="src short"><a href="#v:nlWildConPat">nlWildConPat</a> :: <a href="DataCon.html#t:DataCon">DataCon</a> -> <a href="HsPat.html#t:LPat">LPat</a> <a href="RdrName.html#t:RdrName">RdrName</a></li><li class="src short"><a href="#v:nlWildPat">nlWildPat</a> :: <a href="HsPat.html#t:LPat">LPat</a> id</li><li class="src short"><a href="#v:nlTuplePat">nlTuplePat</a> :: [<a href="HsPat.html#t:LPat">LPat</a> id] -> <a href="BasicTypes.html#t:Boxity">Boxity</a> -> <a href="HsPat.html#t:LPat">LPat</a> id</li><li class="src short"><a href="#v:mkParPat">mkParPat</a> :: <a href="HsPat.html#t:LPat">LPat</a> name -> <a href="HsPat.html#t:LPat">LPat</a> name</li><li class="src short"><a href="#v:mkHsAppTy">mkHsAppTy</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> name -> <a href="HsTypes.html#t:LHsType">LHsType</a> name -> <a href="HsTypes.html#t:LHsType">LHsType</a> name</li><li class="src short"><a href="#v:userHsTyVarBndrs">userHsTyVarBndrs</a> :: [<a href="SrcLoc.html#t:Located">Located</a> name] -> [<a href="SrcLoc.html#t:Located">Located</a> (<a href="HsTypes.html#t:HsTyVarBndr">HsTyVarBndr</a> name)]</li><li class="src short"><a href="#v:nlHsAppTy">nlHsAppTy</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> name -> <a href="HsTypes.html#t:LHsType">LHsType</a> name -> <a href="HsTypes.html#t:LHsType">LHsType</a> name</li><li class="src short"><a href="#v:nlHsTyVar">nlHsTyVar</a> :: name -> <a href="HsTypes.html#t:LHsType">LHsType</a> name</li><li class="src short"><a href="#v:nlHsFunTy">nlHsFunTy</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> name -> <a href="HsTypes.html#t:LHsType">LHsType</a> name -> <a href="HsTypes.html#t:LHsType">LHsType</a> name</li><li class="src short"><a href="#v:nlHsTyConApp">nlHsTyConApp</a> :: name -> [<a href="HsTypes.html#t:LHsType">LHsType</a> name] -> <a href="HsTypes.html#t:LHsType">LHsType</a> name</li><li class="src short"><a href="#v:mkTransformStmt">mkTransformStmt</a> :: [<a href="HsExpr.html#t:LStmt">LStmt</a> idL] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> idR -> <a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR</li><li class="src short"><a href="#v:mkTransformByStmt">mkTransformByStmt</a> :: [<a href="HsExpr.html#t:LStmt">LStmt</a> idL] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> idR -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> idR -> <a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR</li><li class="src short"><a href="#v:mkExprStmt">mkExprStmt</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> idR -> <a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR</li><li class="src short"><a href="#v:mkBindStmt">mkBindStmt</a> :: <a href="HsPat.html#t:LPat">LPat</a> idL -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> idR -> <a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR</li><li class="src short"><a href="#v:mkLastStmt">mkLastStmt</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> idR -> <a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR</li><li class="src short"><a href="#v:emptyTransStmt">emptyTransStmt</a> :: <a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR</li><li class="src short"><a href="#v:mkGroupUsingStmt">mkGroupUsingStmt</a> :: [<a href="HsExpr.html#t:LStmt">LStmt</a> idL] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> idR -> <a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR</li><li class="src short"><a href="#v:mkGroupByUsingStmt">mkGroupByUsingStmt</a> :: [<a href="HsExpr.html#t:LStmt">LStmt</a> idL] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> idR -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> idR -> <a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR</li><li class="src short"><a href="#v:emptyRecStmt">emptyRecStmt</a> :: <a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR</li><li class="src short"><a href="#v:mkRecStmt">mkRecStmt</a> :: [<a href="HsExpr.html#t:LStmtLR">LStmtLR</a> idL idR] -> <a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR</li><li class="src short"><a href="#v:unqualSplice">unqualSplice</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></li><li class="src short"><a href="#v:mkHsSpliceTy">mkHsSpliceTy</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="HsTypes.html#t:HsType">HsType</a> <a href="RdrName.html#t:RdrName">RdrName</a></li><li class="src short"><a href="#v:mkHsSplice">mkHsSplice</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="HsExpr.html#t:HsSplice">HsSplice</a> <a href="RdrName.html#t:RdrName">RdrName</a></li><li class="src short"><a href="#v:mkHsQuasiQuote">mkHsQuasiQuote</a> :: <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="FastString.html#t:FastString">FastString</a> -> <a href="HsTypes.html#t:HsQuasiQuote">HsQuasiQuote</a> <a href="RdrName.html#t:RdrName">RdrName</a></li><li class="src short"><a href="#v:unqualQuasiQuote">unqualQuasiQuote</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></li><li class="src short"><a href="#v:noRebindableInfo">noRebindableInfo</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:collectLocalBinders">collectLocalBinders</a> :: <a href="HsBinds.html#t:HsLocalBindsLR">HsLocalBindsLR</a> idL idR -> [idL]</li><li class="src short"><a href="#v:collectHsValBinders">collectHsValBinders</a> :: <a href="HsBinds.html#t:HsValBindsLR">HsValBindsLR</a> idL idR -> [idL]</li><li class="src short"><a href="#v:collectHsBindListBinders">collectHsBindListBinders</a> :: [<a href="HsBinds.html#t:LHsBindLR">LHsBindLR</a> idL idR] -> [idL]</li><li class="src short"><a href="#v:collectHsBindsBinders">collectHsBindsBinders</a> :: <a href="HsBinds.html#t:LHsBindsLR">LHsBindsLR</a> idL idR -> [idL]</li><li class="src short"><a href="#v:collectHsBindBinders">collectHsBindBinders</a> :: <a href="HsBinds.html#t:HsBindLR">HsBindLR</a> idL idR -> [idL]</li><li class="src short"><a href="#v:collectMethodBinders">collectMethodBinders</a> :: <a href="HsBinds.html#t:LHsBindsLR">LHsBindsLR</a> <a href="RdrName.html#t:RdrName">RdrName</a> idR -> [<a href="SrcLoc.html#t:Located">Located</a> <a href="RdrName.html#t:RdrName">RdrName</a>]</li><li class="src short"><a href="#v:collectPatBinders">collectPatBinders</a> :: <a href="HsPat.html#t:LPat">LPat</a> a -> [a]</li><li class="src short"><a href="#v:collectPatsBinders">collectPatsBinders</a> :: [<a href="HsPat.html#t:LPat">LPat</a> a] -> [a]</li><li class="src short"><a href="#v:collectLStmtsBinders">collectLStmtsBinders</a> :: [<a href="HsExpr.html#t:LStmtLR">LStmtLR</a> idL idR] -> [idL]</li><li class="src short"><a href="#v:collectStmtsBinders">collectStmtsBinders</a> :: [<a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR] -> [idL]</li><li class="src short"><a href="#v:collectLStmtBinders">collectLStmtBinders</a> :: <a href="HsExpr.html#t:LStmtLR">LStmtLR</a> idL idR -> [idL]</li><li class="src short"><a href="#v:collectStmtBinders">collectStmtBinders</a> :: <a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR -> [idL]</li><li class="src short"><a href="#v:collectSigTysFromPats">collectSigTysFromPats</a> :: [<a href="HsPat.html#t:InPat">InPat</a> name] -> [<a href="HsTypes.html#t:LHsType">LHsType</a> name]</li><li class="src short"><a href="#v:collectSigTysFromPat">collectSigTysFromPat</a> :: <a href="HsPat.html#t:InPat">InPat</a> name -> [<a href="HsTypes.html#t:LHsType">LHsType</a> name]</li><li class="src short"><a href="#v:hsTyClDeclBinders">hsTyClDeclBinders</a> :: <a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> name => <a href="SrcLoc.html#t:Located">Located</a> (<a href="HsDecls.html#t:TyClDecl">TyClDecl</a> name) -> [<a href="SrcLoc.html#t:Located">Located</a> name]</li><li class="src short"><a href="#v:hsTyClDeclsBinders">hsTyClDeclsBinders</a> :: [[<a href="HsDecls.html#t:LTyClDecl">LTyClDecl</a> <a href="Name.html#t:Name">Name</a>]] -> [<a href="SrcLoc.html#t:Located">Located</a> (<a href="HsDecls.html#t:InstDecl">InstDecl</a> <a href="Name.html#t:Name">Name</a>)] -> [<a href="Name.html#t:Name">Name</a>]</li><li class="src short"><a href="#v:hsForeignDeclsBinders">hsForeignDeclsBinders</a> :: [<a href="HsDecls.html#t:LForeignDecl">LForeignDecl</a> <a href="Name.html#t:Name">Name</a>] -> [<a href="Name.html#t:Name">Name</a>]</li><li class="src short"><a href="#v:hsGroupBinders">hsGroupBinders</a> :: <a href="HsDecls.html#t:HsGroup">HsGroup</a> <a href="Name.html#t:Name">Name</a> -> [<a href="Name.html#t:Name">Name</a>]</li><li class="src short"><a href="#v:lStmtsImplicits">lStmtsImplicits</a> :: [<a href="HsExpr.html#t:LStmtLR">LStmtLR</a> <a href="Name.html#t:Name">Name</a> idR] -> <a href="NameSet.html#t:NameSet">NameSet</a></li><li class="src short"><a href="#v:hsValBindsImplicits">hsValBindsImplicits</a> :: <a href="HsBinds.html#t:HsValBindsLR">HsValBindsLR</a> <a href="Name.html#t:Name">Name</a> idR -> <a href="NameSet.html#t:NameSet">NameSet</a></li><li class="src short"><a href="#v:lPatImplicits">lPatImplicits</a> :: <a href="HsPat.html#t:LPat">LPat</a> <a href="Name.html#t:Name">Name</a> -> <a href="NameSet.html#t:NameSet">NameSet</a></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:mkHsPar" class="def">mkHsPar</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:mkHsApp" class="def">mkHsApp</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> name -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> name -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> name</p></div><div class="top"><p class="src"><a name="v:mkHsConApp" class="def">mkHsConApp</a> :: <a href="DataCon.html#t:DataCon">DataCon</a> -> [<a href="Type.html#t:Type">Type</a>] -> [<a href="HsExpr.html#t:HsExpr">HsExpr</a> <a href="Var.html#t:Id">Id</a>] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="Var.html#t:Id">Id</a></p></div><div class="top"><p class="src"><a name="v:mkSimpleHsAlt" class="def">mkSimpleHsAlt</a> :: <a href="HsPat.html#t:LPat">LPat</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LMatch">LMatch</a> id</p></div><div class="top"><p class="src"><a name="v:mkSimpleMatch" class="def">mkSimpleMatch</a> :: [<a href="HsPat.html#t:LPat">LPat</a> id] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LMatch">LMatch</a> id</p></div><div class="top"><p class="src"><a name="v:unguardedGRHSs" class="def">unguardedGRHSs</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:GRHSs">GRHSs</a> id</p></div><div class="top"><p class="src"><a name="v:unguardedRHS" class="def">unguardedRHS</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> [<a href="HsExpr.html#t:LGRHS">LGRHS</a> id]</p></div><div class="top"><p class="src"><a name="v:mkMatchGroup" class="def">mkMatchGroup</a> :: [<a href="HsExpr.html#t:LMatch">LMatch</a> id] -> <a href="HsExpr.html#t:MatchGroup">MatchGroup</a> id</p></div><div class="top"><p class="src"><a name="v:mkMatch" class="def">mkMatch</a> :: [<a href="HsPat.html#t:LPat">LPat</a> id] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsBinds.html#t:HsLocalBinds">HsLocalBinds</a> id -> <a href="HsExpr.html#t:LMatch">LMatch</a> id</p></div><div class="top"><p class="src"><a name="v:mkHsLam" class="def">mkHsLam</a> :: [<a href="HsPat.html#t:LPat">LPat</a> id] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:mkHsIf" class="def">mkHsIf</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:HsExpr">HsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:mkHsWrap" class="def">mkHsWrap</a> :: <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a> -> <a href="HsExpr.html#t:HsExpr">HsExpr</a> id -> <a href="HsExpr.html#t:HsExpr">HsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:mkLHsWrap" class="def">mkLHsWrap</a> :: <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:mkHsWrapCo" class="def">mkHsWrapCo</a> :: <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="HsExpr.html#t:HsExpr">HsExpr</a> id -> <a href="HsExpr.html#t:HsExpr">HsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:mkLHsWrapCo" class="def">mkLHsWrapCo</a> :: <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:coToHsWrapper" class="def">coToHsWrapper</a> :: <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a></p></div><div class="top"><p class="src"><a name="v:mkHsDictLet" class="def">mkHsDictLet</a> :: <a href="TcEvidence.html#t:TcEvBinds">TcEvBinds</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="Var.html#t:Id">Id</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="Var.html#t:Id">Id</a></p></div><div class="top"><p class="src"><a name="v:mkHsLams" class="def">mkHsLams</a> :: [<a href="Var.html#t:TyVar">TyVar</a>] -> [<a href="Var.html#t:EvVar">EvVar</a>] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="Var.html#t:Id">Id</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="Var.html#t:Id">Id</a></p></div><div class="top"><p class="src"><a name="v:mkHsOpApp" class="def">mkHsOpApp</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:HsExpr">HsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:mkHsDo" class="def">mkHsDo</a> :: <a href="HsExpr.html#t:HsStmtContext">HsStmtContext</a> <a href="Name.html#t:Name">Name</a> -> [<a href="HsExpr.html#t:LStmt">LStmt</a> id] -> <a href="HsExpr.html#t:HsExpr">HsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:mkHsComp" class="def">mkHsComp</a> :: <a href="HsExpr.html#t:HsStmtContext">HsStmtContext</a> <a href="Name.html#t:Name">Name</a> -> [<a href="HsExpr.html#t:LStmt">LStmt</a> id] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:HsExpr">HsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:mkHsWrapPat" class="def">mkHsWrapPat</a> :: <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a> -> <a href="HsPat.html#t:Pat">Pat</a> id -> <a href="Type.html#t:Type">Type</a> -> <a href="HsPat.html#t:Pat">Pat</a> id</p></div><div class="top"><p class="src"><a name="v:mkHsWrapPatCo" class="def">mkHsWrapPatCo</a> :: <a href="TcEvidence.html#t:TcCoercion">TcCoercion</a> -> <a href="HsPat.html#t:Pat">Pat</a> id -> <a href="Type.html#t:Type">Type</a> -> <a href="HsPat.html#t:Pat">Pat</a> id</p></div><div class="top"><p class="src"><a name="v:mkLHsPar" class="def">mkLHsPar</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> name -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> name</p></div><div class="top"><p class="src"><a name="v:nlHsTyApp" class="def">nlHsTyApp</a> :: name -> [<a href="Type.html#t:Type">Type</a>] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> name</p></div><div class="top"><p class="src"><a name="v:nlHsVar" class="def">nlHsVar</a> :: id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:nlHsLit" class="def">nlHsLit</a> :: <a href="HsLit.html#t:HsLit">HsLit</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:nlHsApp" class="def">nlHsApp</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:nlHsApps" class="def">nlHsApps</a> :: id -> [<a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:nlHsIntLit" class="def">nlHsIntLit</a> :: <a href="../base-4.5.1.0/Prelude.html#t:Integer">Integer</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:nlHsVarApps" class="def">nlHsVarApps</a> :: id -> [id] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:nlHsDo" class="def">nlHsDo</a> :: <a href="HsExpr.html#t:HsStmtContext">HsStmtContext</a> <a href="Name.html#t:Name">Name</a> -> [<a href="HsExpr.html#t:LStmt">LStmt</a> id] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:nlHsOpApp" class="def">nlHsOpApp</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:nlHsLam" class="def">nlHsLam</a> :: <a href="HsExpr.html#t:LMatch">LMatch</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:nlHsPar" class="def">nlHsPar</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:nlHsIf" class="def">nlHsIf</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:nlHsCase" class="def">nlHsCase</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> [<a href="HsExpr.html#t:LMatch">LMatch</a> id] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:nlList" class="def">nlList</a> :: [<a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id</p></div><div class="top"><p class="src"><a name="v:mkLHsTupleExpr" class="def">mkLHsTupleExpr</a> :: [<a href="HsExpr.html#t:LHsExpr">LHsExpr</a> a] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> a</p></div><div class="top"><p class="src"><a name="v:mkLHsVarTuple" class="def">mkLHsVarTuple</a> :: [a] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> a</p></div><div class="top"><p class="src"><a name="v:missingTupArg" class="def">missingTupArg</a> :: <a href="HsExpr.html#t:HsTupArg">HsTupArg</a> a</p></div><div class="top"><p class="src"><a name="v:mkFunBind" class="def">mkFunBind</a> :: <a href="SrcLoc.html#t:Located">Located</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> [<a href="HsExpr.html#t:LMatch">LMatch</a> <a href="RdrName.html#t:RdrName">RdrName</a>] -> <a href="HsBinds.html#t:HsBind">HsBind</a> <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:mkVarBind" class="def">mkVarBind</a> :: id -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsBinds.html#t:LHsBind">LHsBind</a> id</p></div><div class="top"><p class="src"><a name="v:mkHsVarBind" class="def">mkHsVarBind</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="HsBinds.html#t:LHsBind">LHsBind</a> <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:mk_easy_FunBind" class="def">mk_easy_FunBind</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="RdrName.html#t:RdrName">RdrName</a> -> [<a href="HsPat.html#t:LPat">LPat</a> <a href="RdrName.html#t:RdrName">RdrName</a>] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="HsBinds.html#t:LHsBind">LHsBind</a> <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:mkTopFunBind" class="def">mkTopFunBind</a> :: <a href="SrcLoc.html#t:Located">Located</a> <a href="Name.html#t:Name">Name</a> -> [<a href="HsExpr.html#t:LMatch">LMatch</a> <a href="Name.html#t:Name">Name</a>] -> <a href="HsBinds.html#t:HsBind">HsBind</a> <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:mkHsIntegral" class="def">mkHsIntegral</a> :: <a href="../base-4.5.1.0/Prelude.html#t:Integer">Integer</a> -> <a href="HsLit.html#t:PostTcType">PostTcType</a> -> <a href="HsLit.html#t:HsOverLit">HsOverLit</a> id</p></div><div class="top"><p class="src"><a name="v:mkHsFractional" class="def">mkHsFractional</a> :: <a href="BasicTypes.html#t:FractionalLit">FractionalLit</a> -> <a href="HsLit.html#t:PostTcType">PostTcType</a> -> <a href="HsLit.html#t:HsOverLit">HsOverLit</a> id</p></div><div class="top"><p class="src"><a name="v:mkHsIsString" class="def">mkHsIsString</a> :: <a href="FastString.html#t:FastString">FastString</a> -> <a href="HsLit.html#t:PostTcType">PostTcType</a> -> <a href="HsLit.html#t:HsOverLit">HsOverLit</a> id</p></div><div class="top"><p class="src"><a name="v:mkHsString" class="def">mkHsString</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="HsLit.html#t:HsLit">HsLit</a></p></div><div class="top"><p class="src"><a name="v:mkNPat" class="def">mkNPat</a> :: <a href="HsLit.html#t:HsOverLit">HsOverLit</a> id -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="HsExpr.html#t:SyntaxExpr">SyntaxExpr</a> id) -> <a href="HsPat.html#t:Pat">Pat</a> id</p></div><div class="top"><p class="src"><a name="v:mkNPlusKPat" class="def">mkNPlusKPat</a> :: <a href="SrcLoc.html#t:Located">Located</a> id -> <a href="HsLit.html#t:HsOverLit">HsOverLit</a> id -> <a href="HsPat.html#t:Pat">Pat</a> id</p></div><div class="top"><p class="src"><a name="v:nlVarPat" class="def">nlVarPat</a> :: id -> <a href="HsPat.html#t:LPat">LPat</a> id</p></div><div class="top"><p class="src"><a name="v:nlLitPat" class="def">nlLitPat</a> :: <a href="HsLit.html#t:HsLit">HsLit</a> -> <a href="HsPat.html#t:LPat">LPat</a> id</p></div><div class="top"><p class="src"><a name="v:nlConVarPat" class="def">nlConVarPat</a> :: id -> [id] -> <a href="HsPat.html#t:LPat">LPat</a> id</p></div><div class="top"><p class="src"><a name="v:nlConPat" class="def">nlConPat</a> :: id -> [<a href="HsPat.html#t:LPat">LPat</a> id] -> <a href="HsPat.html#t:LPat">LPat</a> id</p></div><div class="top"><p class="src"><a name="v:nlInfixConPat" class="def">nlInfixConPat</a> :: id -> <a href="HsPat.html#t:LPat">LPat</a> id -> <a href="HsPat.html#t:LPat">LPat</a> id -> <a href="HsPat.html#t:LPat">LPat</a> id</p></div><div class="top"><p class="src"><a name="v:nlNullaryConPat" class="def">nlNullaryConPat</a> :: id -> <a href="HsPat.html#t:LPat">LPat</a> id</p></div><div class="top"><p class="src"><a name="v:nlWildConPat" class="def">nlWildConPat</a> :: <a href="DataCon.html#t:DataCon">DataCon</a> -> <a href="HsPat.html#t:LPat">LPat</a> <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:nlWildPat" class="def">nlWildPat</a> :: <a href="HsPat.html#t:LPat">LPat</a> id</p></div><div class="top"><p class="src"><a name="v:nlTuplePat" class="def">nlTuplePat</a> :: [<a href="HsPat.html#t:LPat">LPat</a> id] -> <a href="BasicTypes.html#t:Boxity">Boxity</a> -> <a href="HsPat.html#t:LPat">LPat</a> id</p></div><div class="top"><p class="src"><a name="v:mkParPat" class="def">mkParPat</a> :: <a href="HsPat.html#t:LPat">LPat</a> name -> <a href="HsPat.html#t:LPat">LPat</a> name</p></div><div class="top"><p class="src"><a name="v:mkHsAppTy" class="def">mkHsAppTy</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> name -> <a href="HsTypes.html#t:LHsType">LHsType</a> name -> <a href="HsTypes.html#t:LHsType">LHsType</a> name</p></div><div class="top"><p class="src"><a name="v:userHsTyVarBndrs" class="def">userHsTyVarBndrs</a> :: [<a href="SrcLoc.html#t:Located">Located</a> name] -> [<a href="SrcLoc.html#t:Located">Located</a> (<a href="HsTypes.html#t:HsTyVarBndr">HsTyVarBndr</a> name)]</p></div><div class="top"><p class="src"><a name="v:nlHsAppTy" class="def">nlHsAppTy</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> name -> <a href="HsTypes.html#t:LHsType">LHsType</a> name -> <a href="HsTypes.html#t:LHsType">LHsType</a> name</p></div><div class="top"><p class="src"><a name="v:nlHsTyVar" class="def">nlHsTyVar</a> :: name -> <a href="HsTypes.html#t:LHsType">LHsType</a> name</p></div><div class="top"><p class="src"><a name="v:nlHsFunTy" class="def">nlHsFunTy</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> name -> <a href="HsTypes.html#t:LHsType">LHsType</a> name -> <a href="HsTypes.html#t:LHsType">LHsType</a> name</p></div><div class="top"><p class="src"><a name="v:nlHsTyConApp" class="def">nlHsTyConApp</a> :: name -> [<a href="HsTypes.html#t:LHsType">LHsType</a> name] -> <a href="HsTypes.html#t:LHsType">LHsType</a> name</p></div><div class="top"><p class="src"><a name="v:mkTransformStmt" class="def">mkTransformStmt</a> :: [<a href="HsExpr.html#t:LStmt">LStmt</a> idL] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> idR -> <a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR</p></div><div class="top"><p class="src"><a name="v:mkTransformByStmt" class="def">mkTransformByStmt</a> :: [<a href="HsExpr.html#t:LStmt">LStmt</a> idL] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> idR -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> idR -> <a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR</p></div><div class="top"><p class="src"><a name="v:mkExprStmt" class="def">mkExprStmt</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> idR -> <a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR</p></div><div class="top"><p class="src"><a name="v:mkBindStmt" class="def">mkBindStmt</a> :: <a href="HsPat.html#t:LPat">LPat</a> idL -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> idR -> <a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR</p></div><div class="top"><p class="src"><a name="v:mkLastStmt" class="def">mkLastStmt</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> idR -> <a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR</p></div><div class="top"><p class="src"><a name="v:emptyTransStmt" class="def">emptyTransStmt</a> :: <a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR</p></div><div class="top"><p class="src"><a name="v:mkGroupUsingStmt" class="def">mkGroupUsingStmt</a> :: [<a href="HsExpr.html#t:LStmt">LStmt</a> idL] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> idR -> <a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR</p></div><div class="top"><p class="src"><a name="v:mkGroupByUsingStmt" class="def">mkGroupByUsingStmt</a> :: [<a href="HsExpr.html#t:LStmt">LStmt</a> idL] -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> idR -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> idR -> <a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR</p></div><div class="top"><p class="src"><a name="v:emptyRecStmt" class="def">emptyRecStmt</a> :: <a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR</p></div><div class="top"><p class="src"><a name="v:mkRecStmt" class="def">mkRecStmt</a> :: [<a href="HsExpr.html#t:LStmtLR">LStmtLR</a> idL idR] -> <a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR</p></div><div class="top"><p class="src"><a name="v:unqualSplice" class="def">unqualSplice</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:mkHsSpliceTy" class="def">mkHsSpliceTy</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="HsTypes.html#t:HsType">HsType</a> <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:mkHsSplice" class="def">mkHsSplice</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="HsExpr.html#t:HsSplice">HsSplice</a> <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:mkHsQuasiQuote" class="def">mkHsQuasiQuote</a> :: <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="FastString.html#t:FastString">FastString</a> -> <a href="HsTypes.html#t:HsQuasiQuote">HsQuasiQuote</a> <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:unqualQuasiQuote" class="def">unqualQuasiQuote</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:noRebindableInfo" class="def">noRebindableInfo</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:collectLocalBinders" class="def">collectLocalBinders</a> :: <a href="HsBinds.html#t:HsLocalBindsLR">HsLocalBindsLR</a> idL idR -> [idL]</p></div><div class="top"><p class="src"><a name="v:collectHsValBinders" class="def">collectHsValBinders</a> :: <a href="HsBinds.html#t:HsValBindsLR">HsValBindsLR</a> idL idR -> [idL]</p></div><div class="top"><p class="src"><a name="v:collectHsBindListBinders" class="def">collectHsBindListBinders</a> :: [<a href="HsBinds.html#t:LHsBindLR">LHsBindLR</a> idL idR] -> [idL]</p></div><div class="top"><p class="src"><a name="v:collectHsBindsBinders" class="def">collectHsBindsBinders</a> :: <a href="HsBinds.html#t:LHsBindsLR">LHsBindsLR</a> idL idR -> [idL]</p></div><div class="top"><p class="src"><a name="v:collectHsBindBinders" class="def">collectHsBindBinders</a> :: <a href="HsBinds.html#t:HsBindLR">HsBindLR</a> idL idR -> [idL]</p></div><div class="top"><p class="src"><a name="v:collectMethodBinders" class="def">collectMethodBinders</a> :: <a href="HsBinds.html#t:LHsBindsLR">LHsBindsLR</a> <a href="RdrName.html#t:RdrName">RdrName</a> idR -> [<a href="SrcLoc.html#t:Located">Located</a> <a href="RdrName.html#t:RdrName">RdrName</a>]</p></div><div class="top"><p class="src"><a name="v:collectPatBinders" class="def">collectPatBinders</a> :: <a href="HsPat.html#t:LPat">LPat</a> a -> [a]</p></div><div class="top"><p class="src"><a name="v:collectPatsBinders" class="def">collectPatsBinders</a> :: [<a href="HsPat.html#t:LPat">LPat</a> a] -> [a]</p></div><div class="top"><p class="src"><a name="v:collectLStmtsBinders" class="def">collectLStmtsBinders</a> :: [<a href="HsExpr.html#t:LStmtLR">LStmtLR</a> idL idR] -> [idL]</p></div><div class="top"><p class="src"><a name="v:collectStmtsBinders" class="def">collectStmtsBinders</a> :: [<a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR] -> [idL]</p></div><div class="top"><p class="src"><a name="v:collectLStmtBinders" class="def">collectLStmtBinders</a> :: <a href="HsExpr.html#t:LStmtLR">LStmtLR</a> idL idR -> [idL]</p></div><div class="top"><p class="src"><a name="v:collectStmtBinders" class="def">collectStmtBinders</a> :: <a href="HsExpr.html#t:StmtLR">StmtLR</a> idL idR -> [idL]</p></div><div class="top"><p class="src"><a name="v:collectSigTysFromPats" class="def">collectSigTysFromPats</a> :: [<a href="HsPat.html#t:InPat">InPat</a> name] -> [<a href="HsTypes.html#t:LHsType">LHsType</a> name]</p></div><div class="top"><p class="src"><a name="v:collectSigTysFromPat" class="def">collectSigTysFromPat</a> :: <a href="HsPat.html#t:InPat">InPat</a> name -> [<a href="HsTypes.html#t:LHsType">LHsType</a> name]</p></div><div class="top"><p class="src"><a name="v:hsTyClDeclBinders" class="def">hsTyClDeclBinders</a> :: <a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> name => <a href="SrcLoc.html#t:Located">Located</a> (<a href="HsDecls.html#t:TyClDecl">TyClDecl</a> name) -> [<a href="SrcLoc.html#t:Located">Located</a> name]</p><div class="doc"><p>Returns all the <em>binding</em> names of the decl, along with their SrcLocs.
The first one is guaranteed to be the name of the decl. For record fields
mentioned in multiple constructors, the SrcLoc will be from the first
occurence. We use the equality to filter out duplicate field names
</p></div></div><div class="top"><p class="src"><a name="v:hsTyClDeclsBinders" class="def">hsTyClDeclsBinders</a> :: [[<a href="HsDecls.html#t:LTyClDecl">LTyClDecl</a> <a href="Name.html#t:Name">Name</a>]] -> [<a href="SrcLoc.html#t:Located">Located</a> (<a href="HsDecls.html#t:InstDecl">InstDecl</a> <a href="Name.html#t:Name">Name</a>)] -> [<a href="Name.html#t:Name">Name</a>]</p></div><div class="top"><p class="src"><a name="v:hsForeignDeclsBinders" class="def">hsForeignDeclsBinders</a> :: [<a href="HsDecls.html#t:LForeignDecl">LForeignDecl</a> <a href="Name.html#t:Name">Name</a>] -> [<a href="Name.html#t:Name">Name</a>]</p></div><div class="top"><p class="src"><a name="v:hsGroupBinders" class="def">hsGroupBinders</a> :: <a href="HsDecls.html#t:HsGroup">HsGroup</a> <a href="Name.html#t:Name">Name</a> -> [<a href="Name.html#t:Name">Name</a>]</p></div><div class="top"><p class="src"><a name="v:lStmtsImplicits" class="def">lStmtsImplicits</a> :: [<a href="HsExpr.html#t:LStmtLR">LStmtLR</a> <a href="Name.html#t:Name">Name</a> idR] -> <a href="NameSet.html#t:NameSet">NameSet</a></p></div><div class="top"><p class="src"><a name="v:hsValBindsImplicits" class="def">hsValBindsImplicits</a> :: <a href="HsBinds.html#t:HsValBindsLR">HsValBindsLR</a> <a href="Name.html#t:Name">Name</a> idR -> <a href="NameSet.html#t:NameSet">NameSet</a></p></div><div class="top"><p class="src"><a name="v:lPatImplicits" class="def">lPatImplicits</a> :: <a href="HsPat.html#t:LPat">LPat</a> <a href="Name.html#t:Name">Name</a> -> <a href="NameSet.html#t:NameSet">NameSet</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
>
2905
