Haskell - iso on newtype

Question

如果我有newtype

newtype Foo = Foo Int

有自动获取Iso' Foo Int的方法吗？

我看到我可以使用makeLenses ''Foo，但我不知道生成的iso的名称是什么。

Answer 1

coerced :: (Coercible s a, Coercible t b) => Iso s t a b

Answer 2

如果您将访问器命名为：newtype Foo = Foo {_unFoo :: Int}，然后执行makeLenses ''Foo，它将以"unFoo“的名称生成您想要的Iso

注意，访问器必须以下划线开头才能生成Iso。