Haskell - iso по новому типу

Question

Если у меня есть newtype

newtype Foo = Foo Int

, есть ли автоматический c способ получить 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, он сгенерирует нужный Iso под именем "unFoo"

Обратите внимание, что метод доступа должен начинаться с подчеркивания для него генерировать изо.