These are chat archives for ohnosequences/statika

16th
Mar 2015
Alexey Alekhin
@laughedelic
Mar 16 2015 15:54
@eparejatobes it would be possible to do AnyTypeSet.Of[AnyBundle] => List[AnyBundle] conversion without implicits, if we could match on typeset cons.
AnyTypeSet.Of[…] is not a real bound, but it bounds the head (and it’s enough).
we can match on value, but not on h :~: t
Eduardo Pareja Tobes
@eparejatobes
Mar 16 2015 16:57
why not?
is not a case class?
Alexey Alekhin
@laughedelic
Mar 16 2015 16:57
nope, the case class is hidden
:~: is just a method
Eduardo Pareja Tobes
@eparejatobes
Mar 16 2015 16:58
mmm I see. Then we can either expose it, or write a fold, or an extractor
Alexey Alekhin
@laughedelic
Mar 16 2015 16:59
yes, actually generic mappers for a typeset with a bound would be very useful