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
Update case class from incomplete JSON with Argonaut or Circe
Mar 22, 2021
json
scala
shapeless
argonaut
circe
Shapeless: map from coproduct to different coproduct
Oct 04, 2022
scala
unions
shapeless
How to shapeless case classes with attributes and typeclasses?
Apr 02, 2022
scala
typeclass
case-class
shapeless
hlist
Mapping over Shapeless record
May 15, 2019
scala
record
shapeless
How to get the name of a case class field as a string/symbol at compile time using shapeless?
Apr 19, 2021
scala
shapeless
Explain the `LowPriorityImplicits` pattern used in Scala type-level programming
Mar 10, 2022
scala
implicit
shapeless
type-level-computation
Type casting using type parameter
Aug 30, 2022
scala
reflection
shapeless
shapeless HList to TupleN where the tuple shape need not exactly match the HList shape
Jul 20, 2020
scala
tuples
shapeless
hlist
Proving associativity of natural number addition using Scala shapeless
Feb 26, 2022
scala
proof
shapeless
dependent-type
How to represent a partial update on case classe in Scala ?
Jun 23, 2022
scala
case-class
shapeless
Scala Function.tupled and Function.untupled equivalent for variable arity, or, calling variable arity function with tuple
Apr 04, 2021
scala
types
shapeless
Creating an HList of all pairs from two HLists
Sep 21, 2022
scala
shapeless
hlist
What is "at" in shapeless (scala)?
Sep 20, 2022
scala
shapeless
Extractor for a shapeless HList that mimics parser concatenation `~`
Sep 02, 2018
scala
parser-combinators
shapeless
hlist
Pattern matching with shapeless coproduct
Aug 15, 2021
scala
pattern-matching
shapeless
Refined and existential types for runtime values
Aug 15, 2019
scala
shapeless
singleton-type
refinement-type
refined
What are the important features of the shapeless API (in Scala), and what do they do?
Oct 15, 2019
scala
shapeless
Different types in Map Scala
Feb 05, 2018
scala
generics
shapeless
Sequencing an HList
Jul 06, 2021
scala
shapeless
« Newer Entries
Older Entries »