milessabin/shapeless

shapeless: Generic programming for Scala | This room deprecated in favour of #shapeless on the Typelevel Discord: https://discord.gg/bSQBZA3Ced

Andrew Roberts

@aroberts

it breaks other stuff

Fabio Labella

@SystemFw

Personally, I'd pause and try and get it to work end-to-end without the semiauto machinery

by having everything in the companion

David Hoyt

@davidhoyt

@SystemFw yes, I was starting to go down the flatten path. I need this for labelled generics not basic (generic) products, so I tried to evolve the flatten example without much luck so far.

Fabio Labella

@SystemFw

I was doing it, but I hit an unrelated bug

I got a working version for Generic very quickly

but it didn't work for LabelledGeneric

which is really surprising, so I kept minimising and I think I've hit something that looks like a compiler bug

just posted in the scala room

David Hoyt

@davidhoyt

@SystemFw not surprised in the least. to make matters worse, I am needing it to work w/ shapeless 2.2.5 on scala 2.10 and 2.11 actually.

Fabio Labella

@SystemFw

oh, have fun :)

David Hoyt

@davidhoyt

i need a "miserable" emoji :D

Fabio Labella

@SystemFw

by "not work with LabelledGeneric" I meant they both compiled, but exhibited different behaviour

which it never happened to me with shapeless before, and I would say I'm fairly experienced with it

David Hoyt

@davidhoyt

@SystemFw do you mind pasting what you have in a scala fiddle or elsewhere?

Fabio Labella

@SystemFw

@davidhoyt what do you want exactly? the working version with Generic and the non-working one with LabelledGeneric?

David Hoyt

@davidhoyt

non-working one with labelled generic

Fabio Labella

@SystemFw

ah, I've deleted it, let me see if I can redo it

I had two versions, one with Poly, one with custom typeclasses

let me redo the one with Poly, it's shorter

David Hoyt

@davidhoyt

@SystemFw this may show my ignorance wrt shapeless -- i am trying to auto-derive type class instances. will that work w/ Poly?

Fabio Labella

@SystemFw

I also did versions with auto-derived type classes

same behaviour

David Hoyt

@davidhoyt

@SystemFw i suppose i'm asking if you can use Poly to derive type classes

Fabio Labella

@SystemFw

actually, when doing the typeclass version I got the other possible bug

@davidhoyt The question is a bit unclear to me

Poly exposes type class instances (Case), which you can use in your typeclass derivation

David Hoyt

@davidhoyt

@SystemFw i am saying that i've never used Poly that way -- i'm somewhere between beginner and intermediate level w/ shapeless

Fabio Labella

@SystemFw

similarly, some typeclasses you also use in derivations (e.g.Mapper, FlatMapper), want a Poly

@davidhoyt right, basically if you have something that works with Poly, you can ask for an implicit Case1 of that Poly

just like you would ask for another typeclass instance

(well, Case1, Case2...what have you)

or, you can write your own custom typeclass (which is what I do most of the time), to replace the poly

David Hoyt

@davidhoyt

@SystemFw i was going down that path primarily because i was unaware of alternatives :)

so I have a "wrapper" type class which I derive and can then turn into the actual type class I care about

Fabio Labella

@SystemFw

is there any reason for not deriving the type class you care about directly?

Fabio Labella

@SystemFw

TIL:

No, the subclass rule and the specificity of the type rule are both run and the score is tallied. If they are in opposite directions, it ends up with ambiguity.

So prioritising implicits to encode typelevel pattern matching precedence does not always work...disappointing

Fabio Labella

@SystemFw

apparently the further trick is make sure the specifity rule tally goes back to 0, so that the subclassing rule kicks back as the decisive factor

Fabio Labella

@SystemFw

@davidhoyt I'm close to solving your problem

David Hoyt

@davidhoyt

@SystemFw please share what you have -- i'd like to learn/collaborate

really appreciate your help

Ryan Williams

@ryan-williams

OT: can i get a Generic for a trait with only abstract fields? e.g. with a structure like this:

trait Foo { def a: A; def b: B; def c: C }
trait Bar extends Foo { def d: D }
trait Baz extends Foo { def e: E }

I want to be able to get Generics for Foo/Bar/Baz.

The context is that I'm trying to have multiple classes/traits share a set of fields while also being able to get a Generic for them, without having to repeat all the fields everywhere. traits can be composed to allow this but but classes/fields/ctor-args can't. cf. https://github.com/alexarchambault/case-app/issues/58#issuecomment-313799457

i'm considering trying to write a macro (annotation?) to do it. i guess some detail on the macro that shapeless uses to get Generics for case classes would be useful too; iirc it hangs off of the existence of a case class's apply method?

Fabio Labella

@SystemFw

@davidhoyt Sorry, had to go away. I have a Poly that flattens arbitrarily nested case classes , preserving the names of the fields in a type akin to a LabelledGeneric#Repr

  case class Foo(a: String, b: Bar)
  case class Bar(c: Int, d: Baz)
  case class Baz(e: Long)

  val v = Foo("A", Bar(1, Baz(2)))

  def a = flatten(v)
  res1: shapeless.::[String with shapeless.labelled.KeyTag[Symbol with shapeless.tag.Tagged[String("a")],String],shapeless.::[Int with shapeless.labelled.KeyTag[Symbol with shapeless.tag.Tagged[String("c")],Int],shapeless.::[Long with shapeless.labelled.KeyTag[Symbol with shapeless.tag.Tagged[String("e")],Long],shapeless.HNil]]] = 
    A :: 1 :: 2 :: HNil

Fabio Labella

@SystemFw

Question: given a Poly f, I can implicitly ask for an instance of that poly for type parameter A by implicit ev: Case[A, f.type].
Provided the types line up, I can compose f with another poly g via object c extends Compose(f, g). How do I implicitly ask for an instance of the composed poly for type parameter A?

Fabio Labella

@SystemFw

nvm, figured it out (Case[c.type, A :: HNil])

@davidhoyt solved it!

David Hoyt

@davidhoyt

@SystemFw great thanks -- i just read all of dave gurnell's book on shapeless :)

@SystemFw please share!

Where communities thrive

People

Repo info

Activity