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 |
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.
Arguments | |
|
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.
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.