| Copyright | (c) Dominik Schrempf 2021 |
|---|---|
| License | GPL-3.0-or-later |
| Maintainer | dominik.schrempf@gmail.com |
| Stability | unstable |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
SLynx.Options
Description
Creation date: Sat Sep 7 18:55:03 2019.
Synopsis
- data Arguments a = Arguments {
- global :: GlobalArguments
- local :: a
- data CommandArguments
- parseArguments :: Reproducible a => IO (Arguments a)
Documentation
Argument skeleton to be used with all commands.
Constructors
| Arguments | |
Fields
| |
Instances
| Eq a => Eq (Arguments a) | |
| Show a => Show (Arguments a) | |
| Generic (Arguments a) | |
| ToJSON a => ToJSON (Arguments a) | |
Defined in ELynx.Tools.Options | |
| FromJSON a => FromJSON (Arguments a) | |
| Reproducible a => Reproducible (Arguments a) | |
| type Rep (Arguments a) | |
Defined in ELynx.Tools.Options type Rep (Arguments a) = D1 ('MetaData "Arguments" "ELynx.Tools.Options" "elynx-tools-0.6.0.0-C9yWy4KiDAwCuzNwLVWAR7" 'False) (C1 ('MetaCons "Arguments" 'PrefixI 'True) (S1 ('MetaSel ('Just "global") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GlobalArguments) :*: S1 ('MetaSel ('Just "local") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) | |
data CommandArguments Source #
The different SLynx commands and their arguments.
Constructors
Instances
parseArguments :: Reproducible a => IO (Arguments a) #
Parse arguments. Provide a global description, header, footer, and so on. Custom additional description (first argument) and footer (second argument) can be provided. print help if needed.