/usr/share/doc/libghc-options-doc/html/mini_Options.html is in libghc-options-doc 0.1.1-3build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Options</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();};
//]]>
</script></head><body id="mini"><div id="module-header"><p class="caption">Options</p></div><div id="interface"><h1>Options
</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="Options.html#t:Options" target="main">Options</a> a</p></div><div class="top"><p class="src"><a href="Options.html#v:defaultOptions" target="main">defaultOptions</a></p></div><h1>Commands
</h1><div class="top"><p class="src"><a href="Options.html#v:runCommand" target="main">runCommand</a></p></div><h2>Subcommands
</h2><div class="top"><p class="src"><span class="keyword">data</span> <a href="Options.html#t:Subcommand" target="main">Subcommand</a> cmdOpts action</p></div><div class="top"><p class="src"><a href="Options.html#v:subcommand" target="main">subcommand</a></p></div><div class="top"><p class="src"><a href="Options.html#v:runSubcommand" target="main">runSubcommand</a></p></div><h1>Defining options
</h1><div class="top"><p class="src"><a href="Options.html#v:defineOptions" target="main">defineOptions</a></p></div><h2>Simple option definitions
</h2><div class="top"><p class="src"><a href="Options.html#v:boolOption" target="main">boolOption</a></p></div><div class="top"><p class="src"><a href="Options.html#v:stringOption" target="main">stringOption</a></p></div><div class="top"><p class="src"><a href="Options.html#v:stringsOption" target="main">stringsOption</a></p></div><div class="top"><p class="src"><a href="Options.html#v:textOption" target="main">textOption</a></p></div><div class="top"><p class="src"><a href="Options.html#v:textsOption" target="main">textsOption</a></p></div><div class="top"><p class="src"><a href="Options.html#v:pathOption" target="main">pathOption</a></p></div><div class="top"><p class="src"><a href="Options.html#v:intOption" target="main">intOption</a></p></div><div class="top"><p class="src"><a href="Options.html#v:integerOption" target="main">integerOption</a></p></div><div class="top"><p class="src"><a href="Options.html#v:floatOption" target="main">floatOption</a></p></div><div class="top"><p class="src"><a href="Options.html#v:doubleOption" target="main">doubleOption</a></p></div><h2>Using imported options
</h2><div class="top"><p class="src"><span class="keyword">data</span> <a href="Options.html#t:ImportedOptions" target="main">ImportedOptions</a> a</p></div><div class="top"><p class="src"><a href="Options.html#v:importedOptions" target="main">importedOptions</a></p></div><div class="top"><p class="src"><a href="Options.html#v:options" target="main">options</a></p></div><h2>Advanted option definitions
</h2><div class="top"><p class="src"><span class="keyword">data</span> <a href="Options.html#t:Option" target="main">Option</a> a</p></div><div class="top"><p class="src"><a href="Options.html#v:option" target="main">option</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionShortFlags" target="main">optionShortFlags</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionLongFlags" target="main">optionLongFlags</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionDefault" target="main">optionDefault</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionType" target="main">optionType</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionDescription" target="main">optionDescription</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionGroup" target="main">optionGroup</a></p></div><h2>Option types
</h2><div class="top"><p class="src"><span class="keyword">data</span> <a href="Options.html#t:OptionType" target="main">OptionType</a> a</p></div><div class="top"><p class="src"><a href="Options.html#v:optionTypeBool" target="main">optionTypeBool</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionTypeString" target="main">optionTypeString</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionTypeText" target="main">optionTypeText</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionTypeFilePath" target="main">optionTypeFilePath</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionTypeInt" target="main">optionTypeInt</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionTypeInt8" target="main">optionTypeInt8</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionTypeInt16" target="main">optionTypeInt16</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionTypeInt32" target="main">optionTypeInt32</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionTypeInt64" target="main">optionTypeInt64</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionTypeWord" target="main">optionTypeWord</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionTypeWord8" target="main">optionTypeWord8</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionTypeWord16" target="main">optionTypeWord16</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionTypeWord32" target="main">optionTypeWord32</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionTypeWord64" target="main">optionTypeWord64</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionTypeInteger" target="main">optionTypeInteger</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionTypeFloat" target="main">optionTypeFloat</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionTypeDouble" target="main">optionTypeDouble</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionTypeMaybe" target="main">optionTypeMaybe</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionTypeList" target="main">optionTypeList</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionTypeSet" target="main">optionTypeSet</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionTypeMap" target="main">optionTypeMap</a></p></div><div class="top"><p class="src"><a href="Options.html#v:optionTypeEnum" target="main">optionTypeEnum</a></p></div><h1>Option groups
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Options.html#t:Group" target="main">Group</a> </p></div><div class="top"><p class="src"><a href="Options.html#v:group" target="main">group</a></p></div><div class="top"><p class="src"><a href="Options.html#v:groupTitle" target="main">groupTitle</a></p></div><div class="top"><p class="src"><a href="Options.html#v:groupDescription" target="main">groupDescription</a></p></div><h1>Parsing argument lists
</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="Options.html#t:Parsed" target="main">Parsed</a> a</p></div><div class="top"><p class="src"><a href="Options.html#v:parsedError" target="main">parsedError</a></p></div><div class="top"><p class="src"><a href="Options.html#v:parsedHelp" target="main">parsedHelp</a></p></div><h2>Parsing options
</h2><div class="top"><p class="src"><span class="keyword">data</span> <a href="Options.html#t:ParsedOptions" target="main">ParsedOptions</a> opts</p></div><div class="top"><p class="src"><a href="Options.html#v:parsedOptions" target="main">parsedOptions</a></p></div><div class="top"><p class="src"><a href="Options.html#v:parsedArguments" target="main">parsedArguments</a></p></div><div class="top"><p class="src"><a href="Options.html#v:parseOptions" target="main">parseOptions</a></p></div><h2>Parsing subcommands
</h2><div class="top"><p class="src"><span class="keyword">data</span> <a href="Options.html#t:ParsedSubcommand" target="main">ParsedSubcommand</a> action</p></div><div class="top"><p class="src"><a href="Options.html#v:parsedSubcommand" target="main">parsedSubcommand</a></p></div><div class="top"><p class="src"><a href="Options.html#v:parseSubcommand" target="main">parseSubcommand</a></p></div></div></body></html>
|