StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

Miles Sabin

Rating
1619.95 (1,105th)
Reputation
21,753 (6,106th)
Page: 1 2 3 4 ... 5
Title Δ
Pass a type parameter to be used ias argument LabelledGeneric 0.00
Why shapeless `everywhere` combinator works inside a method but not... 0.00
Is there a boilerplate-free way to convert HLists to an argument li... +1.48
Extracting a value of a given type from a case class +1.24
type-case in a type synonym +0.38
Using Shapeless Polyfil to generically map over record 0.00
Weird behavior trying to convert case classes to heterogeneous list... 0.00
Shapeless Generic and case class toArray exception depending on fie... 0.00
Can't prove that singleton types are singleton types while gene... 0.00
Infer HList type when building the list with a macro +2.52
Transitive LUB? 0.00
How can I customize Scala ambiguous implicit errors when using shap... 0.00
Is ambiguous implicit value the only way we want to make the error... +1.82
Implicit ordering of case classes scala +2.53
Idiomatic way of branching depending on the existance of a type evi... 0.00
Evidence that types are not equal in Scala 0.00
How to map HList to List[Type], List[TypeTag], or List[String] 0.00
Shapeless lenses in idea 0.00
scala - Mixin type constraints still compiles 0.00
shapeless implicit val LabelledGeneric cannot found in method where... 0.00
Shapeless: flatMap over tuple fails to compile 0.00
Safely copying fields between case classes of different types +0.35
scala shapeless lenses not working 0.00
Default type parameters in scala 0.00
How to test type equality at type-level in scala? 0.00
Structural Programming in Scala with Shapeless: How to use the SYB... 0.00
Scala case class implementation of smart constructors? -0.65
Dynamically growing heterogeneous list, Scala 0.00
Add list of tuples of integers in Scala +1.61
Extractor for a shapeless HList that mimics parser concatenation 0.00
Structured Type to match Class Constructor 0.00
Type casting using type parameter -0.24
Different types in Map Scala +1.07
How to return correct type from generic function passed a related a... +0.37
Curried update method +1.45
Idiomatic way of prepending Option[A] to Option[List[A]] +1.14
toList on shapeless HList fails when resulting existential type too... 0.00
Map on HList fails with subtypes of generic type in Scala & Sha... 0.00
How can I add cross product based methods to scala collections? +1.46
Boilerplate-free Scala ArrayBuilder specialization 0.00
Path-Dependent type inside class value in Scala +0.38
Constrain a class with implicit evidence 0.00
How to invert a map in scala? +0.38
Using macros to create well-typed instances at compile-time 0.00
Match a tuple of unknown size in scala +1.51
How do I use a structural type with generic parameters? +0.37
Path-dependent types and nested traits -0.18
implicits for objects in Scala +0.31
Testing an assertion that something must not compile +0.37
Is there a Scala equivalent of the Python list unpack (a.k.a. "... -0.73