Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in shapeless

Dynamically create extensible record in shapeless 2.0

scala shapeless

How to convert a generic HList to a List

scala shapeless

Find type class instances for Shapeless HList

scala shapeless hlist

Pick out the Nth element of a HList of Lists and return that value as a HList of values

scala shapeless

Method that returns List of size n in Shapeless

scala scala-2.10 shapeless

In shapeless, have two lists such that one contains typeclasses of the other

scala shapeless

Using shapeless to convert tuple of Future to Future of tuple by way of HList

scala shapeless

How in shapeless do you say that a proof is the empty type (i.e. false)

scala shapeless

How using refined to express constraints with constants > 22

scala shapeless

Decoding Case Class w/ Tagged Type

scala shapeless circe

Get type of a "singleton type"

Filter usage in shapeless, Scala

Scala: reflection and case classes

Shapeless - Deduplicating types in Coproduct

scala generics shapeless

Strange type error after "inlining" a val

scala shapeless

Splitting an HList that was concatenated using Prepend[A, B]

scala shapeless

Map on HList fails with subtypes of generic type in Scala & Shapeless

scala shapeless

Evidence-preserving LUB constraint for HList

scala shapeless hlist

Decoding Shapeless Tagged Types

scala shapeless circe

Constraint on HList: check for single occurrence of a type

scala shapeless