Safe Haskell	Safe-Inferred
Language	GHC2021

Navi.Args

Description

Provides functionality for parsing command-line arguments.

Synopsis

Documentation

newtype Args f Source #

Represents command-line arguments. We use the "higher-kinded data" approach for:

Constructors

MkArgs
Fields configFile :: f Path Path to the configuration file.

Instances details

(k ~ An_Iso, a ~ f1 Path, b ~ f2 Path) => LabelOptic "configFile" k (Args f1) (Args f2) a b Source #
Instance details Defined in Navi.Args Methods labelOptic :: Optic k NoIx (Args f1) (Args f2) a b Source #
Show1 f => Show (Args f) Source #
Instance details Defined in Navi.Args Methods showsPrec :: Int -> Args f -> ShowS Source # show :: Args f -> String Source # showList :: [Args f] -> ShowS Source #

Parses cli args and fills in defaults. These defaults are based on the detected XDG Base Directory and default names.