<!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>RdrHsSyn</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_RdrHsSyn.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">RdrHsSyn</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:extractHsTyRdrTyVars" class="def">extractHsTyRdrTyVars</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> [<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:extractHsRhoRdrTyVars" class="def">extractHsRhoRdrTyVars</a> :: <a href="HsTypes.html#t:LHsContext">LHsContext</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> [<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:extractGenericPatTyVars" class="def">extractGenericPatTyVars</a> :: <a href="HsBinds.html#t:LHsBinds">LHsBinds</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> [<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: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: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: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: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:mkTopSpliceDecl" class="def">mkTopSpliceDecl</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="HsDecls.html#t:HsDecl">HsDecl</a> <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:mkClassDecl" class="def">mkClassDecl</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="SrcLoc.html#t:Located">Located</a> (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="HsTypes.html#t:LHsContext">LHsContext</a> <a href="RdrName.html#t:RdrName">RdrName</a>), <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</a>) -> <a href="SrcLoc.html#t:Located">Located</a> [<a href="SrcLoc.html#t:Located">Located</a> (<a href="Class.html#t:FunDep">FunDep</a> <a href="RdrName.html#t:RdrName">RdrName</a>)] -> <a href="SrcLoc.html#t:Located">Located</a> (<a href="OrdList.html#t:OrdList">OrdList</a> (<a href="HsDecls.html#t:LHsDecl">LHsDecl</a> <a href="RdrName.html#t:RdrName">RdrName</a>)) -> <a href="Lexer.html#t:P">P</a> (<a href="HsDecls.html#t:LTyClDecl">LTyClDecl</a> <a href="RdrName.html#t:RdrName">RdrName</a>)</p></div><div class="top"><p class="src"><a name="v:mkTyData" class="def">mkTyData</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="HsDecls.html#t:NewOrData">NewOrData</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="SrcLoc.html#t:Located">Located</a> (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="HsTypes.html#t:LHsContext">LHsContext</a> <a href="RdrName.html#t:RdrName">RdrName</a>), <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</a>) -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="HsTypes.html#t:LHsKind">LHsKind</a> <a href="RdrName.html#t:RdrName">RdrName</a>) -> [<a href="HsDecls.html#t:LConDecl">LConDecl</a> <a href="RdrName.html#t:RdrName">RdrName</a>] -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> [<a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</a>] -> <a href="Lexer.html#t:P">P</a> (<a href="HsDecls.html#t:LTyClDecl">LTyClDecl</a> <a href="RdrName.html#t:RdrName">RdrName</a>)</p></div><div class="top"><p class="src"><a name="v:mkTyFamily" class="def">mkTyFamily</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="HsDecls.html#t:FamilyFlavour">FamilyFlavour</a> -> <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="HsTypes.html#t:LHsKind">LHsKind</a> <a href="RdrName.html#t:RdrName">RdrName</a>) -> <a href="Lexer.html#t:P">P</a> (<a href="HsDecls.html#t:LTyClDecl">LTyClDecl</a> <a href="RdrName.html#t:RdrName">RdrName</a>)</p></div><div class="top"><p class="src"><a name="v:mkTySynonym" class="def">mkTySynonym</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="Lexer.html#t:P">P</a> (<a href="HsDecls.html#t:LTyClDecl">LTyClDecl</a> <a href="RdrName.html#t:RdrName">RdrName</a>)</p></div><div class="top"><p class="src"><a name="v:splitCon" class="def">splitCon</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="Lexer.html#t:P">P</a> (<a href="SrcLoc.html#t:Located">Located</a> <a href="RdrName.html#t:RdrName">RdrName</a>, <a href="HsDecls.html#t:HsConDeclDetails">HsConDeclDetails</a> <a href="RdrName.html#t:RdrName">RdrName</a>)</p></div><div class="top"><p class="src"><a name="v:mkInlinePragma" class="def">mkInlinePragma</a> :: (<a href="BasicTypes.html#t:InlineSpec">InlineSpec</a>, <a href="BasicTypes.html#t:RuleMatchInfo">RuleMatchInfo</a>) -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="BasicTypes.html#t:Activation">Activation</a> -> <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></p></div><div class="top"><p class="src"><a name="v:mkRecConstrOrUpdate" class="def">mkRecConstrOrUpdate</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> ([<a href="HsPat.html#t:HsRecField">HsRecField</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="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a>) -> <a href="Lexer.html#t:P">P</a> (<a href="HsExpr.html#t:HsExpr">HsExpr</a> <a href="RdrName.html#t:RdrName">RdrName</a>)</p></div><div class="top"><p class="src"><a name="v:cvBindGroup" class="def">cvBindGroup</a> :: <a href="OrdList.html#t:OrdList">OrdList</a> (<a href="HsDecls.html#t:LHsDecl">LHsDecl</a> <a href="RdrName.html#t:RdrName">RdrName</a>) -> <a href="HsBinds.html#t:HsValBinds">HsValBinds</a> <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:cvBindsAndSigs" class="def">cvBindsAndSigs</a> :: <a href="OrdList.html#t:OrdList">OrdList</a> (<a href="HsDecls.html#t:LHsDecl">LHsDecl</a> <a href="RdrName.html#t:RdrName">RdrName</a>) -> (<a href="Bag.html#t:Bag">Bag</a> (<a href="HsBinds.html#t:LHsBind">LHsBind</a> <a href="RdrName.html#t:RdrName">RdrName</a>), [<a href="HsBinds.html#t:LSig">LSig</a> <a href="RdrName.html#t:RdrName">RdrName</a>], [<a href="HsDecls.html#t:LTyClDecl">LTyClDecl</a> <a href="RdrName.html#t:RdrName">RdrName</a>], [<a href="HsDecls.html#t:LDocDecl">LDocDecl</a>])</p></div><div class="top"><p class="src"><a name="v:cvTopDecls" class="def">cvTopDecls</a> :: <a href="OrdList.html#t:OrdList">OrdList</a> (<a href="HsDecls.html#t:LHsDecl">LHsDecl</a> <a href="RdrName.html#t:RdrName">RdrName</a>) -> [<a href="HsDecls.html#t:LHsDecl">LHsDecl</a> <a href="RdrName.html#t:RdrName">RdrName</a>]</p></div><div class="top"><p class="src"><a name="v:placeHolderPunRhs" class="def">placeHolderPunRhs</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:mkImport" class="def">mkImport</a> :: <a href="ForeignCall.html#t:CCallConv">CCallConv</a> -> <a href="ForeignCall.html#t:Safety">Safety</a> -> (<a href="SrcLoc.html#t:Located">Located</a> <a href="FastString.html#t:FastString">FastString</a>, <a href="SrcLoc.html#t:Located">Located</a> <a href="RdrName.html#t:RdrName">RdrName</a>, <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</a>) -> <a href="Lexer.html#t:P">P</a> (<a href="HsDecls.html#t:HsDecl">HsDecl</a> <a href="RdrName.html#t:RdrName">RdrName</a>)</p></div><div class="top"><p class="src"><a name="v:parseCImport" class="def">parseCImport</a> :: <a href="ForeignCall.html#t:CCallConv">CCallConv</a> -> <a href="ForeignCall.html#t:Safety">Safety</a> -> <a href="FastString.html#t:FastString">FastString</a> -> <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="HsDecls.html#t:ForeignImport">ForeignImport</a></p></div><div class="top"><p class="src"><a name="v:mkExport" class="def">mkExport</a> :: <a href="ForeignCall.html#t:CCallConv">CCallConv</a> -> (<a href="SrcLoc.html#t:Located">Located</a> <a href="FastString.html#t:FastString">FastString</a>, <a href="SrcLoc.html#t:Located">Located</a> <a href="RdrName.html#t:RdrName">RdrName</a>, <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</a>) -> <a href="Lexer.html#t:P">P</a> (<a href="HsDecls.html#t:HsDecl">HsDecl</a> <a href="RdrName.html#t:RdrName">RdrName</a>)</p></div><div class="top"><p class="src"><a name="v:mkExtName" class="def">mkExtName</a> :: <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="ForeignCall.html#t:CLabelString">CLabelString</a></p></div><div class="top"><p class="src"><a name="v:mkGadtDecl" class="def">mkGadtDecl</a> :: [<a href="SrcLoc.html#t:Located">Located</a> <a href="RdrName.html#t:RdrName">RdrName</a>] -> <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> [<a href="HsDecls.html#t:ConDecl">ConDecl</a> <a href="RdrName.html#t:RdrName">RdrName</a>]</p></div><div class="top"><p class="src"><a name="v:mkSimpleConDecl" class="def">mkSimpleConDecl</a> :: <a href="SrcLoc.html#t:Located">Located</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> [<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> <a href="RdrName.html#t:RdrName">RdrName</a>] -> <a href="HsTypes.html#t:LHsContext">LHsContext</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="HsDecls.html#t:HsConDeclDetails">HsConDeclDetails</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="HsDecls.html#t:ConDecl">ConDecl</a> <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:mkDeprecatedGadtRecordDecl" class="def">mkDeprecatedGadtRecordDecl</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="SrcLoc.html#t:Located">Located</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> [<a href="HsTypes.html#t:ConDeclField">ConDeclField</a> <a href="RdrName.html#t:RdrName">RdrName</a>] -> <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="Lexer.html#t:P">P</a> (<a href="HsDecls.html#t:LConDecl">LConDecl</a> <a href="RdrName.html#t:RdrName">RdrName</a>)</p></div><div class="top"><p class="src"><a name="v:checkPrecP" class="def">checkPrecP</a> :: <a href="SrcLoc.html#t:Located">Located</a> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Lexer.html#t:P">P</a> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></p></div><div class="top"><p class="src"><a name="v:checkContext" class="def">checkContext</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="Lexer.html#t:P">P</a> (<a href="HsTypes.html#t:LHsContext">LHsContext</a> <a href="RdrName.html#t:RdrName">RdrName</a>)</p></div><div class="top"><p class="src"><a name="v:checkTyVars" class="def">checkTyVars</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> [<a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</a>] -> <a href="Lexer.html#t:P">P</a> [<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> <a href="RdrName.html#t:RdrName">RdrName</a>]</p></div><div class="top"><p class="src"><a name="v:checkKindSigs" class="def">checkKindSigs</a> :: [<a href="HsDecls.html#t:LTyClDecl">LTyClDecl</a> <a href="RdrName.html#t:RdrName">RdrName</a>] -> <a href="Lexer.html#t:P">P</a> ()</p></div><div class="top"><p class="src"><a name="v:checkPattern" class="def">checkPattern</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="Lexer.html#t:P">P</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:bang_RDR" class="def">bang_RDR</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:checkPatterns" class="def">checkPatterns</a> :: [<a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="RdrName.html#t:RdrName">RdrName</a>] -> <a href="Lexer.html#t:P">P</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:checkMonadComp" class="def">checkMonadComp</a> :: <a href="Lexer.html#t:P">P</a> (<a href="HsExpr.html#t:HsStmtContext">HsStmtContext</a> <a href="Name.html#t:Name">Name</a>)</p></div><div class="top"><p class="src"><a name="v:checkValDef" class="def">checkValDef</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</a>) -> <a href="SrcLoc.html#t:Located">Located</a> (<a href="HsExpr.html#t:GRHSs">GRHSs</a> <a href="RdrName.html#t:RdrName">RdrName</a>) -> <a href="Lexer.html#t:P">P</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:checkValSig" class="def">checkValSig</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="Lexer.html#t:P">P</a> (<a href="HsBinds.html#t:Sig">Sig</a> <a href="RdrName.html#t:RdrName">RdrName</a>)</p></div><div class="top"><p class="src"><a name="v:checkDoAndIfThenElse" class="def">checkDoAndIfThenElse</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="Lexer.html#t:P">P</a> ()</p></div><div class="top"><p class="src"><a name="v:checkRecordSyntax" class="def">checkRecordSyntax</a> :: <a href="Outputable.html#t:Outputable">Outputable</a> a => <a href="SrcLoc.html#t:Located">Located</a> a -> <a href="Lexer.html#t:P">P</a> (<a href="SrcLoc.html#t:Located">Located</a> a)</p></div><div class="top"><p class="src"><a name="v:parseError" class="def">parseError</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="Lexer.html#t:P">P</a> a</p></div><div class="top"><p class="src"><a name="v:parseErrorSDoc" class="def">parseErrorSDoc</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="Lexer.html#t:P">P</a> 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
>
2996
