lexi-lambda / monad-validate
A Haskell monad transformer library for data validation
☆36Updated last year
Alternatives and similar repositories for monad-validate:
Users that are interested in monad-validate are comparing it to the libraries listed below
- higher-kinded data☆30Updated last year
- Clean up the formatting of 'show' output☆21Updated 7 months ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated last month
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- A monad for managed values☆50Updated 2 years ago
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 3 years ago
- Asymptotically optimal Brodal/Okasaki heaps☆30Updated 3 months ago
- Dual Traversable☆42Updated last year
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization☆59Updated 2 months ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- Session Types with Priority in Linear Haskell☆26Updated 9 months ago
- Deep evaluation of data structures☆41Updated 6 months ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆11Updated 3 months ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- Get your IO right on the first try☆53Updated this week
- ☆40Updated last month
- A library for benign effects in Haskell☆20Updated last month
- High-performance JSON parser☆26Updated 10 months ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated 2 years ago
- A GHC plugin to derive instances.☆23Updated 2 years ago
- Safe web routing in haskell☆30Updated last year
- Bidirectional JSON serialization☆40Updated 4 years ago
- Order theory☆24Updated last year
- Fast higher-order effect handlers with evidence passing☆19Updated last year
- type level sets☆67Updated 5 years ago
- Example uses of linear types☆43Updated 4 years ago