Tag: Shapeless

Bringing the latest tech to the legal sector.

Scala, the Aux pattern & path dependent types

In our last post about Shapeless, we casually mentioned the Aux pattern was being used: L is a path dependent type on Generic[T], so we use the AUX pattern here so we can reference L Rather than just leaving that out there, with no explanation, we wanted to delve into that pattern a little deeper.…
Read more

Type class derivation with Shapeless: An introduction

You must be shapeless, formless, like water. At Basement Crowd we make use of Shapeless for a couple of problems – the most common use is for the automatic derivation of JSON de/serialisers for our APIs (spray-json-shapeless/circe), but it also comes into play for test data generation (scalacheck shapeless) and its polymorphic functions. This article…
Read more