Newtype typeclass?

Open sir-wabbit opened this issue 8 years ago • 3 comments

https://pursuit.purescript.org/packages/purescript-newtype/2.0.0/docs/Data.Newtype

Jun 06 '17 21:06 sir-wabbit

Just to mention it. There is Wrapped typeclass in monocle with the same purpose.

Jul 09 '17 13:07 wedens

@wedens In the port of Monocle to Cats, Wrapped is no longer a type class and instead depends on the Newtype type class in newts. Providing a similar type class here will make it easier to replace newts with newtypes down the road.

Aug 01 '17 10:08 sellout

Is the idea here automatically deriving typeclasses for Newtype types, where a type class for the underlying type exists?

Sep 08 '17 15:09 acjay