Shapeless - a type class and dependent type based generic programming library for Scala

https://github.com/milessabin/shapeless/wiki/Feature-overview:-shapeless-2.0.0

Feature overview: shapeless 2.0.0

Contents

• Polymorphic function values
• Heterogenous lists
• HList-style operations on standard Scala tuples
• Facilities for abstracting over arity
• Heterogenous maps
• Singleton-typed literals
• Extensible records
• Coproducts
• Generic representation of (sealed families of) case classes
• Boilerplate-free lenses for arbitrary case classes
• Automatic type class instance derivation
• Collections with statically know sizes
• Type safe cast
• Testing for non-compilation

All the examples below assume you have previously imported shapeless._