Haskell、cmdargs和newtype

Question

我有以下代码片段，它可以很好地编译，但当我尝试运行它时，从cmdargs得到一个错误。*** Exception: System.Console.CmdArgs.Implicit, unexpected flag (edit): Main.Sel。如果我将Sel更改为Int就可以了，但在我的实际用例中，我希望使用类型强制来区分selections和Int。

我可以通过使用Int和cmdargs来修复它，并在检查参数后将其强制转换为Sel，但我认为这是次优解决方案。

{-# LANGUAGE DeriveDataTypeable, GeneralizedNewtypeDeriving #-}
import System.Console.CmdArgs
import System.Console.CmdArgs.Default

newtype Sel = Sel Int deriving (Num, Real, Integral, Show, Read, Data, Typeable, Enum, Eq, Ord, Default)

data Foo = Foo {
    edit :: Sel
  } deriving (Show, Read, Data, Typeable)

foo = Foo {
  edit = def
  }
main = do
  a <- cmdArgs foo
  print a

Answer 1

它确实不是最优的，我提出了一个bug来跟踪这个特性的添加：http://code.google.com/p/ndmitchell/issues/detail?id=422

这个周末我可能会有时间去做它，它应该不会太难(但这取决于我想要比新类型走多远)。(对于上下文，我编写了cmdargs)

更新：我刚刚在Hackage上发布了cmdargs 0.6.9，它支持这个问题中要求的新类型。