merijn / validated-literals
Compile-time checking for partial smart-constructors
☆21Updated last year
Alternatives and similar repositories for validated-literals:
Users that are interested in validated-literals are comparing it to the libraries listed below
- A library for generic programming that aims to be easy to understand☆26Updated last month
- ☆20Updated 2 years ago
- Overloaded plugin☆30Updated 10 months ago
- Maps using values' monoidal structure during merging☆42Updated 2 weeks ago
- Extensible type-safe unions for Haskell☆33Updated last month
- Performance shootout of various trie implementations☆18Updated 5 years ago
- Omit fields for instance deriving☆37Updated 4 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Simplify and render Template Haskell☆18Updated 6 years ago
- the 'invariant' Haskell package for invariant functors☆16Updated last month
- An applicative monad that batches commands for later more efficient execution☆27Updated 7 years ago
- Basic examples and functions for generics-sop☆20Updated last year
- Folds for recursive types with GHC Generics☆26Updated 5 years ago
- A text editor zipper libary☆17Updated 5 months ago
- Declare that a typeclass instance should not exist.☆11Updated 11 months ago
- Experimental implementation of generic record subtyping☆18Updated 11 months ago
- high-level stream sockets in haskell☆17Updated last year
- Fast ByteString Builder☆21Updated last month
- ☆11Updated last year
- Haskell library of row polymorphic record manipulator☆19Updated 4 years ago
- Rust-style strict Maybe in Haskell: no space/indirection overhead.☆18Updated last year
- 🤳 ignore the differences between `a` and `Identity a`☆25Updated 5 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated last month
- Easy and powerful typeful logging without monad towers, in Haskell.☆26Updated 11 months ago
- ListT done right☆15Updated last year
- A simple tool for visualising differences in Criterion benchmark results☆14Updated last week
- Hackager tool for releasing Haskell packages to Hackage☆30Updated last month
- Deriving Semigroup and Monoid instances for your product types☆11Updated last month
- Uniform interface to reified data type information via Template Haskell☆21Updated last month
- A command-line tool for live monitoring☆25Updated 2 years ago