Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in shapeless
How to enumerate shapeless Record and access field keys in runtime?
Mar 24, 2021
scala
record
shapeless
Scala parameters pattern (Spray routing example)
Jul 11, 2022
scala
spray
shapeless
Prohibit generating of apply for case class
Sep 13, 2022
scala
shapeless
case-class
type-safety
Convert a List[String] to a case class using Shapeless
May 05, 2022
scala
scalaz
shapeless
Deriving circe Codec for a sealed case class family where base trait has a (sealed) type member
Sep 13, 2022
json
scala
shapeless
circe
Map Shapeless hlist type F[T1] :: ... :: F[Tn] :: HNil to the type T1 :: ... :: Tn :: HNil (type level sequencing)
Apr 27, 2022
scala
shapeless
type-level-computation
How to get evidence that each type element in Shapeless HList belongs to a typeclass
Jun 19, 2020
scala
shapeless
Missing Sized.unapply
Jun 03, 2020
scala
shapeless
Pass a type parameter to be used as argument LabelledGeneric
Dec 29, 2020
scala
shapeless
labelled-generic
Getting elements from an HList
Mar 14, 2020
scala
shapeless
how to show the type of a HList in scala shapeless
Sep 15, 2022
scala
shapeless
Understanding `apply` and `unapply` with Singleton Type
Jan 04, 2022
scala
shapeless
How to generically extract field names with Shapeless?
May 04, 2022
scala
shapeless
Dynamically create extensible record in shapeless 2.0
Mar 08, 2018
scala
shapeless
How to convert a generic HList to a List
Sep 11, 2018
scala
shapeless
Find type class instances for Shapeless HList
Mar 07, 2020
scala
shapeless
hlist
Pick out the Nth element of a HList of Lists and return that value as a HList of values
May 28, 2018
scala
shapeless
Method that returns List of size n in Shapeless
Sep 14, 2022
scala
scala-2.10
shapeless
« Newer Entries
Older Entries »