<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html> <head> <!-- Generated by HsColour, http://www.cs.york.ac.uk/fp/darcs/hscolour/ --> <title>System/Console/CmdArgs/Explicit/Type.hs</title> <link type='text/css' rel='stylesheet' href='hscolour.css' /> </head> <body> <pre><a name="line-1"></a> <a name="line-2"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>System</span><span class='hs-varop'>.</span><span class='hs-conid'>Console</span><span class='hs-varop'>.</span><span class='hs-conid'>CmdArgs</span><span class='hs-varop'>.</span><span class='hs-conid'>Explicit</span><span class='hs-varop'>.</span><span class='hs-conid'>Type</span> <span class='hs-keyword'>where</span> <a name="line-3"></a> <a name="line-4"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Arrow</span> <a name="line-5"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Monad</span> <a name="line-6"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Char</span> <a name="line-7"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>List</span> <a name="line-8"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Maybe</span> <a name="line-9"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Monoid</span> <a name="line-10"></a> <a name="line-11"></a> <a name="line-12"></a><a name="Name"></a><span class='hs-comment'>-- | A name, either the name of a flag (@--/foo/@) or the name of a mode.</span> <a name="line-13"></a><a name="Name"></a><span class='hs-keyword'>type</span> <span class='hs-conid'>Name</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>String</span> <a name="line-14"></a> <a name="line-15"></a><a name="Help"></a><span class='hs-comment'>-- | A help message that goes with either a flag or a mode.</span> <a name="line-16"></a><a name="Help"></a><span class='hs-keyword'>type</span> <span class='hs-conid'>Help</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>String</span> <a name="line-17"></a> <a name="line-18"></a><a name="FlagHelp"></a><span class='hs-comment'>-- | The type of a flag, i.e. @--foo=/TYPE/@.</span> <a name="line-19"></a><a name="FlagHelp"></a><span class='hs-keyword'>type</span> <span class='hs-conid'>FlagHelp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>String</span> <a name="line-20"></a> <a name="line-21"></a> <a name="line-22"></a><span class='hs-comment'>---------------------------------------------------------------------</span> <a name="line-23"></a><span class='hs-comment'>-- UTILITY</span> <a name="line-24"></a> <a name="line-25"></a><a name="parseBool"></a><span class='hs-comment'>-- | Parse a boolean, accepts as True: true yes on enabled 1. </span> <a name="line-26"></a><span class='hs-definition'>parseBool</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Bool</span> <a name="line-27"></a><span class='hs-definition'>parseBool</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>ls</span> <span class='hs-varop'>`elem`</span> <span class='hs-varid'>true</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>True</span> <a name="line-28"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>ls</span> <span class='hs-varop'>`elem`</span> <span class='hs-varid'>false</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>False</span> <a name="line-29"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Nothing</span> <a name="line-30"></a> <span class='hs-keyword'>where</span> <a name="line-31"></a> <span class='hs-varid'>ls</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-varid'>toLower</span> <span class='hs-varid'>s</span> <a name="line-32"></a> <span class='hs-varid'>true</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"true"</span><span class='hs-layout'>,</span><span class='hs-str'>"yes"</span><span class='hs-layout'>,</span><span class='hs-str'>"on"</span><span class='hs-layout'>,</span><span class='hs-str'>"enabled"</span><span class='hs-layout'>,</span><span class='hs-str'>"1"</span><span class='hs-keyglyph'>]</span> <a name="line-33"></a> <span class='hs-varid'>false</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"false"</span><span class='hs-layout'>,</span><span class='hs-str'>"no"</span><span class='hs-layout'>,</span><span class='hs-str'>"off"</span><span class='hs-layout'>,</span><span class='hs-str'>"disabled"</span><span class='hs-layout'>,</span><span class='hs-str'>"0"</span><span class='hs-keyglyph'>]</span> <a name="line-34"></a> <a name="line-35"></a> <a name="line-36"></a><span class='hs-comment'>---------------------------------------------------------------------</span> <a name="line-37"></a><span class='hs-comment'>-- GROUPS</span> <a name="line-38"></a> <a name="line-39"></a><a name="Group"></a><span class='hs-comment'>-- | A group of items (modes or flags). The items are treated as a list, but the</span> <a name="line-40"></a><a name="Group"></a><span class='hs-comment'>-- group structure is used when displaying the help message.</span> <a name="line-41"></a><a name="Group"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Group</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Group</span> <a name="line-42"></a> <span class='hs-layout'>{</span><span class='hs-varid'>groupUnnamed</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span> <span class='hs-comment'>-- ^ Normal items.</span> <a name="line-43"></a> <span class='hs-layout'>,</span><span class='hs-varid'>groupHidden</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span> <span class='hs-comment'>-- ^ Items that are hidden (not displayed in the help message).</span> <a name="line-44"></a> <span class='hs-layout'>,</span><span class='hs-varid'>groupNamed</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>Help</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <span class='hs-comment'>-- ^ Items that have been grouped, along with a description of each group.</span> <a name="line-45"></a> <span class='hs-layout'>}</span> <span class='hs-keyword'>deriving</span> <span class='hs-conid'>Show</span> <a name="line-46"></a> <a name="line-47"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Functor</span> <span class='hs-conid'>Group</span> <span class='hs-keyword'>where</span> <a name="line-48"></a> <span class='hs-varid'>fmap</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>Group</span> <span class='hs-varid'>a</span> <span class='hs-varid'>b</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Group</span> <span class='hs-layout'>(</span><span class='hs-varid'>map</span> <span class='hs-varid'>f</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>map</span> <span class='hs-varid'>f</span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-varid'>second</span> <span class='hs-varop'>$</span> <span class='hs-varid'>map</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <a name="line-49"></a> <a name="line-50"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Monoid</span> <span class='hs-layout'>(</span><span class='hs-conid'>Group</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span> <a name="line-51"></a> <span class='hs-varid'>mempty</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Group</span> <span class='hs-conid'>[]</span> <span class='hs-conid'>[]</span> <span class='hs-conid'>[]</span> <a name="line-52"></a> <span class='hs-varid'>mappend</span> <span class='hs-layout'>(</span><span class='hs-conid'>Group</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>x2</span> <span class='hs-varid'>x3</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Group</span> <span class='hs-varid'>y1</span> <span class='hs-varid'>y2</span> <span class='hs-varid'>y3</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Group</span> <span class='hs-layout'>(</span><span class='hs-varid'>x1</span><span class='hs-varop'>++</span><span class='hs-varid'>y1</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>x2</span><span class='hs-varop'>++</span><span class='hs-varid'>y2</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>x3</span><span class='hs-varop'>++</span><span class='hs-varid'>y3</span><span class='hs-layout'>)</span> <a name="line-53"></a> <a name="line-54"></a><a name="fromGroup"></a><span class='hs-comment'>-- | Convert a group into a list.</span> <a name="line-55"></a><span class='hs-definition'>fromGroup</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Group</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span> <a name="line-56"></a><span class='hs-definition'>fromGroup</span> <span class='hs-layout'>(</span><span class='hs-conid'>Group</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span> <span class='hs-varid'>z</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <span class='hs-varop'>++</span> <span class='hs-varid'>y</span> <span class='hs-varop'>++</span> <span class='hs-varid'>concatMap</span> <span class='hs-varid'>snd</span> <span class='hs-varid'>z</span> <a name="line-57"></a> <a name="line-58"></a><a name="toGroup"></a><span class='hs-comment'>-- | Convert a list into a group, placing all fields in 'groupUnnamed'.</span> <a name="line-59"></a><span class='hs-definition'>toGroup</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Group</span> <span class='hs-varid'>a</span> <a name="line-60"></a><span class='hs-definition'>toGroup</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Group</span> <span class='hs-varid'>x</span> <span class='hs-conid'>[]</span> <span class='hs-conid'>[]</span> <a name="line-61"></a> <a name="line-62"></a> <a name="line-63"></a><span class='hs-comment'>---------------------------------------------------------------------</span> <a name="line-64"></a><span class='hs-comment'>-- TYPES</span> <a name="line-65"></a> <a name="line-66"></a><a name="showRecord"></a><span class='hs-definition'>showRecord</span> <span class='hs-varid'>x</span> <span class='hs-varid'>ys</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <span class='hs-varop'>++</span> <span class='hs-str'>" {"</span> <span class='hs-varop'>++</span> <span class='hs-varid'>intercalate</span> <span class='hs-str'>", "</span> <span class='hs-varid'>ys</span> <span class='hs-varop'>++</span> <span class='hs-str'>"}"</span> <a name="line-67"></a><a name="*="></a><span class='hs-definition'>a</span> <span class='hs-varop'>*=</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>a</span> <span class='hs-varop'>++</span> <span class='hs-str'>" = "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>b</span> <a name="line-68"></a> <a name="line-69"></a> <a name="line-70"></a><a name="Mode"></a><span class='hs-comment'>-- | A mode. Each mode has three main features:</span> <a name="line-71"></a><a name="Mode"></a><span class='hs-comment'>--</span> <a name="line-72"></a><a name="Mode"></a><span class='hs-comment'>-- * A list of submodes ('modeGroupModes')</span> <a name="line-73"></a><a name="Mode"></a><span class='hs-comment'>--</span> <a name="line-74"></a><a name="Mode"></a><span class='hs-comment'>-- * A list of flags ('modeGroupFlags')</span> <a name="line-75"></a><a name="Mode"></a><span class='hs-comment'>--</span> <a name="line-76"></a><a name="Mode"></a><span class='hs-comment'>-- * Optionally an unnamed argument ('modeArgs')</span> <a name="line-77"></a><a name="Mode"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Mode</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Mode</span> <a name="line-78"></a> <span class='hs-layout'>{</span><span class='hs-varid'>modeGroupModes</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Group</span> <span class='hs-layout'>(</span><span class='hs-conid'>Mode</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-comment'>-- ^ The available sub-modes</span> <a name="line-79"></a> <span class='hs-layout'>,</span><span class='hs-varid'>modeNames</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Name</span><span class='hs-keyglyph'>]</span> <span class='hs-comment'>-- ^ The names assigned to this mode (for the root mode, this name is used as the program name)</span> <a name="line-80"></a> <span class='hs-layout'>,</span><span class='hs-varid'>modeValue</span> <span class='hs-keyglyph'>::</span> <span class='hs-varid'>a</span> <span class='hs-comment'>-- ^ Value to start with</span> <a name="line-81"></a> <span class='hs-layout'>,</span><span class='hs-varid'>modeCheck</span> <span class='hs-keyglyph'>::</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Either</span> <span class='hs-conid'>String</span> <span class='hs-varid'>a</span> <span class='hs-comment'>-- ^ Check the value reprsented by a mode is correct, after applying all flags</span> <a name="line-82"></a> <span class='hs-layout'>,</span><span class='hs-varid'>modeReform</span> <span class='hs-keyglyph'>::</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span> <span class='hs-comment'>-- ^ Given a value, try to generate the input arguments.</span> <a name="line-83"></a> <span class='hs-layout'>,</span><span class='hs-varid'>modeHelp</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Help</span> <span class='hs-comment'>-- ^ Help text</span> <a name="line-84"></a> <span class='hs-layout'>,</span><span class='hs-varid'>modeHelpSuffix</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span> <span class='hs-comment'>-- ^ A longer help suffix displayed after a mode</span> <a name="line-85"></a> <span class='hs-layout'>,</span><span class='hs-varid'>modeArgs</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Maybe</span> <span class='hs-layout'>(</span><span class='hs-conid'>Arg</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-comment'>-- ^ An unnamed argument</span> <a name="line-86"></a> <span class='hs-layout'>,</span><span class='hs-varid'>modeGroupFlags</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Group</span> <span class='hs-layout'>(</span><span class='hs-conid'>Flag</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-comment'>-- ^ Groups of flags</span> <a name="line-87"></a> <span class='hs-layout'>}</span> <a name="line-88"></a> <a name="line-89"></a><a name="modeModes"></a><span class='hs-comment'>-- | Extract the modes from a 'Mode'</span> <a name="line-90"></a><span class='hs-definition'>modeModes</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Mode</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Mode</span> <span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span> <a name="line-91"></a><span class='hs-definition'>modeModes</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromGroup</span> <span class='hs-varop'>.</span> <span class='hs-varid'>modeGroupModes</span> <a name="line-92"></a> <a name="line-93"></a><a name="modeFlags"></a><span class='hs-comment'>-- | Extract the flags from a 'Mode'</span> <a name="line-94"></a><span class='hs-definition'>modeFlags</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Mode</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Flag</span> <span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span> <a name="line-95"></a><span class='hs-definition'>modeFlags</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromGroup</span> <span class='hs-varop'>.</span> <span class='hs-varid'>modeGroupFlags</span> <a name="line-96"></a> <a name="line-97"></a><a name="FlagInfo"></a><span class='hs-comment'>-- | The 'FlagInfo' type has the following meaning:</span> <a name="line-98"></a><a name="FlagInfo"></a><span class='hs-comment'>--</span> <a name="line-99"></a><a name="FlagInfo"></a><span class='hs-comment'>--</span> <a name="line-100"></a><a name="FlagInfo"></a><span class='hs-comment'>-- > FlagReq FlagOpt FlagOptRare/FlagNone</span> <a name="line-101"></a><a name="FlagInfo"></a><span class='hs-comment'>-- > -xfoo -x=foo -x=foo -x= -foo</span> <a name="line-102"></a><a name="FlagInfo"></a><span class='hs-comment'>-- > -x foo -x=foo -x foo -x= foo</span> <a name="line-103"></a><a name="FlagInfo"></a><span class='hs-comment'>-- > -x=foo -x=foo -x=foo -x=foo</span> <a name="line-104"></a><a name="FlagInfo"></a><span class='hs-comment'>-- > --xx foo --xx=foo --xx foo --xx foo</span> <a name="line-105"></a><a name="FlagInfo"></a><span class='hs-comment'>-- > --xx=foo --xx=foo --xx=foo --xx=foo</span> <a name="line-106"></a><a name="FlagInfo"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>FlagInfo</span> <a name="line-107"></a> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>FlagReq</span> <span class='hs-comment'>-- ^ Required argument</span> <a name="line-108"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>FlagOpt</span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ Optional argument</span> <a name="line-109"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>FlagOptRare</span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ Optional argument that requires an = before the value</span> <a name="line-110"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>FlagNone</span> <span class='hs-comment'>-- ^ No argument</span> <a name="line-111"></a> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Eq</span><span class='hs-layout'>,</span><span class='hs-conid'>Ord</span><span class='hs-layout'>,</span><span class='hs-conid'>Show</span><span class='hs-layout'>)</span> <a name="line-112"></a> <a name="line-113"></a><a name="fromFlagOpt"></a><span class='hs-comment'>-- | Extract the value from inside a 'FlagOpt' or 'FlagOptRare', or raises an error.</span> <a name="line-114"></a><span class='hs-definition'>fromFlagOpt</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FlagInfo</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <a name="line-115"></a><span class='hs-definition'>fromFlagOpt</span> <span class='hs-layout'>(</span><span class='hs-conid'>FlagOpt</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <a name="line-116"></a><span class='hs-definition'>fromFlagOpt</span> <span class='hs-layout'>(</span><span class='hs-conid'>FlagOptRare</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <a name="line-117"></a> <a name="line-118"></a><a name="Update"></a><span class='hs-comment'>-- | A function to take a string, and a value, and either produce an error message</span> <a name="line-119"></a><a name="Update"></a><span class='hs-comment'>-- (@Left@), or a modified value (@Right@).</span> <a name="line-120"></a><a name="Update"></a><span class='hs-keyword'>type</span> <span class='hs-conid'>Update</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Either</span> <span class='hs-conid'>String</span> <span class='hs-varid'>a</span> <a name="line-121"></a> <a name="line-122"></a><a name="Flag"></a><span class='hs-comment'>-- | A flag, consisting of a list of flag names and other information.</span> <a name="line-123"></a><a name="Flag"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Flag</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Flag</span> <a name="line-124"></a> <span class='hs-layout'>{</span><span class='hs-varid'>flagNames</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Name</span><span class='hs-keyglyph'>]</span> <span class='hs-comment'>-- ^ The names for the flag.</span> <a name="line-125"></a> <span class='hs-layout'>,</span><span class='hs-varid'>flagInfo</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FlagInfo</span> <span class='hs-comment'>-- ^ Information about a flag's arguments.</span> <a name="line-126"></a> <span class='hs-layout'>,</span><span class='hs-varid'>flagValue</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Update</span> <span class='hs-varid'>a</span> <span class='hs-comment'>-- ^ The way of processing a flag.</span> <a name="line-127"></a> <span class='hs-layout'>,</span><span class='hs-varid'>flagType</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FlagHelp</span> <span class='hs-comment'>-- ^ The type of data for the flag argument, i.e. FILE\/DIR\/EXT</span> <a name="line-128"></a> <span class='hs-layout'>,</span><span class='hs-varid'>flagHelp</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Help</span> <span class='hs-comment'>-- ^ The help message associated with this flag.</span> <a name="line-129"></a> <span class='hs-layout'>}</span> <a name="line-130"></a> <a name="line-131"></a> <a name="line-132"></a><a name="Arg"></a><span class='hs-comment'>-- | An unnamed argument. Anything not starting with @-@ is considered an argument,</span> <a name="line-133"></a><a name="Arg"></a><span class='hs-comment'>-- apart from @\"-\"@ which is considered to be the argument @\"-\"@, and any arguments</span> <a name="line-134"></a><a name="Arg"></a><span class='hs-comment'>-- following @\"--\"@. For example:</span> <a name="line-135"></a><a name="Arg"></a><span class='hs-comment'>--</span> <a name="line-136"></a><a name="Arg"></a><span class='hs-comment'>-- > programname arg1 -j - --foo arg3 -- -arg4 --arg5=1 arg6</span> <a name="line-137"></a><a name="Arg"></a><span class='hs-comment'>--</span> <a name="line-138"></a><a name="Arg"></a><span class='hs-comment'>-- Would have the arguments:</span> <a name="line-139"></a><a name="Arg"></a><span class='hs-comment'>--</span> <a name="line-140"></a><a name="Arg"></a><span class='hs-comment'>-- > ["arg1","-","arg3","-arg4","--arg5=1","arg6"]</span> <a name="line-141"></a><a name="Arg"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Arg</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Arg</span> <a name="line-142"></a> <span class='hs-layout'>{</span><span class='hs-varid'>argValue</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Update</span> <span class='hs-varid'>a</span> <span class='hs-comment'>-- ^ A way of processing the argument.</span> <a name="line-143"></a> <span class='hs-layout'>,</span><span class='hs-varid'>argType</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FlagHelp</span> <span class='hs-comment'>-- ^ The type of data for the argument, i.e. FILE\/DIR\/EXT</span> <a name="line-144"></a> <span class='hs-layout'>}</span> <a name="line-145"></a> <a name="line-146"></a> <a name="line-147"></a><span class='hs-comment'>---------------------------------------------------------------------</span> <a name="line-148"></a><span class='hs-comment'>-- CHECK FLAGS</span> <a name="line-149"></a> <a name="line-150"></a><a name="checkMode"></a><span class='hs-comment'>-- | Check that a mode is well formed.</span> <a name="line-151"></a><span class='hs-definition'>checkMode</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Mode</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>String</span> <a name="line-152"></a><span class='hs-definition'>checkMode</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>msum</span> <a name="line-153"></a> <span class='hs-keyglyph'>[</span><span class='hs-varid'>checkNames</span> <span class='hs-str'>"modes"</span> <span class='hs-varop'>$</span> <span class='hs-varid'>concatMap</span> <span class='hs-varid'>modeNames</span> <span class='hs-varop'>$</span> <span class='hs-varid'>modeModes</span> <span class='hs-varid'>x</span> <a name="line-154"></a> <span class='hs-layout'>,</span><span class='hs-varid'>msum</span> <span class='hs-varop'>$</span> <span class='hs-varid'>map</span> <span class='hs-varid'>checkMode</span> <span class='hs-varop'>$</span> <span class='hs-varid'>modeModes</span> <span class='hs-varid'>x</span> <a name="line-155"></a> <span class='hs-layout'>,</span><span class='hs-varid'>checkGroup</span> <span class='hs-varop'>$</span> <span class='hs-varid'>modeGroupModes</span> <span class='hs-varid'>x</span> <a name="line-156"></a> <span class='hs-layout'>,</span><span class='hs-varid'>checkGroup</span> <span class='hs-varop'>$</span> <span class='hs-varid'>modeGroupFlags</span> <span class='hs-varid'>x</span> <a name="line-157"></a> <span class='hs-layout'>,</span><span class='hs-varid'>checkNames</span> <span class='hs-str'>"flag names"</span> <span class='hs-varop'>$</span> <span class='hs-varid'>concatMap</span> <span class='hs-varid'>flagNames</span> <span class='hs-varop'>$</span> <span class='hs-varid'>modeFlags</span> <span class='hs-varid'>x</span><span class='hs-keyglyph'>]</span> <a name="line-158"></a> <span class='hs-keyword'>where</span> <a name="line-159"></a> <span class='hs-varid'>checkGroup</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Group</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>String</span> <a name="line-160"></a> <span class='hs-varid'>checkGroup</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>msum</span> <a name="line-161"></a> <span class='hs-keyglyph'>[</span><span class='hs-varid'>check</span> <span class='hs-str'>"Empty group name"</span> <span class='hs-varop'>$</span> <span class='hs-varid'>all</span> <span class='hs-layout'>(</span><span class='hs-varid'>not</span> <span class='hs-varop'>.</span> <span class='hs-varid'>null</span> <span class='hs-varop'>.</span> <span class='hs-varid'>fst</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>groupNamed</span> <span class='hs-varid'>x</span> <a name="line-162"></a> <span class='hs-layout'>,</span><span class='hs-varid'>check</span> <span class='hs-str'>"Empty group contents"</span> <span class='hs-varop'>$</span> <span class='hs-varid'>all</span> <span class='hs-layout'>(</span><span class='hs-varid'>not</span> <span class='hs-varop'>.</span> <span class='hs-varid'>null</span> <span class='hs-varop'>.</span> <span class='hs-varid'>snd</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>groupNamed</span> <span class='hs-varid'>x</span><span class='hs-keyglyph'>]</span> <a name="line-163"></a> <a name="line-164"></a> <span class='hs-varid'>checkNames</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Name</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>String</span> <a name="line-165"></a> <span class='hs-varid'>checkNames</span> <span class='hs-varid'>msg</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>check</span> <span class='hs-str'>"Empty names"</span> <span class='hs-layout'>(</span><span class='hs-varid'>all</span> <span class='hs-layout'>(</span><span class='hs-varid'>not</span> <span class='hs-varop'>.</span> <span class='hs-varid'>null</span><span class='hs-layout'>)</span> <span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-varop'>`mplus`</span> <span class='hs-keyword'>do</span> <a name="line-166"></a> <span class='hs-varid'>bad</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>listToMaybe</span> <span class='hs-varop'>$</span> <span class='hs-varid'>xs</span> <span class='hs-varop'>\\</span> <span class='hs-varid'>nub</span> <span class='hs-varid'>xs</span> <a name="line-167"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>dupe</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>filter</span> <span class='hs-layout'>(</span><span class='hs-varop'>==</span> <span class='hs-varid'>bad</span><span class='hs-layout'>)</span> <span class='hs-varid'>xs</span> <a name="line-168"></a> <span class='hs-varid'>return</span> <span class='hs-varop'>$</span> <span class='hs-str'>"Sanity check failed, multiple "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>msg</span> <span class='hs-varop'>++</span> <span class='hs-str'>": "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>unwords</span> <span class='hs-layout'>(</span><span class='hs-varid'>map</span> <span class='hs-varid'>show</span> <span class='hs-varid'>dupe</span><span class='hs-layout'>)</span> <a name="line-169"></a> <a name="line-170"></a> <span class='hs-varid'>check</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>String</span> <a name="line-171"></a> <span class='hs-varid'>check</span> <span class='hs-varid'>msg</span> <span class='hs-conid'>True</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Nothing</span> <a name="line-172"></a> <span class='hs-varid'>check</span> <span class='hs-varid'>msg</span> <span class='hs-conid'>False</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>msg</span> <a name="line-173"></a> <a name="line-174"></a> <a name="line-175"></a><span class='hs-comment'>---------------------------------------------------------------------</span> <a name="line-176"></a><span class='hs-comment'>-- REMAP</span> <a name="line-177"></a> <a name="line-178"></a><span class='hs-keyword'>class</span> <span class='hs-conid'>Remap</span> <span class='hs-varid'>m</span> <span class='hs-keyword'>where</span> <a name="line-179"></a> <span class='hs-varid'>remap</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-comment'>-- ^ Embed a value</span> <a name="line-180"></a> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-comment'>-- ^ Extract the mode and give a way of re-embedding</span> <a name="line-181"></a> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>m</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>m</span> <span class='hs-varid'>b</span> <a name="line-182"></a> <a name="line-183"></a><a name="remap2"></a><span class='hs-definition'>remap2</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Remap</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=></span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>m</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>m</span> <span class='hs-varid'>b</span> <a name="line-184"></a><span class='hs-definition'>remap2</span> <span class='hs-varid'>f</span> <span class='hs-varid'>g</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>remap</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>x</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>g</span> <span class='hs-varid'>x</span><span class='hs-layout'>,</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-185"></a> <a name="line-186"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Remap</span> <span class='hs-conid'>Mode</span> <span class='hs-keyword'>where</span> <a name="line-187"></a> <span class='hs-varid'>remap</span> <span class='hs-varid'>f</span> <span class='hs-varid'>g</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <a name="line-188"></a> <span class='hs-layout'>{</span><span class='hs-varid'>modeGroupModes</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fmap</span> <span class='hs-layout'>(</span><span class='hs-varid'>remap</span> <span class='hs-varid'>f</span> <span class='hs-varid'>g</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>modeGroupModes</span> <span class='hs-varid'>x</span> <a name="line-189"></a> <span class='hs-layout'>,</span><span class='hs-varid'>modeValue</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>f</span> <span class='hs-varop'>$</span> <span class='hs-varid'>modeValue</span> <span class='hs-varid'>x</span> <a name="line-190"></a> <span class='hs-layout'>,</span><span class='hs-varid'>modeCheck</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>v</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>g</span> <span class='hs-varid'>v</span> <span class='hs-keyword'>in</span> <span class='hs-varid'>fmap</span> <span class='hs-varid'>b</span> <span class='hs-varop'>$</span> <span class='hs-varid'>modeCheck</span> <span class='hs-varid'>x</span> <span class='hs-varid'>a</span> <a name="line-191"></a> <span class='hs-layout'>,</span><span class='hs-varid'>modeReform</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>modeReform</span> <span class='hs-varid'>x</span> <span class='hs-varop'>.</span> <span class='hs-varid'>fst</span> <span class='hs-varop'>.</span> <span class='hs-varid'>g</span> <a name="line-192"></a> <span class='hs-layout'>,</span><span class='hs-varid'>modeArgs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fmap</span> <span class='hs-layout'>(</span><span class='hs-varid'>remap</span> <span class='hs-varid'>f</span> <span class='hs-varid'>g</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>modeArgs</span> <span class='hs-varid'>x</span> <a name="line-193"></a> <span class='hs-layout'>,</span><span class='hs-varid'>modeGroupFlags</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fmap</span> <span class='hs-layout'>(</span><span class='hs-varid'>remap</span> <span class='hs-varid'>f</span> <span class='hs-varid'>g</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>modeGroupFlags</span> <span class='hs-varid'>x</span><span class='hs-layout'>}</span> <a name="line-194"></a> <a name="line-195"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Remap</span> <span class='hs-conid'>Flag</span> <span class='hs-keyword'>where</span> <a name="line-196"></a> <span class='hs-varid'>remap</span> <span class='hs-varid'>f</span> <span class='hs-varid'>g</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span><span class='hs-layout'>{</span><span class='hs-varid'>flagValue</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>remapUpdate</span> <span class='hs-varid'>f</span> <span class='hs-varid'>g</span> <span class='hs-varop'>$</span> <span class='hs-varid'>flagValue</span> <span class='hs-varid'>x</span><span class='hs-layout'>}</span> <a name="line-197"></a> <a name="line-198"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Remap</span> <span class='hs-conid'>Arg</span> <span class='hs-keyword'>where</span> <a name="line-199"></a> <span class='hs-varid'>remap</span> <span class='hs-varid'>f</span> <span class='hs-varid'>g</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span><span class='hs-layout'>{</span><span class='hs-varid'>argValue</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>remapUpdate</span> <span class='hs-varid'>f</span> <span class='hs-varid'>g</span> <span class='hs-varop'>$</span> <span class='hs-varid'>argValue</span> <span class='hs-varid'>x</span><span class='hs-layout'>}</span> <a name="line-200"></a> <a name="line-201"></a><a name="remapUpdate"></a><span class='hs-definition'>remapUpdate</span> <span class='hs-varid'>f</span> <span class='hs-varid'>g</span> <span class='hs-varid'>upd</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>s</span> <span class='hs-varid'>v</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>g</span> <span class='hs-varid'>v</span> <span class='hs-keyword'>in</span> <span class='hs-varid'>fmap</span> <span class='hs-varid'>b</span> <span class='hs-varop'>$</span> <span class='hs-varid'>upd</span> <span class='hs-varid'>s</span> <span class='hs-varid'>a</span> <a name="line-202"></a> <a name="line-203"></a> <a name="line-204"></a><span class='hs-comment'>---------------------------------------------------------------------</span> <a name="line-205"></a><span class='hs-comment'>-- MODE/MODES CREATORS</span> <a name="line-206"></a> <a name="line-207"></a><a name="modeEmpty"></a><span class='hs-comment'>-- | Create an empty mode specifying only 'modeValue'. All other fields will usually be populated</span> <a name="line-208"></a><span class='hs-comment'>-- using record updates.</span> <a name="line-209"></a><span class='hs-definition'>modeEmpty</span> <span class='hs-keyglyph'>::</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Mode</span> <span class='hs-varid'>a</span> <a name="line-210"></a><span class='hs-definition'>modeEmpty</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Mode</span> <span class='hs-varid'>mempty</span> <span class='hs-conid'>[]</span> <span class='hs-varid'>x</span> <span class='hs-conid'>Right</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-conid'>Nothing</span><span class='hs-layout'>)</span> <span class='hs-str'>""</span> <span class='hs-conid'>[]</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>mempty</span> <a name="line-211"></a> <a name="line-212"></a><a name="mode"></a><span class='hs-comment'>-- | Create a mode with a name, an initial value, some help text, a way of processing arguments</span> <a name="line-213"></a><span class='hs-comment'>-- and a list of flags.</span> <a name="line-214"></a><span class='hs-definition'>mode</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Name</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Help</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Arg</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Flag</span> <span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Mode</span> <span class='hs-varid'>a</span> <a name="line-215"></a><span class='hs-definition'>mode</span> <span class='hs-varid'>name</span> <span class='hs-varid'>value</span> <span class='hs-varid'>help</span> <span class='hs-varid'>arg</span> <span class='hs-varid'>flags</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>modeEmpty</span> <span class='hs-varid'>value</span><span class='hs-layout'>)</span><span class='hs-layout'>{</span><span class='hs-varid'>modeNames</span><span class='hs-keyglyph'>=</span><span class='hs-keyglyph'>[</span><span class='hs-varid'>name</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span> <span class='hs-varid'>modeHelp</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>help</span><span class='hs-layout'>,</span> <span class='hs-varid'>modeArgs</span><span class='hs-keyglyph'>=</span><span class='hs-conid'>Just</span> <span class='hs-varid'>arg</span><span class='hs-layout'>,</span> <span class='hs-varid'>modeGroupFlags</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>toGroup</span> <span class='hs-varid'>flags</span><span class='hs-layout'>}</span> <a name="line-216"></a> <a name="line-217"></a><a name="modes"></a><span class='hs-comment'>-- | Create a list of modes, with a program name, an initial value, some help text and the child modes.</span> <a name="line-218"></a><span class='hs-definition'>modes</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Help</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Mode</span> <span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Mode</span> <span class='hs-varid'>a</span> <a name="line-219"></a><span class='hs-definition'>modes</span> <span class='hs-varid'>name</span> <span class='hs-varid'>value</span> <span class='hs-varid'>help</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>modeEmpty</span> <span class='hs-varid'>value</span><span class='hs-layout'>)</span><span class='hs-layout'>{</span><span class='hs-varid'>modeNames</span><span class='hs-keyglyph'>=</span><span class='hs-keyglyph'>[</span><span class='hs-varid'>name</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span> <span class='hs-varid'>modeHelp</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>help</span><span class='hs-layout'>,</span> <span class='hs-varid'>modeGroupModes</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>toGroup</span> <span class='hs-varid'>xs</span><span class='hs-layout'>}</span> <a name="line-220"></a> <a name="line-221"></a> <a name="line-222"></a><span class='hs-comment'>---------------------------------------------------------------------</span> <a name="line-223"></a><span class='hs-comment'>-- FLAG CREATORS</span> <a name="line-224"></a> <a name="line-225"></a><a name="flagNone"></a><span class='hs-comment'>-- | Create a flag taking no argument value, with a list of flag names, an update function</span> <a name="line-226"></a><span class='hs-comment'>-- and some help text.</span> <a name="line-227"></a><span class='hs-definition'>flagNone</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Name</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Help</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Flag</span> <span class='hs-varid'>a</span> <a name="line-228"></a><span class='hs-definition'>flagNone</span> <span class='hs-varid'>names</span> <span class='hs-varid'>f</span> <span class='hs-varid'>help</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Flag</span> <span class='hs-varid'>names</span> <span class='hs-conid'>FlagNone</span> <span class='hs-varid'>upd</span> <span class='hs-str'>""</span> <span class='hs-varid'>help</span> <a name="line-229"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>upd</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Right</span> <span class='hs-varop'>$</span> <span class='hs-varid'>f</span> <span class='hs-varid'>x</span> <a name="line-230"></a> <a name="line-231"></a><a name="flagOpt"></a><span class='hs-comment'>-- | Create a flag taking an optional argument value, with an optional value, a list of flag names,</span> <a name="line-232"></a><span class='hs-comment'>-- an update function, the type of the argument and some help text.</span> <a name="line-233"></a><span class='hs-definition'>flagOpt</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Name</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Update</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FlagHelp</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Help</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Flag</span> <span class='hs-varid'>a</span> <a name="line-234"></a><span class='hs-definition'>flagOpt</span> <span class='hs-varid'>def</span> <span class='hs-varid'>names</span> <span class='hs-varid'>upd</span> <span class='hs-varid'>typ</span> <span class='hs-varid'>help</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Flag</span> <span class='hs-varid'>names</span> <span class='hs-layout'>(</span><span class='hs-conid'>FlagOpt</span> <span class='hs-varid'>def</span><span class='hs-layout'>)</span> <span class='hs-varid'>upd</span> <span class='hs-varid'>typ</span> <span class='hs-varid'>help</span> <a name="line-235"></a> <a name="line-236"></a><a name="flagReq"></a><span class='hs-comment'>-- | Create a flag taking a required argument value, with a list of flag names,</span> <a name="line-237"></a><span class='hs-comment'>-- an update function, the type of the argument and some help text.</span> <a name="line-238"></a><span class='hs-definition'>flagReq</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Name</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Update</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FlagHelp</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Help</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Flag</span> <span class='hs-varid'>a</span> <a name="line-239"></a><span class='hs-definition'>flagReq</span> <span class='hs-varid'>names</span> <span class='hs-varid'>upd</span> <span class='hs-varid'>typ</span> <span class='hs-varid'>help</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Flag</span> <span class='hs-varid'>names</span> <span class='hs-conid'>FlagReq</span> <span class='hs-varid'>upd</span> <span class='hs-varid'>typ</span> <span class='hs-varid'>help</span> <a name="line-240"></a> <a name="line-241"></a><a name="flagArg"></a><span class='hs-comment'>-- | Create an argument flag, with an update function and the type of the argument.</span> <a name="line-242"></a><span class='hs-definition'>flagArg</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Update</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FlagHelp</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Arg</span> <span class='hs-varid'>a</span> <a name="line-243"></a><span class='hs-definition'>flagArg</span> <span class='hs-varid'>upd</span> <span class='hs-varid'>typ</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Arg</span> <span class='hs-varid'>upd</span> <span class='hs-varid'>typ</span> <a name="line-244"></a> <a name="line-245"></a><a name="flagBool"></a><span class='hs-comment'>-- | Create a boolean flag, with a list of flag names, an update function and some help text.</span> <a name="line-246"></a><span class='hs-definition'>flagBool</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Name</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Bool</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Help</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Flag</span> <span class='hs-varid'>a</span> <a name="line-247"></a><span class='hs-definition'>flagBool</span> <span class='hs-varid'>names</span> <span class='hs-varid'>f</span> <span class='hs-varid'>help</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Flag</span> <span class='hs-varid'>names</span> <span class='hs-layout'>(</span><span class='hs-conid'>FlagOptRare</span> <span class='hs-str'>""</span><span class='hs-layout'>)</span> <span class='hs-varid'>upd</span> <span class='hs-str'>""</span> <span class='hs-varid'>help</span> <a name="line-248"></a> <span class='hs-keyword'>where</span> <a name="line-249"></a> <span class='hs-varid'>upd</span> <span class='hs-varid'>s</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>s</span> <span class='hs-varop'>==</span> <span class='hs-str'>""</span> <span class='hs-keyword'>then</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>True</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>parseBool</span> <span class='hs-varid'>s</span> <span class='hs-keyword'>of</span> <a name="line-250"></a> <span class='hs-conid'>Just</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Right</span> <span class='hs-varop'>$</span> <span class='hs-varid'>f</span> <span class='hs-varid'>b</span> <span class='hs-varid'>x</span> <a name="line-251"></a> <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Left</span> <span class='hs-str'>"expected boolean value (true/false)"</span> </pre></body> </html>