iravid / managedt
A monad for resource acquisition and cleanup
☆54Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for managedt
- Transform and compose tagless final encoded algebras in scala☆96Updated 6 years ago
- Totalitarian: typesafe data structures for working with total functions☆49Updated 5 years ago
- ☆115Updated 2 years ago
- Liberator - sent to make you Free☆89Updated 5 years ago
- XML Optics library for Scala☆32Updated 5 years ago
- Library to support automatic labeling of ScalaCheck properties.☆68Updated this week
- 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
- Example code from my presentation on shapeless type class derivation☆29Updated 9 years ago
- Finally Tagless Blocking Implementation☆93Updated 2 years ago
- Type calculations at compile time☆40Updated 5 years ago
- Tools for schema evolution and language-integrated schemata☆65Updated 3 years ago
- macro for summoning implicit values☆92Updated 4 years ago
- Convert Task to Future, and Future to Task☆63Updated 6 years ago
- Typeclass proposal for Dotty☆47Updated 6 years ago
- A library to provide building blocks for stateful stream processing with FS2 over Kafka☆25Updated 6 years ago
- Multisets for Scala☆85Updated 3 years ago
- Kamon Integration for http4s☆53Updated 5 months ago
- Hacky applicative-style for comprehensions for Scala.☆37Updated 2 years ago
- IO types and classes for Scala.☆42Updated 7 years ago
- Toy project serving to illustrate that it's possible to write pure functional systems in Scala.☆42Updated 9 years ago
- Template for starting FP libraries ready to be published☆85Updated 4 months ago
- ☆46Updated 4 years ago
- Type safe delta☆55Updated 2 weeks ago
- Circe codec derivation using magnolia☆85Updated 3 months ago
- Giter8 template using tut and remark.js☆36Updated 5 years ago
- Cats Bifunctor IO☆79Updated 5 years ago
- skema morphisms☆89Updated this week
- Provides a functional API for tracing programs across system and network boundaries.☆62Updated 4 months ago