Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in 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

Tagged Type vs class extends AnyVal

scala shapeless

Define a Typeclass for Shapeless Records

Cleaning up `case class` with `Option` FIelds

scala shapeless

Passing a Shapeless Extensible Record to a Function (continued)

scala shapeless

Shapeless HList type checking

How to create a random instance of a case class?

Scala vector of any dimension using shapeless

scala math vector shapeless