TotallyNotChase / valida
Simple, elegant, profunctorial, applicative validation for product types!
☆19Updated 3 years ago
Alternatives and similar repositories for valida:
Users that are interested in valida are comparing it to the libraries listed below
- Wrap up Haskell tools☆15Updated 3 years ago
- Library for invertible parsing and printing☆31Updated 10 months ago
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- Core modules for a blazing fast markup combinator library☆22Updated 9 months ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- ☆18Updated 4 years ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated last month
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- A quasiquoter for neat and simple multiline text interpolation☆55Updated last year
- ☆35Updated 6 months ago
- semirings and *-semirings of types in base/haskell-platform☆41Updated 10 months ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Get your IO right on the first try☆54Updated this week
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- A simple example of integrating TypeScript and Haskell.☆13Updated 3 years ago
- Clean up the formatting of 'show' output☆21Updated 7 months ago
- a self-hosting lambda calculus compiler☆35Updated this week
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- open union and open product types in Haskell☆32Updated 4 years ago
- simple chan based stream programming with arrow interface (Chan + Arrow = Churro)☆32Updated 2 years ago
- Deep evaluation of data structures☆41Updated 6 months ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 2 months ago
- Lua backend for Idris 2☆27Updated 2 years ago
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization☆59Updated 2 months ago
- ☆44Updated last month
- srv is a tiny web server for local deployments☆9Updated 2 months ago
- Dependently-typed finite maps (partial dependent products)☆65Updated last month