Haskell - 在 newtype 上的 iso

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。