Groups
Sign in
Groups
Typelevel Users & Development List (defunct)
Conversations
About
Send feedback
Help
shapeless derived typeclasses and cats Eq
38 views
Skip to first unread message
Tim Pigden
unread,
Dec 11, 2015, 8:20:13 AM
12/11/15
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to Typelevel Users & Development List
One of the reasons I've previously not used Eq (from scalaz) was the effort of creating all those typeclasses.
Is there any reason why I shouldn't be able to use shapeless typeclass stuff in combination with cats Eq?
Cheers
Tim
Miles Sabin
unread,
Dec 12, 2015, 3:58:25 PM
12/12/15
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to Tim Pigden, Typelevel Users & Development List
Hi Tim,
This sort of conversation has moved to the shapeless (or cats) gitter channel,
https://gitter.im/milessabin/shapeless
But to briefly answer you question, see Kittens,
https://github.com/milessabin/kittens
and in particular,
https://github.com/milessabin/kittens/blob/master/core/src/main/scala/cats/derived/eq.scala
Cheers,
Miles
> --
> You received this message because you are subscribed to the Google Groups
> "Typelevel Users & Development List" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to
typelevel+...@googlegroups.com
.
> To post to this group, send email to
type...@googlegroups.com
.
> To view this discussion on the web visit
>
https://groups.google.com/d/msgid/typelevel/d5777a8d-722e-4142-a3f1-18d92b31e317%40googlegroups.com
.
> For more options, visit
https://groups.google.com/d/optout
.
--
Miles Sabin
tel:
+44 7813 944 528
skype: milessabin
gtalk:
mi...@milessabin.com
http://milessabin.com/blog
http://twitter.com/milessabin
Reply all
Reply to author
Forward
0 new messages