cdepillabout / world-peace
open union and open product types in Haskell
☆32Updated 4 years ago
Alternatives and similar repositories for world-peace:
Users that are interested in world-peace are comparing it to the libraries listed below
- Clean up the formatting of 'show' output☆21Updated 6 months ago
- Deep evaluation of data structures☆41Updated 5 months ago
- Haskell98 indexed functors, monads, comonads☆25Updated 2 years ago
- Property based testing for Servant using Hedgehog☆19Updated 3 years ago
- Surgery for generic data types☆25Updated 4 years ago
- Declare that a typeclass instance should not exist.☆11Updated 9 months ago
- ☆44Updated 2 months ago
- Simple comparative benchmarks for CSV parsing libraries☆17Updated 6 years ago
- Safe web routing in haskell☆30Updated last year
- Asymptotically optimal Brodal/Okasaki heaps☆30Updated 2 months ago
- Dual Traversable☆42Updated last year
- Atom LSP plugin for HIE (Haskell IDE Engine)☆26Updated 5 years ago
- Tasty integration for the Hedgehog property testing library☆38Updated 3 months ago
- Maps using values' monoidal structure during merging☆42Updated 2 months ago
- phantom types☆38Updated 2 weeks ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆17Updated last week
- High-performance JSON parser☆26Updated 9 months ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 2 months ago
- Funny little Haskell impl☆18Updated 4 years ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated last month
- Basic examples and functions for generics-sop☆20Updated last year
- higher-kinded data☆30Updated last year
- 💧 Liquid Haskell integration for Cabal and Stack☆23Updated 5 years ago
- Old and New GHC☆20Updated last year
- 🎒 Backpack interface for containers☆32Updated 4 years ago
- ☆18Updated 3 years ago
- Run lifted IO operations asynchronously and wait for their results☆28Updated 3 months ago
- Haskell types and parsers for software version numbers.☆20Updated 2 weeks ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆16Updated 2 months ago
- Typeclass for array types☆19Updated 9 months ago