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。