uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

UVMHS.Lib.Options

Synopsis

Documentation

option :: 𝐿 ℂ -> 𝐿 𝕊 -> ArgDescr a -> 𝕊 -> OptDescr a Source #

noArg :: a -> ArgDescr a Source #

reqArg :: (𝕊 -> a) -> 𝕊 -> ArgDescr a Source #

optArg :: (𝑂 𝕊 -> a) -> 𝕊 -> ArgDescr a Source #

optUsageInfo :: 𝕊 -> 𝐿 (OptDescr a) -> 𝕊 Source #

parseOptions :: 𝐿 (OptDescr a) -> 𝐿 𝕊 -> (𝐿 a ∧ 𝐿 𝕊) ∧ 𝐿 𝕊 Source #

data ArgDescr a #

Describes whether an option takes an argument or not, and if so how the argument is injected into a value of type a.

Instances

Instances details
Functor ArgDescr

Since: base-4.7.0.0

Instance details

Defined in System.Console.GetOpt

Methods

fmap :: (a -> b) -> ArgDescr a -> ArgDescr b #

(<$) :: a -> ArgDescr b -> ArgDescr a #

data OptDescr a #

Each OptDescr describes a single option.

The arguments to Option are:

  • list of short option characters
  • list of long option strings (without "--")
  • argument descriptor
  • explanation of option for user

Instances

Instances details
Functor OptDescr

Since: base-4.7.0.0

Instance details

Defined in System.Console.GetOpt

Methods

fmap :: (a -> b) -> OptDescr a -> OptDescr b #

(<$) :: a -> OptDescr b -> OptDescr a #