Haskell-新类型上的ISO

如果我有一个newtype

newtype Foo = Foo Int

有没有一种自动的方法来获取Iso' Foo Int？

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

最佳答案

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

关于Haskell-新类型上的ISO，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/60110003/