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 ... 5
Title Δ
Doobie - lifting arbitrary effect into ConnectionIO 0.00
Recursive transformation between nested case classes where the fiel... 0.00
How to modify an arbitrary case class (e.g., replace the first fiel... +1.72
Shapeless: Why align does not work with singleton types? 0.00
Scala syntax tree returned from inferImplicitValue is failing to ev... 0.00
Is there infrastructure in shapeless that takes a type constructor... 0.00
Summing "Large" Nat's -1.32
Construct a type from HList of type classes 0.00
Typeclass Containing Element in HList? 0.00
Compile-time Check on Sum of Nat's? +1.26
Why doesn't shapeless.Nat have a method to access its value at... 0.00
Missing scodec.Codec[Command] implicit because of class with non-va... 0.00
Specifying abstract type members 0.00
flatten nested tuple in scala (without shapeless) 0.00
Is Shapeless' type inequality buggy? +2.21
Shapeless narrow type loss 0.00
Sort HList by pattern 0.00
Scala: How can an import prevent finding an implicit value? +1.61
Scalac cannot infer inductively built path-dependent type 0.00
Is there a way to ensure a type is Serializable at compile time 0.00
Int => Option[Nat]? 0.00
Shapeless: foldLeft on hlist compilation error +0.32
Scala: Convert a Sealed Trait instance to an HList 0.00
Substituting Ivy modules transitively +0.32
Optionally modify head of sized list in shapeless 0.00
Shapeless not finding implicits in test, but can in REPL -0.51
Compiler unable to find implicit Witness.Aux[_] for singleton symbol 0.00
How to get the first Some of an HList when composing Spray directiv... +0.34
LabelledGeneric instance generation on a tagged case class yields m... 0.00
What does `T {}` do in Scala 0.00
Ambiguous Implicit Values when using HMap 0.00
Getting elements from an HList 0.00
Path Dependent Types: Idris to Scala 0.00
Tuple to HList using productElements 0.00
Can't write generic function for shapless Generic 0.00
shapeless HList to TupleN where the tuple shape need not exactly ma... 0.00
How to create overloads for Product and Record? 0.00
to[List] on a generic HList after Partition -0.16
Converting a List to a Case Class +0.35
StringOrInt from Idris -> Scala? +1.27
Scala implicit Paramater used in Shapeless library 0.00
What is type declartion for in definition of Nat in shapeless? 0.00
Compile time enforcement of length equality for a runtime list 0.00
Scala F-bounded polymorphism on object +0.38
Bizzare type inference limitation - multiple type params +0.34
Context bounds for generic polymorphic data in collection +1.88
Implicit Resolution Failure? 0.00
Shapeless: map a tuple with some options to options -1.18
HList filtered by foldRight is not providing instances 0.00
More evidence needed than necessary for method using Shapeless 0.00