If I have a <code>newtype</code> <pre class="prettyprint"><code>newtype Foo = Foo Int </code></pre> is there an automatic way to get an <code>Iso' Foo Int</code>? I saw I could use <code>makeLenses ''Foo</code>, but I don't know what is the name of the generated iso.

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

Haskell - iso on newtype

If I have a newtype

newtype Foo = Foo Int

is there an automatic way to get an Iso' Foo Int?

I saw I could use makeLenses ''Foo, but I don't know what is the name of the generated iso.

445

asked Feb 07 '20 08:02

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

147

answered Sep 30 '22 09:09

If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!