optparse-applicative 非空字符串参数

Question

如何实现非空字符串参数？

parserStart :: Parser String
parser = strArgument (metavar "EXAMPLE")

如何防止它成功解析空字符串 - ""?

根据之前使用 Parsec/Attoparsec 的经验，我假设我可以编写自己的解析器或者可能使用一些应用程序来检查值和 fail 如果它是一个空字符串（我认为这不会有可能吗，因为我需要一个 Monad）？

Answer 1

import Data.String
import Data.Text
import Options.Applicative.Types (ReadM, readerAsk)

nonEmptystr :: IsString s => ReadM s
nonEmptystr = do
  readerAsk >>= \case
    "" -> fail "Invalid argument: Empty string"
    x -> pure $ fromString x

f :: Parser Text
f = argument nonEmptystr (metavar "task")

optparse-applicative 非空字符串参数

optparse-applicative non empty string argument

haskell

optparse-applicative