shapeless is (an exploration of) a type class and dependent type based generic (aka polytypic/polymorphic) programming library for Scala.
'map' preserves the number of elements, so using it on a Tuple seems sensible. My attempts so far: scala> (3,4).…
scala dictionary tuples shapelessI have a tuple and want to add an element without loosing type safety. This is what I want to …
scala shapelessCan someone explain to me in simple terms what the Shapeless library is for? Scala has generics and inheritance functionality …
scala shapelessI need a Map where I put different types of values (Double, String, Int,...) in it, key can be String. …
scala generics shapelessThere 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 shapelessHaving (Some(1), Some(2)) I expect to get Some((1, 2)) and having (Some(1), None) I expect to get None
scala scalaz shapelessI'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