benhutchison / learningshapeless
Materials for workshop on Type-level programming with Shapeless
☆39Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for learningshapeless
- A monad for resource acquisition and cleanup☆54Updated 6 years ago
- Convert Task to Future, and Future to Task☆63Updated 6 years ago
- A reactive streams implementation for fs2☆63Updated 5 years ago
- Toy project serving to illustrate that it's possible to write pure functional systems in Scala.☆42Updated 9 years ago
- ☆80Updated 3 years ago
- macro for summoning implicit values☆92Updated 4 years ago
- Transform and compose tagless final encoded algebras in scala☆96Updated 6 years ago
- ☆115Updated 2 years ago
- Liberator - sent to make you Free☆89Updated 5 years ago
- An Essential Scala case study using Finch and Scala.js☆9Updated 8 years ago
- Everything you need to make type classes first class.☆61Updated 8 years ago
- ☆46Updated 4 years ago
- Type safe delta☆55Updated last week
- Example code from my presentation on shapeless type class derivation☆29Updated 9 years ago
- Totalitarian: typesafe data structures for working with total functions☆49Updated 5 years ago
- Finally Tagless Blocking Implementation☆93Updated 2 years ago
- Type calculations at compile time☆40Updated 5 years ago
- Cats instances for Slick DBIO☆74Updated 8 months ago
- Non-blocking AWS SDK for Scala exposing strongly-typed APIs built on top of http4s, fs2 and cats☆86Updated 6 years ago
- Provides a functional API for tracing programs across system and network boundaries.☆62Updated 4 months ago
- An independent set of benchmarks for testing common Scala idioms.☆65Updated 5 years ago
- IO types and classes for Scala.☆42Updated 7 years ago
- ☆63Updated 6 years ago
- enforce the Scalazzi subset of Scala with scalafix☆82Updated 5 years ago
- Idiomatic example of using functional programming to write a microservice☆74Updated 8 years ago
- ☆83Updated 4 years ago
- ☆28Updated 7 years ago