<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <!--Rendered using the Haskell Html Library v0.2--> <HTML ><HEAD ><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8" ><TITLE >Language.Haskell.Exts.Annotated.Simplify</TITLE ><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css" ><SCRIPT SRC="haddock-util.js" TYPE="text/javascript" ></SCRIPT ><SCRIPT TYPE="text/javascript" >window.onload = function () {setSynopsis("mini_Language-Haskell-Exts-Annotated-Simplify.html")};</SCRIPT ></HEAD ><BODY ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="topbar" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD ><IMG SRC="haskell_icon.gif" WIDTH="16" HEIGHT="16" ALT=" " ></TD ><TD CLASS="title" >haskell-src-exts-1.9.0: Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer</TD ><TD CLASS="topbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html" >Source code</A ></TD ><TD CLASS="topbut" ><A HREF="index.html" >Contents</A ></TD ><TD CLASS="topbut" ><A HREF="doc-index.html" >Index</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="modulebar" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD ><FONT SIZE="6" >Language.Haskell.Exts.Annotated.Simplify</FONT ></TD ><TD ALIGN="right" ><TABLE CLASS="narrow" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="infohead" >Portability</TD ><TD CLASS="infoval" >portable </TD ></TR ><TR ><TD CLASS="infohead" >Stability</TD ><TD CLASS="infoval" >experimental </TD ></TR ><TR ><TD CLASS="infohead" >Maintainer</TD ><TD CLASS="infoval" >Niklas Broberg, d00nibro@chalmers.se </TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="section1" >Description</TD ></TR ><TR ><TD CLASS="doc" ><P >This module contains code for translating from the annotated complex AST in Language.Haskell.Exts.Annotated.Syntax to the simpler, sparsely annotated AST in Language.Haskell.Exts.Syntax. </P ><P >A function <TT >sXYZ</TT > translates an annotated AST node of type <TT >XYZ l</TT > into a simple AST node of type <TT >XYZ</TT >. I would have prefered to use a MPTC with an fd/type family to get a single exported function name, but I wish to stay Haskell 2010 compliant. Let's hope for Haskell 2011. </P ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="section1" >Synopsis</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="#v%3AsModule" >sModule</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AModule" >Module</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AModule" >Module</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsDecl" >sDecl</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ADecl" >Decl</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ADecl" >Decl</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsAnnotation" >sAnnotation</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AAnnotation" >Annotation</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AAnnotation" >Annotation</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsModuleName" >sModuleName</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AModuleName" >ModuleName</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AModuleName" >ModuleName</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsSpecialCon" >sSpecialCon</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ASpecialCon" >SpecialCon</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ASpecialCon" >SpecialCon</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsQName" >sQName</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AQName" >QName</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AQName" >QName</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsName" >sName</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AName" >Name</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AName" >Name</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsIPName" >sIPName</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AIPName" >IPName</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AIPName" >IPName</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsQOp" >sQOp</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AQOp" >QOp</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AQOp" >QOp</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsOp" >sOp</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AOp" >Op</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AOp" >Op</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsCName" >sCName</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ACName" >CName</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ACName" >CName</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsModuleHead" >sModuleHead</A > :: <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > (<A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AModuleHead" >ModuleHead</A > l) -> (<A HREF="Language-Haskell-Exts-Syntax.html#t%3AModuleName" >ModuleName</A >, <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > <A HREF="Language-Haskell-Exts-Syntax.html#t%3AWarningText" >WarningText</A >, <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > [<A HREF="Language-Haskell-Exts-Syntax.html#t%3AExportSpec" >ExportSpec</A >])</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsExportSpecList" >sExportSpecList</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AExportSpecList" >ExportSpecList</A > l -> [<A HREF="Language-Haskell-Exts-Syntax.html#t%3AExportSpec" >ExportSpec</A >]</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsExportSpec" >sExportSpec</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AExportSpec" >ExportSpec</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AExportSpec" >ExportSpec</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsImportDecl" >sImportDecl</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AImportDecl" >ImportDecl</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AImportDecl" >ImportDecl</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsImportSpecList" >sImportSpecList</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AImportSpecList" >ImportSpecList</A > l -> (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A >, [<A HREF="Language-Haskell-Exts-Syntax.html#t%3AImportSpec" >ImportSpec</A >])</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsImportSpec" >sImportSpec</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AImportSpec" >ImportSpec</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AImportSpec" >ImportSpec</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsAssoc" >sAssoc</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AAssoc" >Assoc</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AAssoc" >Assoc</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsDeclHead" >sDeclHead</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ADeclHead" >DeclHead</A > l -> (<A HREF="Language-Haskell-Exts-Syntax.html#t%3AName" >Name</A >, [<A HREF="Language-Haskell-Exts-Syntax.html#t%3ATyVarBind" >TyVarBind</A >])</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsInstHead" >sInstHead</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AInstHead" >InstHead</A > l -> (<A HREF="Language-Haskell-Exts-Syntax.html#t%3AQName" >QName</A >, [<A HREF="Language-Haskell-Exts-Syntax.html#t%3AType" >Type</A >])</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsDataOrNew" >sDataOrNew</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ADataOrNew" >DataOrNew</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ADataOrNew" >DataOrNew</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsDeriving" >sDeriving</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ADeriving" >Deriving</A > l -> [(<A HREF="Language-Haskell-Exts-Syntax.html#t%3AQName" >QName</A >, [<A HREF="Language-Haskell-Exts-Syntax.html#t%3AType" >Type</A >])]</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsBinds" >sBinds</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ABinds" >Binds</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ABinds" >Binds</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsIPBind" >sIPBind</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AIPBind" >IPBind</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AIPBind" >IPBind</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsMatch" >sMatch</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AMatch" >Match</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AMatch" >Match</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsQualConDecl" >sQualConDecl</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AQualConDecl" >QualConDecl</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AQualConDecl" >QualConDecl</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsConDecl" >sConDecl</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AConDecl" >ConDecl</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AConDecl" >ConDecl</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsFieldDecl" >sFieldDecl</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AFieldDecl" >FieldDecl</A > l -> ([<A HREF="Language-Haskell-Exts-Syntax.html#t%3AName" >Name</A >], <A HREF="Language-Haskell-Exts-Syntax.html#t%3ABangType" >BangType</A >)</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsGadtDecl" >sGadtDecl</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AGadtDecl" >GadtDecl</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AGadtDecl" >GadtDecl</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsClassDecl" >sClassDecl</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AClassDecl" >ClassDecl</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AClassDecl" >ClassDecl</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsInstDecl" >sInstDecl</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AInstDecl" >InstDecl</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AInstDecl" >InstDecl</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsBangType" >sBangType</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ABangType" >BangType</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ABangType" >BangType</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsRhs" >sRhs</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ARhs" >Rhs</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ARhs" >Rhs</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsGuardedRhs" >sGuardedRhs</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AGuardedRhs" >GuardedRhs</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AGuardedRhs" >GuardedRhs</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsType" >sType</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AType" >Type</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AType" >Type</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsTyVarBind" >sTyVarBind</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ATyVarBind" >TyVarBind</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ATyVarBind" >TyVarBind</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsKind" >sKind</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AKind" >Kind</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AKind" >Kind</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsFunDep" >sFunDep</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AFunDep" >FunDep</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AFunDep" >FunDep</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsContext" >sContext</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AContext" >Context</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AContext" >Context</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsAsst" >sAsst</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AAsst" >Asst</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AAsst" >Asst</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsLiteral" >sLiteral</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ALiteral" >Literal</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ALiteral" >Literal</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsExp" >sExp</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AExp" >Exp</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AExp" >Exp</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsXName" >sXName</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AXName" >XName</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AXName" >XName</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsXAttr" >sXAttr</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AXAttr" >XAttr</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AXAttr" >XAttr</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsBracket" >sBracket</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ABracket" >Bracket</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ABracket" >Bracket</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsSplice" >sSplice</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ASplice" >Splice</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ASplice" >Splice</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsSafety" >sSafety</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ASafety" >Safety</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ASafety" >Safety</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsCallConv" >sCallConv</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ACallConv" >CallConv</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ACallConv" >CallConv</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsModulePragma" >sModulePragma</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AModulePragma" >ModulePragma</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AModulePragma" >ModulePragma</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsActivation" >sActivation</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AActivation" >Activation</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AActivation" >Activation</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsRule" >sRule</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ARule" >Rule</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ARule" >Rule</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsRuleVar" >sRuleVar</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ARuleVar" >RuleVar</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ARuleVar" >RuleVar</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsWarningText" >sWarningText</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AWarningText" >WarningText</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AWarningText" >WarningText</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsPat" >sPat</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3APat" >Pat</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3APat" >Pat</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsPXAttr" >sPXAttr</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3APXAttr" >PXAttr</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3APXAttr" >PXAttr</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsRPatOp" >sRPatOp</A > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ARPatOp" >RPatOp</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ARPatOp" >RPatOp</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsRPat" >sRPat</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ARPat" >RPat</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ARPat" >RPat</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsPatField" >sPatField</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3APatField" >PatField</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3APatField" >PatField</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsStmt" >sStmt</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AStmt" >Stmt</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AStmt" >Stmt</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsQualStmt" >sQualStmt</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AQualStmt" >QualStmt</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AQualStmt" >QualStmt</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsFieldUpdate" >sFieldUpdate</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AFieldUpdate" >FieldUpdate</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AFieldUpdate" >FieldUpdate</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsAlt" >sAlt</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AAlt" >Alt</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AAlt" >Alt</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsGuardedAlts" >sGuardedAlts</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AGuardedAlts" >GuardedAlts</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AGuardedAlts" >GuardedAlts</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsGuardedAlt" >sGuardedAlt</A > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AGuardedAlt" >GuardedAlt</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AGuardedAlt" >GuardedAlt</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="section1" >Documentation</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sModule" ><A NAME="v%3AsModule" ></A ></A ><B >sModule</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AModule" >Module</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AModule" >Module</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sModule" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="doc" >Translate an annotated AST node representing a Haskell module, into a simpler version that retains (almost) only abstract information. In particular, XML and hybrid XML pages enabled by the XmlSyntax extension are translated into standard Haskell modules with a <TT >page</TT > function. </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sDecl" ><A NAME="v%3AsDecl" ></A ></A ><B >sDecl</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ADecl" >Decl</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ADecl" >Decl</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sDecl" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="doc" >Translate an annotated AST node representing a Haskell declaration into a simpler version. Note that in the simpler version, all declaration nodes are still annotated by <TT ><A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcLoc" >SrcLoc</A ></TT >s. </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sAnnotation" ><A NAME="v%3AsAnnotation" ></A ></A ><B >sAnnotation</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AAnnotation" >Annotation</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AAnnotation" >Annotation</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sAnnotation" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sModuleName" ><A NAME="v%3AsModuleName" ></A ></A ><B >sModuleName</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AModuleName" >ModuleName</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AModuleName" >ModuleName</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sModuleName" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sSpecialCon" ><A NAME="v%3AsSpecialCon" ></A ></A ><B >sSpecialCon</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ASpecialCon" >SpecialCon</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ASpecialCon" >SpecialCon</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sSpecialCon" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sQName" ><A NAME="v%3AsQName" ></A ></A ><B >sQName</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AQName" >QName</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AQName" >QName</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sQName" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sName" ><A NAME="v%3AsName" ></A ></A ><B >sName</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AName" >Name</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AName" >Name</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sName" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sIPName" ><A NAME="v%3AsIPName" ></A ></A ><B >sIPName</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AIPName" >IPName</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AIPName" >IPName</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sIPName" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sQOp" ><A NAME="v%3AsQOp" ></A ></A ><B >sQOp</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AQOp" >QOp</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AQOp" >QOp</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sQOp" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sOp" ><A NAME="v%3AsOp" ></A ></A ><B >sOp</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AOp" >Op</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AOp" >Op</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sOp" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sCName" ><A NAME="v%3AsCName" ></A ></A ><B >sCName</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ACName" >CName</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ACName" >CName</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sCName" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sModuleHead" ><A NAME="v%3AsModuleHead" ></A ></A ><B >sModuleHead</B > :: <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > (<A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AModuleHead" >ModuleHead</A > l) -> (<A HREF="Language-Haskell-Exts-Syntax.html#t%3AModuleName" >ModuleName</A >, <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > <A HREF="Language-Haskell-Exts-Syntax.html#t%3AWarningText" >WarningText</A >, <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > [<A HREF="Language-Haskell-Exts-Syntax.html#t%3AExportSpec" >ExportSpec</A >])</TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sModuleHead" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sExportSpecList" ><A NAME="v%3AsExportSpecList" ></A ></A ><B >sExportSpecList</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AExportSpecList" >ExportSpecList</A > l -> [<A HREF="Language-Haskell-Exts-Syntax.html#t%3AExportSpec" >ExportSpec</A >]</TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sExportSpecList" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sExportSpec" ><A NAME="v%3AsExportSpec" ></A ></A ><B >sExportSpec</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AExportSpec" >ExportSpec</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AExportSpec" >ExportSpec</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sExportSpec" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sImportDecl" ><A NAME="v%3AsImportDecl" ></A ></A ><B >sImportDecl</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AImportDecl" >ImportDecl</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AImportDecl" >ImportDecl</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sImportDecl" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sImportSpecList" ><A NAME="v%3AsImportSpecList" ></A ></A ><B >sImportSpecList</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AImportSpecList" >ImportSpecList</A > l -> (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A >, [<A HREF="Language-Haskell-Exts-Syntax.html#t%3AImportSpec" >ImportSpec</A >])</TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sImportSpecList" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sImportSpec" ><A NAME="v%3AsImportSpec" ></A ></A ><B >sImportSpec</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AImportSpec" >ImportSpec</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AImportSpec" >ImportSpec</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sImportSpec" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sAssoc" ><A NAME="v%3AsAssoc" ></A ></A ><B >sAssoc</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AAssoc" >Assoc</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AAssoc" >Assoc</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sAssoc" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sDeclHead" ><A NAME="v%3AsDeclHead" ></A ></A ><B >sDeclHead</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ADeclHead" >DeclHead</A > l -> (<A HREF="Language-Haskell-Exts-Syntax.html#t%3AName" >Name</A >, [<A HREF="Language-Haskell-Exts-Syntax.html#t%3ATyVarBind" >TyVarBind</A >])</TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sDeclHead" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sInstHead" ><A NAME="v%3AsInstHead" ></A ></A ><B >sInstHead</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AInstHead" >InstHead</A > l -> (<A HREF="Language-Haskell-Exts-Syntax.html#t%3AQName" >QName</A >, [<A HREF="Language-Haskell-Exts-Syntax.html#t%3AType" >Type</A >])</TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sInstHead" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sDataOrNew" ><A NAME="v%3AsDataOrNew" ></A ></A ><B >sDataOrNew</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ADataOrNew" >DataOrNew</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ADataOrNew" >DataOrNew</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sDataOrNew" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sDeriving" ><A NAME="v%3AsDeriving" ></A ></A ><B >sDeriving</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ADeriving" >Deriving</A > l -> [(<A HREF="Language-Haskell-Exts-Syntax.html#t%3AQName" >QName</A >, [<A HREF="Language-Haskell-Exts-Syntax.html#t%3AType" >Type</A >])]</TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sDeriving" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sBinds" ><A NAME="v%3AsBinds" ></A ></A ><B >sBinds</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ABinds" >Binds</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ABinds" >Binds</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sBinds" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sIPBind" ><A NAME="v%3AsIPBind" ></A ></A ><B >sIPBind</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AIPBind" >IPBind</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AIPBind" >IPBind</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sIPBind" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sMatch" ><A NAME="v%3AsMatch" ></A ></A ><B >sMatch</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AMatch" >Match</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AMatch" >Match</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sMatch" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sQualConDecl" ><A NAME="v%3AsQualConDecl" ></A ></A ><B >sQualConDecl</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AQualConDecl" >QualConDecl</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AQualConDecl" >QualConDecl</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sQualConDecl" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sConDecl" ><A NAME="v%3AsConDecl" ></A ></A ><B >sConDecl</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AConDecl" >ConDecl</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AConDecl" >ConDecl</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sConDecl" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sFieldDecl" ><A NAME="v%3AsFieldDecl" ></A ></A ><B >sFieldDecl</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AFieldDecl" >FieldDecl</A > l -> ([<A HREF="Language-Haskell-Exts-Syntax.html#t%3AName" >Name</A >], <A HREF="Language-Haskell-Exts-Syntax.html#t%3ABangType" >BangType</A >)</TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sFieldDecl" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sGadtDecl" ><A NAME="v%3AsGadtDecl" ></A ></A ><B >sGadtDecl</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AGadtDecl" >GadtDecl</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AGadtDecl" >GadtDecl</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sGadtDecl" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sClassDecl" ><A NAME="v%3AsClassDecl" ></A ></A ><B >sClassDecl</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AClassDecl" >ClassDecl</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AClassDecl" >ClassDecl</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sClassDecl" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sInstDecl" ><A NAME="v%3AsInstDecl" ></A ></A ><B >sInstDecl</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AInstDecl" >InstDecl</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AInstDecl" >InstDecl</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sInstDecl" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sBangType" ><A NAME="v%3AsBangType" ></A ></A ><B >sBangType</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ABangType" >BangType</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ABangType" >BangType</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sBangType" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sRhs" ><A NAME="v%3AsRhs" ></A ></A ><B >sRhs</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ARhs" >Rhs</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ARhs" >Rhs</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sRhs" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sGuardedRhs" ><A NAME="v%3AsGuardedRhs" ></A ></A ><B >sGuardedRhs</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AGuardedRhs" >GuardedRhs</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AGuardedRhs" >GuardedRhs</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sGuardedRhs" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sType" ><A NAME="v%3AsType" ></A ></A ><B >sType</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AType" >Type</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AType" >Type</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sType" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sTyVarBind" ><A NAME="v%3AsTyVarBind" ></A ></A ><B >sTyVarBind</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ATyVarBind" >TyVarBind</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ATyVarBind" >TyVarBind</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sTyVarBind" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sKind" ><A NAME="v%3AsKind" ></A ></A ><B >sKind</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AKind" >Kind</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AKind" >Kind</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sKind" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sFunDep" ><A NAME="v%3AsFunDep" ></A ></A ><B >sFunDep</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AFunDep" >FunDep</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AFunDep" >FunDep</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sFunDep" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sContext" ><A NAME="v%3AsContext" ></A ></A ><B >sContext</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AContext" >Context</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AContext" >Context</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sContext" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sAsst" ><A NAME="v%3AsAsst" ></A ></A ><B >sAsst</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AAsst" >Asst</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AAsst" >Asst</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sAsst" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sLiteral" ><A NAME="v%3AsLiteral" ></A ></A ><B >sLiteral</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ALiteral" >Literal</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ALiteral" >Literal</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sLiteral" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sExp" ><A NAME="v%3AsExp" ></A ></A ><B >sExp</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AExp" >Exp</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AExp" >Exp</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sExp" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sXName" ><A NAME="v%3AsXName" ></A ></A ><B >sXName</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AXName" >XName</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AXName" >XName</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sXName" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sXAttr" ><A NAME="v%3AsXAttr" ></A ></A ><B >sXAttr</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AXAttr" >XAttr</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AXAttr" >XAttr</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sXAttr" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sBracket" ><A NAME="v%3AsBracket" ></A ></A ><B >sBracket</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ABracket" >Bracket</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ABracket" >Bracket</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sBracket" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sSplice" ><A NAME="v%3AsSplice" ></A ></A ><B >sSplice</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ASplice" >Splice</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ASplice" >Splice</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sSplice" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sSafety" ><A NAME="v%3AsSafety" ></A ></A ><B >sSafety</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ASafety" >Safety</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ASafety" >Safety</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sSafety" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sCallConv" ><A NAME="v%3AsCallConv" ></A ></A ><B >sCallConv</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ACallConv" >CallConv</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ACallConv" >CallConv</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sCallConv" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sModulePragma" ><A NAME="v%3AsModulePragma" ></A ></A ><B >sModulePragma</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AModulePragma" >ModulePragma</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AModulePragma" >ModulePragma</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sModulePragma" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sActivation" ><A NAME="v%3AsActivation" ></A ></A ><B >sActivation</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AActivation" >Activation</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AActivation" >Activation</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sActivation" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sRule" ><A NAME="v%3AsRule" ></A ></A ><B >sRule</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ARule" >Rule</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ARule" >Rule</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sRule" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sRuleVar" ><A NAME="v%3AsRuleVar" ></A ></A ><B >sRuleVar</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ARuleVar" >RuleVar</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ARuleVar" >RuleVar</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sRuleVar" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sWarningText" ><A NAME="v%3AsWarningText" ></A ></A ><B >sWarningText</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AWarningText" >WarningText</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AWarningText" >WarningText</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sWarningText" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sPat" ><A NAME="v%3AsPat" ></A ></A ><B >sPat</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3APat" >Pat</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3APat" >Pat</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sPat" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sPXAttr" ><A NAME="v%3AsPXAttr" ></A ></A ><B >sPXAttr</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3APXAttr" >PXAttr</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3APXAttr" >PXAttr</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sPXAttr" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sRPatOp" ><A NAME="v%3AsRPatOp" ></A ></A ><B >sRPatOp</B > :: <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ARPatOp" >RPatOp</A > l -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ARPatOp" >RPatOp</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sRPatOp" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sRPat" ><A NAME="v%3AsRPat" ></A ></A ><B >sRPat</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3ARPat" >RPat</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3ARPat" >RPat</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sRPat" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sPatField" ><A NAME="v%3AsPatField" ></A ></A ><B >sPatField</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3APatField" >PatField</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3APatField" >PatField</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sPatField" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sStmt" ><A NAME="v%3AsStmt" ></A ></A ><B >sStmt</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AStmt" >Stmt</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AStmt" >Stmt</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sStmt" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sQualStmt" ><A NAME="v%3AsQualStmt" ></A ></A ><B >sQualStmt</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AQualStmt" >QualStmt</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AQualStmt" >QualStmt</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sQualStmt" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sFieldUpdate" ><A NAME="v%3AsFieldUpdate" ></A ></A ><B >sFieldUpdate</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AFieldUpdate" >FieldUpdate</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AFieldUpdate" >FieldUpdate</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sFieldUpdate" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sAlt" ><A NAME="v%3AsAlt" ></A ></A ><B >sAlt</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AAlt" >Alt</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AAlt" >Alt</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sAlt" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sGuardedAlts" ><A NAME="v%3AsGuardedAlts" ></A ></A ><B >sGuardedAlts</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AGuardedAlts" >GuardedAlts</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AGuardedAlts" >GuardedAlts</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sGuardedAlts" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:sGuardedAlt" ><A NAME="v%3AsGuardedAlt" ></A ></A ><B >sGuardedAlt</B > :: <A HREF="Language-Haskell-Exts-SrcLoc.html#t%3ASrcInfo" >SrcInfo</A > loc => <A HREF="Language-Haskell-Exts-Annotated-Syntax.html#t%3AGuardedAlt" >GuardedAlt</A > loc -> <A HREF="Language-Haskell-Exts-Syntax.html#t%3AGuardedAlt" >GuardedAlt</A ></TD ><TD CLASS="declbut" ><A HREF="src/Language-Haskell-Exts-Annotated-Simplify.html#sGuardedAlt" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="botbar" >Produced by <A HREF="http://www.haskell.org/haddock/" >Haddock</A > version 2.6.1</TD ></TR ></TABLE ></BODY ></HTML >