Top "Shapeless" questions

shapeless is (an exploration of) a type class and dependent type based generic (aka polytypic/polymorphic) programming library for Scala.

Use functional combinators on Scala Tuples?

'map' preserves the number of elements, so using it on a Tuple seems sensible. My attempts so far: scala> (3,4).…

scala dictionary tuples shapeless
Are HLists nothing more than a convoluted way of writing tuples?

I am really interested in finding out where the differences are, and more generally, to identify canonical use cases where …

scala types tuples hlist shapeless
How to append or prepend an element to a tuple in Scala

I have a tuple and want to add an element without loosing type safety. This is what I want to …

scala shapeless
Can someone explain to me what the Shapeless library is for?

Can someone explain to me in simple terms what the Shapeless library is for? Scala has generics and inheritance functionality …

scala shapeless
Different types in Map Scala

I need a Map where I put different types of values (Double, String, Int,...) in it, key can be String. …

scala generics shapeless
Any reason why scala does not explicitly support dependent types?

There are path dependent types and I think it is possible to express almost all the features of such languages …

scala path-dependent-type dependent-type shapeless
Converting a tuple of options to an option of tuple with Scalaz or Shapeless

Having (Some(1), Some(2)) I expect to get Some((1, 2)) and having (Some(1), None) I expect to get None

scala scalaz shapeless
How to use Shapeless in a Quasiquote?

I'm trying to call a Shapeless macro from inside a quasiquote with Scala and I'm not getting what I would …

scala scala-macros shapeless scala-quasiquotes