Channels
#arrow-contributors
- p
pakoito
07/21/2018, 8:59 PMBoolean can have Eq, so anything - p
pakoito
07/21/2018, 9:00 PMyeah, extended type - e
Eugenio
07/21/2018, 9:00 PMah, so the problem with the second is that not every data type has a companion 😕 - e
Eugenio
07/21/2018, 9:00 PMwhile we can enforce that every type class needs one - p
pakoito
07/21/2018, 9:00 PMgotcha - p
pakoito
07/21/2018, 9:00 PMthat’s a good reason - e
Eugenio
07/21/2018, 9:00 PMbut in any case, if we go for the class "addition", then not even that is required! - p
pakoito
07/21/2018, 9:00 PMit is when abstracting over typeclasses - e
Eugenio
07/21/2018, 9:01 PMno no I mean - e
Eugenio
07/21/2018, 9:01 PMfor getting hold of the concrete type class instance in a nice/consistent way - e
Eugenio
07/21/2018, 9:02 PMI think that
is very elegant and you have to target the real class, even if you imported it with a different name or typealiased itEq::class + Boolean::class - e
Eugenio
07/21/2018, 9:03 PMyou could doCopy code
and it would work!import Boolean as TrueOrFalse val instance = Eq::class + TrueOrFalse::class - p
pakoito
07/21/2018, 9:03 PMthe other thing to address is discoverability in the IDE - e
Eugenio
07/21/2018, 9:03 PMautocomplete works - p
pakoito
07/21/2018, 9:03 PMcan I do Eq::class + | ctrl + space and get all the options - e
Eugenio
07/21/2018, 9:03 PMyes - p
pakoito
07/21/2018, 9:04 PMokay - p
pakoito
07/21/2018, 9:04 PMand for the ones with transitive parameters? - e
Eugenio
07/21/2018, 9:05 PM@Eugenio uploaded a file::sparkles:▾
- e
Eugenio
07/21/2018, 9:05 PMthose are also supported, albeit a bit more convoluted - e
Eugenio
07/21/2018, 9:05 PMcan you give me a concrete class so I can show you? - p
pakoito
07/21/2018, 9:06 PM@pakoito uploaded a file:Screen Shot 2018-07-21 at 10.06.24 PM.png▾
- p
pakoito
07/21/2018, 9:06 PMI’m getting conflicting overloads - e
Eugenio
07/21/2018, 9:07 PMdidn't change the JvmName 😉 - p
pakoito
07/21/2018, 9:07 PMright sorry - p
pakoito
07/21/2018, 9:07 PMone sec - e
Eugenio
07/21/2018, 9:07 PMthat's what it's there for - e
Eugenio
07/21/2018, 9:07 PMotherwise they would have the same Jvm signature - p
pakoito
07/21/2018, 9:08 PMafter fixing the IDE doesn’t give suggestions anymore - e
Eugenio
07/21/2018, 9:08 PMalso, wow, your error style is hardcore 😂😂 1