TotallyNotChase / valida
Simple, elegant, profunctorial, applicative validation for product types!
☆19Updated 3 years ago
Related projects: ⓘ
- Cursor data and manipulation☆21Updated 9 months ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆29Updated last year
- Wrap up Haskell tools☆15Updated 3 years ago
- ☆18Updated 3 years ago
- simple chan based stream programming with arrow interface (Chan + Arrow = Churro)☆32Updated last year
- 🎭 Actor library for Haskell☆30Updated last year
- Compile Dhall expressions to Cabal files☆100Updated last year
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- Libraries for the Effectful Haskell effects system☆21Updated 2 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- An effect system based on type classes, written in Haskell.☆44Updated 2 years ago
- 🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list☆27Updated last year
- Clean up the formatting of 'show' output☆22Updated 3 weeks ago
- Order theory☆23Updated last year
- Ties the knot on data structures that reference each other by unique keys☆47Updated last month
- Library for invertible parsing and printing☆31Updated 3 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 4 years ago
- ⚖️ Trial Data Type☆20Updated 4 months ago
- ☆26Updated 3 months ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago
- Fast higher-order effect handlers with evidence passing☆17Updated 8 months ago
- Web front UI for interactive Haskell projects☆33Updated 4 years ago
- Haskell parsing combinator liibrary that can be fed the input and emit the parsed output incrementally☆23Updated 9 months ago
- A simple example of integrating TypeScript and Haskell.☆13Updated 3 years ago
- Existential type.☆36Updated 4 months ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated 3 months ago
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization☆59Updated 2 months ago
- A Haskell library: A fancy logging effect for Polysemy using the formatting library to format log messages.☆12Updated 3 years ago
- GHC plugin to desugar ! into do-notation☆37Updated 4 months ago