| Copyright | (c) Dominik Schrempf 2020 |
|---|---|
| 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.Reproduction | |
| FromJSON a => FromJSON (Arguments a) | |
| Reproducible a => Reproducible (Arguments a) | |
Defined in ELynx.Tools.Reproduction | |
| type Rep (Arguments a) | |
Defined in ELynx.Tools.Reproduction type Rep (Arguments a) = D1 (MetaData "Arguments" "ELynx.Tools.Reproduction" "elynx-tools-0.3.3-4ptdTgzOXMa3REnciE49Sc" 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.