Playing with Shapeless

Play-Formless is a small library for Play Framework that automatically generates type-safe Form Mappings for case classes. We use Shapeless’s LabelledGeneric representation to abstract over the structure of a case class; and Shapeless record types to specify mappings in a type-checked way. Some additional features such as type-driven default field mappings, the use of refinement types, and type-safe named parameters will be demonstrated. More broadly, we want to show how Shapeless can be a practical tool in real-world applications.