{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE OverloadedStrings #-}

-- | Accepting arguments to be passed through to a sub-process.

module Options.Applicative.Args
    (argsArgument
    ,argsOption
    ,cmdOption)
    where

import           Data.Attoparsec.Args
import qualified Options.Applicative as O
import           Stack.Prelude

-- | An argument which accepts a list of arguments e.g. @--ghc-options="-X P.hs \"this\""@.
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))

-- | An option which accepts a list of arguments e.g. @--ghc-options="-X P.hs \"this\""@.
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))

-- | An option which accepts a command and a list of arguments e.g. @--exec "echo hello world"@
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'))