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
- Toy project serving to illustrate that it's possible to write pure functional systems in Scala.☆42Updated 9 years ago
- Non-blocking AWS SDK for Scala exposing strongly-typed APIs built on top of http4s, fs2 and cats☆85Updated 6 years ago
- ☆80Updated 4 years ago
- Convert Task to Future, and Future to Task☆63Updated 6 years ago
- Provides a functional API for tracing programs across system and network boundaries.☆62Updated 6 months ago
- Type calculations at compile time☆40Updated 5 years ago
- ☆53Updated 3 years ago
- A monad for resource acquisition and cleanup☆54Updated 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
- Finally Tagless Blocking Implementation☆93Updated 2 years ago
- Transform and compose tagless final encoded algebras in scala☆95Updated 6 years ago
- A reactive streams implementation for fs2☆63Updated 5 years ago
- An exploration of purely functional library design in Scala.☆104Updated 8 years ago
- ☆115Updated 2 years ago
- Trying to understand Free Monad by implementing one☆43Updated 7 years ago
- ☆28Updated 7 years ago
- Free wrapper specialized to Coproducts of DSL/Containers☆23Updated 8 years ago
- Type safe delta☆55Updated 2 months ago
- IO types and classes for Scala.☆42Updated 8 years ago
- Fix for SI-2712 implemented as a compiler plugin for Scala 2.11.8 and 2.10.6☆47Updated 7 years ago
- Hacky applicative-style for comprehensions for Scala.☆37Updated 2 years ago
- enforce the Scalazzi subset of Scala with scalafix☆82Updated 5 years ago
- Automatically perform shallow merges on case classes. Treat your data with the latest updates!☆42Updated 7 years ago
- Totalitarian: typesafe data structures for working with total functions☆49Updated 6 years ago
- Workshop on typeclasses in scala☆26Updated 7 years ago
- Example code from my presentation on shapeless type class derivation☆29Updated 9 years ago
- ☆63Updated 6 years ago
- Kafka client for functional streams for scala (fs2)☆77Updated last year
- Boilerplate-free model transformation in Scala☆32Updated 7 years ago
- macro for summoning implicit values☆92Updated 4 years ago