Gabriella439 / Haskell-Total-Library
Exhaustive pattern matching using lenses, traversals, and prisms
☆32Updated 2 years ago
Alternatives and similar repositories for Haskell-Total-Library:
Users that are interested in Haskell-Total-Library are comparing it to the libraries listed below
- Maps using values' monoidal structure during merging☆42Updated last month
- Extensible type-safe unions for Haskell☆33Updated 4 months ago
- A library for generic programming that aims to be easy to understand☆26Updated 3 years ago
- Structured logging solution.☆35Updated last year
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- a PostgreSQL client library implemented with pure Haskell☆36Updated 4 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Demonstrating comonad transformers.☆36Updated 8 years ago
- An applicative monad that batches commands for later more efficient execution☆27Updated 7 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- ☆54Updated 6 years ago
- Easy and powerful typeful logging without monad towers, in Haskell.☆26Updated 8 months ago
- Omit fields for instance deriving☆37Updated 4 years ago
- Automation of Haskell package release process.☆31Updated last year
- Fast ByteString Builder☆21Updated 5 months ago
- IO without any PseudoExceptions☆28Updated 4 years ago
- ☆45Updated 3 years ago
- Template Haskell for generating ToJSON and FromJSON instances for GADTs☆22Updated last week
- Use hpack's phrasing in dhall to write cabal files☆31Updated 2 weeks ago
- A convenient DSL for describing web routes☆42Updated 4 years ago
- A faster date and time library based on time☆46Updated 2 weeks ago
- Dual Traversable☆42Updated last year
- the 'invariant' Haskell package for invariant functors☆15Updated last month
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- All of `base` without the `Prelude` module☆44Updated 2 years ago
- rewrite rules for type-level equalities☆62Updated 9 months ago
- ☆20Updated 2 years ago
- ☆24Updated 4 years ago
- An IO monad for PureScript.☆44Updated 6 years ago