Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

Haskell - iso on newtype

Tags:

haskell

lenses

haskell-lens

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.

like image 445
marcosh Avatar asked Feb 07 '20 08:02

marcosh

1 Answers

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

like image 147
luqui Avatar answered Sep 30 '22 09:09

luqui
Sign in to Comment

Related questions

How can I stream test results with cabal new-test?
A monad for piecewise mutable state
How to declare protocol for HKT in swift?
Can I somehow use a package with a later version of base than what the package specifies?
Simple example of call-by-need
Writing foldl as foldr confusion
What are module signatures in Haskell?
Is it possible to access `WriterT`'s partially collected `tell`s in case of exception?
Is it possible to design Stack (Haskell) just like NPM (NodeJS)?
Can I prove that (forall x. Coercible (a x) (b x)) implies Coercible a b?
Need explanation for list comprehension in Haskell
Reason to use String instead of Text in Haskell
Is there an effective way to generate a function given a generic (esp. with monads) type signature in Haskell?
Haskell: Making Quasi-Quoted values strict / evaluated at compile-time
How do I prove type-level list properties in haskell?
Threenpenny gui - capturing mouse coordinates on click and using them to construct some state
Could cabal warn about unused package in dependencies?
replacement / substition with Haskell regex libraries
Haskell performance implementing unix's "cat" program with Data.ByteString
Haskell: example of function of type a -> a, besides the identity

Donate For Us

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