benhutchison / learningshapeless
Materials for workshop on Type-level programming with Shapeless
☆39Updated 4 years ago
Alternatives and similar repositories for learningshapeless:
Users that are interested in learningshapeless are comparing it to the libraries listed below
- Convert Task to Future, and Future to Task☆63Updated 6 years ago
- A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.☆73Updated 5 years ago
- Toy project serving to illustrate that it's possible to write pure functional systems in Scala.☆41Updated 9 years ago
- A monad for resource acquisition and cleanup☆53Updated 6 years ago
- ☆79Updated 4 years ago
- Type calculations at compile time☆40Updated 5 years ago
- An exploration of purely functional library design in Scala.☆103Updated 8 years ago
- A reactive streams implementation for fs2☆63Updated 5 years ago
- Finally Tagless Blocking Implementation☆92Updated 2 years ago
- macro for summoning implicit values☆92Updated 5 years ago
- Transform and compose tagless final encoded algebras in scala☆94Updated 6 years ago
- enforce the Scalazzi subset of Scala with scalafix☆82Updated 6 years ago
- Liberator - sent to make you Free☆88Updated 6 years ago
- Workshop on typeclasses in scala☆26Updated 7 years ago
- Type safe delta☆55Updated 5 months ago
- Everything you need to make type classes first class.☆61Updated 9 years ago
- Abstract Type Member Parallel Instances☆61Updated 4 years ago
- ☆46Updated 5 years ago
- Circe codec derivation using magnolia☆85Updated 7 months ago
- Non-blocking AWS SDK for Scala exposing strongly-typed APIs built on top of http4s, fs2 and cats☆85Updated 6 years ago
- Minimum boilerplate lib and pattern for Free/Coproduct/Inject based applications☆27Updated 6 months ago
- Provides a functional API for tracing programs across system and network boundaries.☆60Updated 9 months ago
- IO types and classes for Scala.☆42Updated 8 years ago
- ☆53Updated 4 years ago
- Stuff that could've been made into a blog if I wasn't too lazy☆19Updated 3 years ago
- Example code from my presentation on shapeless type class derivation☆28Updated 9 years ago
- Free wrapper specialized to Coproducts of DSL/Containers☆23Updated 8 years ago
- Automatically perform shallow merges on case classes. Treat your data with the latest updates!☆41Updated 7 years ago
- ☆28Updated 7 years ago
- The pure testing library by scalaz.☆89Updated 5 years ago