对结果被丢弃的解析器使用Applicative表示法

Question

我有一个关于重构Parsec代码以使用该Applicative接口的问题.假设我有一个使用monadic接口的解析器,如下所示:

filePath0 :: GenParser Char st Info
filePath0 = do
  optional (string "./")
  r <- artist
  slash
  l <- album
  slash
  t <- track
  return $ Song r l t

我想把它变成这样的东西:

filePath :: GenParser Char st Info
filePath = Song <$> artist <*> album <*> track

但正如你所看到的那样,它并不完整.我的问题:在这个重构版本中,我会插入optional (string "./")和slash解析器吗？

Answer 1

您可以使用*>和<*包含其结果被丢弃的操作(但运行它们的效果):

(*>) :: f a -> f b -> f b
(<*) :: f a -> f b -> f a

给

filePath :: GenParser Char st Info
filePath = optional "./" *> Song <$> artist <*> slash *> album <*> slash *> track