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
Scala types and compilation
Nov 09, 2022
scala
shapeless
Generic derivation of type class instance for ADT
Nov 10, 2022
scala
typeclass
shapeless
More evidence needed than necessary for method using Shapeless
Nov 02, 2022
scala
shapeless
Records as parameters, composition
Nov 02, 2022
scala
shapeless
Deriving type class instances for case classes with exactly one field
Oct 21, 2022
scala
shapeless
Circe generic codec derivation for records with object keys
Oct 21, 2022
scala
shapeless
Coproduct with Poly
Oct 20, 2022
scala
shapeless
How do I check in shapeless if a type is a member of an HList?
Oct 19, 2022
scala
shapeless
type-level-computation
Convert Shapeless HList to a Tuple
Oct 18, 2022
scala
shapeless
hlist
How to remove repetitive case statements for implementations of a sealed trait
Sep 30, 2022
scala
shapeless
Flatten an arbitrarily nested codec?
Sep 28, 2022
scala
shapeless
scodec
Shapeless Witness and how it can give the actual singleton type
Aug 14, 2022
scala
generic-programming
shapeless
type-level-computation
N-Tuple of Options to Option of N-Tuple
Aug 12, 2021
scala
scalaz
shapeless
HList with unary constrain to varargs cast
Nov 26, 2017
scala
shapeless
mapping over zipped HLists
Feb 10, 2022
scala
shapeless
Shapeless find instance of Some among Nones in an Hlist of Options
Jul 22, 2018
scala
shapeless
hlist
how to parse generic case class fields using scala option parser?
Jun 28, 2022
scala
generics
shapeless
Map on HList in method with Poly1 based on type parameter of class
Feb 08, 2021
scala
functional-programming
hlist
shapeless
type-level-computation
Do a covariant filter on an HList
Feb 23, 2021
scala
shapeless
Difference between higher-kinded type members declaration
Sep 16, 2022
scala
syntax
types
shapeless
higher-kinded-types
« Newer Entries
Older Entries »
Menu