<!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 >DsUtils</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_DsUtils.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" >ghc-6.12.3: The GHC API</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" >DsUtils</FONT ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="section1" >Description</TD ></TR ><TR ><TD CLASS="doc" >Utility functions for constructing Core syntax, principally for desugaring </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="section1" >Documentation</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:EquationInfo" ><A NAME="t%3AEquationInfo" ></A ></A ><B >EquationInfo</B > </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="section4" >Constructors</TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="5" CELLPADDING="0" ><TR ><TD CLASS="arg" ><A NAME="v:EqnInfo" ><A NAME="v%3AEqnInfo" ></A ></A ><B >EqnInfo</B ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="body" COLSPAN="2" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" ><A NAME="v:eqn_pats" ><A NAME="v%3Aeqn_pats" ></A ></A ><B >eqn_pats</B > :: [<A HREF="HsPat.html#t%3APat" >Pat</A > <A HREF="Var.html#t%3AId" >Id</A >]</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:eqn_rhs" ><A NAME="v%3Aeqn_rhs" ></A ></A ><B >eqn_rhs</B > :: <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A ></TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:EquationInfo')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:EquationInfo" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Outputable.html#t%3AOutputable" >Outputable</A > <A HREF="DsUtils.html#t%3AEquationInfo" >EquationInfo</A ></TD ></TR ></TABLE ></DIV ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:firstPat" ><A NAME="v%3AfirstPat" ></A ></A ><B >firstPat</B > :: <A HREF="DsUtils.html#t%3AEquationInfo" >EquationInfo</A > -> <A HREF="HsPat.html#t%3APat" >Pat</A > <A HREF="Var.html#t%3AId" >Id</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:shiftEqns" ><A NAME="v%3AshiftEqns" ></A ></A ><B >shiftEqns</B > :: [<A HREF="DsUtils.html#t%3AEquationInfo" >EquationInfo</A >] -> [<A HREF="DsUtils.html#t%3AEquationInfo" >EquationInfo</A >]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:MatchResult" ><A NAME="t%3AMatchResult" ></A ></A ><B >MatchResult</B > </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="section4" >Constructors</TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" ><A NAME="v:MatchResult" ><A NAME="v%3AMatchResult" ></A ></A ><B >MatchResult</B > <A HREF="DsUtils.html#t%3ACanItFail" >CanItFail</A > (<A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="DsMonad.html#t%3ADsM" >DsM</A > <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A >)</TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:CanItFail" ><A NAME="t%3ACanItFail" ></A ></A ><B >CanItFail</B > </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="section4" >Constructors</TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" ><A NAME="v:CanFail" ><A NAME="v%3ACanFail" ></A ></A ><B >CanFail</B ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:CantFail" ><A NAME="v%3ACantFail" ></A ></A ><B >CantFail</B ></TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:cantFailMatchResult" ><A NAME="v%3AcantFailMatchResult" ></A ></A ><B >cantFailMatchResult</B > :: <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:alwaysFailMatchResult" ><A NAME="v%3AalwaysFailMatchResult" ></A ></A ><B >alwaysFailMatchResult</B > :: <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:extractMatchResult" ><A NAME="v%3AextractMatchResult" ></A ></A ><B >extractMatchResult</B > :: <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A > -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="DsMonad.html#t%3ADsM" >DsM</A > <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:combineMatchResults" ><A NAME="v%3AcombineMatchResults" ></A ></A ><B >combineMatchResults</B > :: <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A > -> <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A > -> <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:adjustMatchResult" ><A NAME="v%3AadjustMatchResult" ></A ></A ><B >adjustMatchResult</B > :: <A HREF="DsMonad.html#t%3ADsWrapper" >DsWrapper</A > -> <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A > -> <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:adjustMatchResultDs" ><A NAME="v%3AadjustMatchResultDs" ></A ></A ><B >adjustMatchResultDs</B > :: (<A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="DsMonad.html#t%3ADsM" >DsM</A > <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A >) -> <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A > -> <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkCoLetMatchResult" ><A NAME="v%3AmkCoLetMatchResult" ></A ></A ><B >mkCoLetMatchResult</B > :: <A HREF="CoreSyn.html#t%3ACoreBind" >CoreBind</A > -> <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A > -> <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkViewMatchResult" ><A NAME="v%3AmkViewMatchResult" ></A ></A ><B >mkViewMatchResult</B > :: <A HREF="Var.html#t%3AId" >Id</A > -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="Var.html#t%3AId" >Id</A > -> <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A > -> <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkGuardedMatchResult" ><A NAME="v%3AmkGuardedMatchResult" ></A ></A ><B >mkGuardedMatchResult</B > :: <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A > -> <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:matchCanFail" ><A NAME="v%3AmatchCanFail" ></A ></A ><B >matchCanFail</B > :: <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkEvalMatchResult" ><A NAME="v%3AmkEvalMatchResult" ></A ></A ><B >mkEvalMatchResult</B > :: <A HREF="Var.html#t%3AId" >Id</A > -> <A HREF="Type.html#t%3AType" >Type</A > -> <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A > -> <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkCoPrimCaseMatchResult" ><A NAME="v%3AmkCoPrimCaseMatchResult" ></A ></A ><B >mkCoPrimCaseMatchResult</B > :: <A HREF="Var.html#t%3AId" >Id</A > -> <A HREF="Type.html#t%3AType" >Type</A > -> [(<A HREF="Literal.html#t%3ALiteral" >Literal</A >, <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A >)] -> <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkCoAlgCaseMatchResult" ><A NAME="v%3AmkCoAlgCaseMatchResult" ></A ></A ><B >mkCoAlgCaseMatchResult</B > :: <A HREF="Var.html#t%3AId" >Id</A > -> <A HREF="Type.html#t%3AType" >Type</A > -> [(<A HREF="DataCon.html#t%3ADataCon" >DataCon</A >, [<A HREF="CoreSyn.html#t%3ACoreBndr" >CoreBndr</A >], <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A >)] -> <A HREF="DsUtils.html#t%3AMatchResult" >MatchResult</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:wrapBind" ><A NAME="v%3AwrapBind" ></A ></A ><B >wrapBind</B > :: <A HREF="Var.html#t%3AVar" >Var</A > -> <A HREF="Var.html#t%3AVar" >Var</A > -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:wrapBinds" ><A NAME="v%3AwrapBinds" ></A ></A ><B >wrapBinds</B > :: [(<A HREF="Var.html#t%3AVar" >Var</A >, <A HREF="Var.html#t%3AVar" >Var</A >)] -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkErrorAppDs" ><A NAME="v%3AmkErrorAppDs" ></A ></A ><B >mkErrorAppDs</B > :: <A HREF="Var.html#t%3AId" >Id</A > -> <A HREF="Type.html#t%3AType" >Type</A > -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A > -> <A HREF="DsMonad.html#t%3ADsM" >DsM</A > <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkCoreAppDs" ><A NAME="v%3AmkCoreAppDs" ></A ></A ><B >mkCoreAppDs</B > :: <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkCoreAppsDs" ><A NAME="v%3AmkCoreAppsDs" ></A ></A ><B >mkCoreAppsDs</B > :: <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> [<A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A >] -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:seqVar" ><A NAME="v%3AseqVar" ></A ></A ><B >seqVar</B > :: <A HREF="Var.html#t%3AVar" >Var</A > -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkLHsVarPatTup" ><A NAME="v%3AmkLHsVarPatTup" ></A ></A ><B >mkLHsVarPatTup</B > :: [<A HREF="Var.html#t%3AId" >Id</A >] -> <A HREF="HsPat.html#t%3ALPat" >LPat</A > <A HREF="Var.html#t%3AId" >Id</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkLHsPatTup" ><A NAME="v%3AmkLHsPatTup" ></A ></A ><B >mkLHsPatTup</B > :: [<A HREF="HsPat.html#t%3ALPat" >LPat</A > <A HREF="Var.html#t%3AId" >Id</A >] -> <A HREF="HsPat.html#t%3ALPat" >LPat</A > <A HREF="Var.html#t%3AId" >Id</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkVanillaTuplePat" ><A NAME="v%3AmkVanillaTuplePat" ></A ></A ><B >mkVanillaTuplePat</B > :: [<A HREF="HsPat.html#t%3AOutPat" >OutPat</A > <A HREF="Var.html#t%3AId" >Id</A >] -> <A HREF="BasicTypes.html#t%3ABoxity" >Boxity</A > -> <A HREF="HsPat.html#t%3APat" >Pat</A > <A HREF="Var.html#t%3AId" >Id</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkBigLHsVarTup" ><A NAME="v%3AmkBigLHsVarTup" ></A ></A ><B >mkBigLHsVarTup</B > :: [<A HREF="Var.html#t%3AId" >Id</A >] -> <A HREF="HsExpr.html#t%3ALHsExpr" >LHsExpr</A > <A HREF="Var.html#t%3AId" >Id</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkBigLHsTup" ><A NAME="v%3AmkBigLHsTup" ></A ></A ><B >mkBigLHsTup</B > :: [<A HREF="HsExpr.html#t%3ALHsExpr" >LHsExpr</A > <A HREF="Var.html#t%3AId" >Id</A >] -> <A HREF="HsExpr.html#t%3ALHsExpr" >LHsExpr</A > <A HREF="Var.html#t%3AId" >Id</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkBigLHsVarPatTup" ><A NAME="v%3AmkBigLHsVarPatTup" ></A ></A ><B >mkBigLHsVarPatTup</B > :: [<A HREF="Var.html#t%3AId" >Id</A >] -> <A HREF="HsPat.html#t%3ALPat" >LPat</A > <A HREF="Var.html#t%3AId" >Id</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkBigLHsPatTup" ><A NAME="v%3AmkBigLHsPatTup" ></A ></A ><B >mkBigLHsPatTup</B > :: [<A HREF="HsPat.html#t%3ALPat" >LPat</A > <A HREF="Var.html#t%3AId" >Id</A >] -> <A HREF="HsPat.html#t%3ALPat" >LPat</A > <A HREF="Var.html#t%3AId" >Id</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkSelectorBinds" ><A NAME="v%3AmkSelectorBinds" ></A ></A ><B >mkSelectorBinds</B > :: <A HREF="HsPat.html#t%3ALPat" >LPat</A > <A HREF="Var.html#t%3AId" >Id</A > -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="DsMonad.html#t%3ADsM" >DsM</A > [(<A HREF="Var.html#t%3AId" >Id</A >, <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A >)]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:dsSyntaxTable" ><A NAME="v%3AdsSyntaxTable" ></A ></A ><B >dsSyntaxTable</B > :: <A HREF="HsExpr.html#t%3ASyntaxTable" >SyntaxTable</A > <A HREF="Var.html#t%3AId" >Id</A > -> <A HREF="DsMonad.html#t%3ADsM" >DsM</A > ([<A HREF="CoreSyn.html#t%3ACoreBind" >CoreBind</A >], [(<A HREF="Name.html#t%3AName" >Name</A >, <A HREF="Var.html#t%3AId" >Id</A >)])</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:lookupEvidence" ><A NAME="v%3AlookupEvidence" ></A ></A ><B >lookupEvidence</B > :: [(<A HREF="Name.html#t%3AName" >Name</A >, <A HREF="Var.html#t%3AId" >Id</A >)] -> <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="Var.html#t%3AId" >Id</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:selectSimpleMatchVarL" ><A NAME="v%3AselectSimpleMatchVarL" ></A ></A ><B >selectSimpleMatchVarL</B > :: <A HREF="HsPat.html#t%3ALPat" >LPat</A > <A HREF="Var.html#t%3AId" >Id</A > -> <A HREF="DsMonad.html#t%3ADsM" >DsM</A > <A HREF="Var.html#t%3AId" >Id</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:selectMatchVars" ><A NAME="v%3AselectMatchVars" ></A ></A ><B >selectMatchVars</B > :: [<A HREF="HsPat.html#t%3APat" >Pat</A > <A HREF="Var.html#t%3AId" >Id</A >] -> <A HREF="DsMonad.html#t%3ADsM" >DsM</A > [<A HREF="Var.html#t%3AId" >Id</A >]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:selectMatchVar" ><A NAME="v%3AselectMatchVar" ></A ></A ><B >selectMatchVar</B > :: <A HREF="HsPat.html#t%3APat" >Pat</A > <A HREF="Var.html#t%3AId" >Id</A > -> <A HREF="DsMonad.html#t%3ADsM" >DsM</A > <A HREF="Var.html#t%3AId" >Id</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkTickBox" ><A NAME="v%3AmkTickBox" ></A ></A ><B >mkTickBox</B > :: <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A > -> [<A HREF="Var.html#t%3AId" >Id</A >] -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="DsMonad.html#t%3ADsM" >DsM</A > <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkOptTickBox" ><A NAME="v%3AmkOptTickBox" ></A ></A ><B >mkOptTickBox</B > :: <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > (<A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A >, [<A HREF="Var.html#t%3AId" >Id</A >]) -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="DsMonad.html#t%3ADsM" >DsM</A > <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkBinaryTickBox" ><A NAME="v%3AmkBinaryTickBox" ></A ></A ><B >mkBinaryTickBox</B > :: <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A > -> <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A > -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="DsMonad.html#t%3ADsM" >DsM</A > <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A ></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 >