2

我正在尝试将我自己的 monad（而不是IO）与customExecParser https://hackage.haskell.org/package/optparse-applicative-0.15.1.0/docs/Options-Applicative-Extra.html#v:customExecParser一起使用。

所以我最终得到了（重要的功能是fff）：

data MoscConfig = MoscConfig {
    datadir :: FilePath
  , config :: FilePath
  , pendingPath :: FilePath
  , socket :: FilePath
  }

type Mosco = StateT MoscConfig IO

main :: IO ()
main = join . customExecParser (prefs showHelpOnError) $
  info (helper <*> parser)
  (  fullDesc
  )

fff :: (a1 -> StateT MoscConfig IO a2) -> a1 -> IO a2
fff f  = (flip evalStateT (MoscConfig "" "" "" "")) . f

xyzz :: Text -> Mosco ()
xyzz x = do
  liftIO $ print x
  liftIO $ print "testabcxyz"

xyzz' :: Text -> Text -> Mosco ()
xyzz' x x' = do
  liftIO $ print x
  liftIO $ print x'
  liftIO $ print "testabcxyz"

parser :: Parser (IO ())
parser = do
  fff xyzz <$> textOption ( long "zzz" )
  <|>
  ((fmap fff) xyzz')
    <$> textOption ( long "zzz" )
    <*> textOption ( long "zzz" )

但是，上述方法的唯一缺点是fmap需要所需的次数（匹配xyzzor中的函数参数xyzz）。我确实记得以前遇到过这类问题。有什么方法可以避免这种情况（并且只需要调用一个函数）？

理想情况下，我希望为此有一个 monad 转换器，但不幸的是，这似乎只能实现IO。

4

2 回答 2

2

我认为这归结为一个问题：是否有一个功能fff可以应用于两者：

xyzz  :: a -> r
xyzz' :: a -> b -> r

以便：

fff xyzz  :: a -> r'
fff xyzz' :: a -> b -> r'

答案是“不”，至少没有一些不值得考虑的类型类诡计。

相反，假设您的真实版本除了 compose 之外fff实际上没有做任何事情f，我想我会考虑写：

fff :: Parser (Mosco a) -> Parser (IO a)
fff = fmap $ flip evalStateT (MoscConfig "" "" "" "")

parser :: Parser (IO ())
parser = fff (xyzz  <$> textOption ( long "zzz" ))
     <|> fff (xyzz' <$> textOption ( long "zzz" ) <*> textOption ( long "zzz" ))

不过，这整个方法似乎有点“过时”。解析选项时你真的需要一个MoscConfig可用的选项吗？除非您手头有一个非常复杂的选项解析问题，否则通常将选项直接解析为中间数据结构，然后针对该数据结构运行您的操作以修改状态并执行等等。MoscoMoscConfigIO

于 2020-01-27T04:10:59.200 回答
1

就我想要实现的目标而言（能够仅传递参数以在Moscomonad 上下文中运行 -

moscparams ::
  Maybe Text
  -> Maybe Text
  -> Maybe Text
  -> Maybe Text
  -> Mosco a -> IO a
moscparams dd c pp sp x = do
  ddd <- crFile
  cd <- pure "not used"
  ppd <- crDirPending
  spd <- socketFile
  evalStateT x
    $ MoscConfig
      (maybe ddd cs dd)
      (maybe cd cs c)
      (maybe ppd cs pp)
      (maybe spd cs sp)

moscF' :: Text -> Text -> Mosco ()
moscF' x x' = do
  liftIO $ print x
  liftIO $ print x'
  liftIO $ print "testabcxyz"

moscparams' :: Parser (Mosco ()) -> Parser (IO ())
moscparams' x = moscparams
  <$> optional (textOption ( long "data-dir" ))
  <*> optional (textOption ( long "config-path" ))
  <*> optional (textOption ( long "pending-path" ))
  <*> optional (textOption ( long "socket-path" ))
  <*> x

parser :: Parser (IO ())
parser = do
  moscparams'
    (( moscF')
      <$> textOption ( long "example-param-1" )
      <*> textOption ( long "example-param-2" )
    )
于 2020-01-28T13:41:56.617 回答