{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE OverloadedStrings #-}
module Options.Applicative.Args
(argsArgument
,argsOption
,cmdOption)
where
import Data.Attoparsec.Args
import qualified Options.Applicative as O
import Stack.Prelude
argsArgument :: O.Mod O.ArgumentFields [String] -> O.Parser [String]
argsArgument :: Mod ArgumentFields [String] -> Parser [String]
argsArgument =
ReadM [String] -> Mod ArgumentFields [String] -> Parser [String]
forall a. ReadM a -> Mod ArgumentFields a -> Parser a
O.argument
(do String
string <- ReadM String
forall s. IsString s => ReadM s
O.str
(String -> ReadM [String])
-> ([String] -> ReadM [String])
-> Either String [String]
-> ReadM [String]
forall a c b. (a -> c) -> (b -> c) -> Either a b -> c
either String -> ReadM [String]
forall a. String -> ReadM a
O.readerError [String] -> ReadM [String]
forall (m :: * -> *) a. Monad m => a -> m a
return (EscapingMode -> String -> Either String [String]
parseArgsFromString EscapingMode
Escaping String
string))
argsOption :: O.Mod O.OptionFields [String] -> O.Parser [String]
argsOption :: Mod OptionFields [String] -> Parser [String]
argsOption =
ReadM [String] -> Mod OptionFields [String] -> Parser [String]
forall a. ReadM a -> Mod OptionFields a -> Parser a
O.option
(do String
string <- ReadM String
forall s. IsString s => ReadM s
O.str
(String -> ReadM [String])
-> ([String] -> ReadM [String])
-> Either String [String]
-> ReadM [String]
forall a c b. (a -> c) -> (b -> c) -> Either a b -> c
either String -> ReadM [String]
forall a. String -> ReadM a
O.readerError [String] -> ReadM [String]
forall (m :: * -> *) a. Monad m => a -> m a
return (EscapingMode -> String -> Either String [String]
parseArgsFromString EscapingMode
Escaping String
string))
cmdOption :: O.Mod O.OptionFields (String, [String]) -> O.Parser (String, [String])
cmdOption :: Mod OptionFields (String, [String]) -> Parser (String, [String])
cmdOption =
ReadM (String, [String])
-> Mod OptionFields (String, [String]) -> Parser (String, [String])
forall a. ReadM a -> Mod OptionFields a -> Parser a
O.option
(do String
string <- ReadM String
forall s. IsString s => ReadM s
O.str
[String]
xs <- (String -> ReadM [String])
-> ([String] -> ReadM [String])
-> Either String [String]
-> ReadM [String]
forall a c b. (a -> c) -> (b -> c) -> Either a b -> c
either String -> ReadM [String]
forall a. String -> ReadM a
O.readerError [String] -> ReadM [String]
forall (m :: * -> *) a. Monad m => a -> m a
return (EscapingMode -> String -> Either String [String]
parseArgsFromString EscapingMode
Escaping String
string)
case [String]
xs of
[] -> String -> ReadM (String, [String])
forall a. String -> ReadM a
O.readerError String
"Must provide a command"
String
x:[String]
xs' -> (String, [String]) -> ReadM (String, [String])
forall (m :: * -> *) a. Monad m => a -> m a
return (String
x, [String]
xs'))