pelotom / effectful
A syntax for type-safe effectful computations in Scala
☆175Updated 8 years ago
Alternatives and similar repositories for effectful:
Users that are interested in effectful are comparing it to the libraries listed below
- An exploration of purely functional library design in Scala.☆104Updated 8 years ago
- Scala Records: Extensible records and type-indexed maps☆82Updated 9 years ago
- A compiler plug-in to control object lifetimes in Scala☆63Updated 7 years ago
- Metal - fast unboxed data structures for Scala☆95Updated 6 years ago
- A fast and generic immutable radix tree for scala☆96Updated 5 years ago
- Liberator - sent to make you Free☆88Updated 6 years ago
- Patch data type for Scala and shapeless☆61Updated 5 years ago
- Spire's macros for zero-cost operator enrichment☆191Updated 5 years ago
- Type safe delta☆55Updated 3 months ago
- Minimal infrastructure for type class providers to support the inclusion of derived, subclass and other orphan instances in their implici…☆89Updated 5 years ago
- Totalitarian: typesafe data structures for working with total functions☆49Updated 6 years ago
- an implementation of Wadler's a prettier printer☆188Updated this week
- macro-compat is a small library which allows you to compile macros with Scala 2.10.x which are written to the Scala 2.11/2 macro API.☆84Updated 5 years ago
- Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf☆49Updated last month
- Multisets for Scala☆85Updated 3 years ago
- Modified version of dotty suporting language specific and library-specific optimizations☆37Updated 8 years ago
- Limits of Scala typechecking speed☆156Updated 3 years ago
- gestalt : portable and solid macros for Scala☆31Updated 7 years ago
- macro for summoning implicit values☆92Updated 4 years ago
- Example usage of scalaz and uncommon Scala features.☆83Updated 8 years ago
- Scala library for free applicative schemas capable of parsing/rendering sums-of-products data structures.☆108Updated 6 years ago
- A dimensional analysis library based on dependent types☆199Updated 6 months ago
- Everything you need to make type classes first class.☆61Updated 8 years ago
- Labeled records for Scala based on structural refinement types and macros.☆159Updated 5 years ago
- A fast parser combinator library, with extra querying goodness☆34Updated 8 years ago
- Macro-based type providers for Scala (examples)☆85Updated 9 years ago
- Automatic functional lifting, mapping and folding.☆65Updated 7 years ago
- IO types and classes for Scala.☆42Updated 8 years ago
- Cats instances and classes which are outlaws, miscreants, and ne'er-do-wells.☆62Updated 6 years ago
- A purely-functional library for defining type-safe schemas for algebraic data types, providing free generators, SQL queries, JSON codecs,…☆164Updated 5 years ago