cdepillabout / world-peaceLinks
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
Sorting:
- Easy and powerful typeful logging without monad towers, in Haskell.☆26Updated last year
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- Deep evaluation of data structures☆43Updated last month
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Updated 4 months ago
- Structured logging solution.☆35Updated last month
- Reasonable Haskell default import☆27Updated 2 years ago
- Haskell time library focusing on performance☆57Updated 2 weeks ago
- Simple helper functions to work with optparse-applicative☆29Updated 4 years ago
- Surgery for generic data types☆25Updated 4 years ago
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Updated 4 years ago
- Effectful Raw handler for Servant servers.☆16Updated 4 years ago
- Basic examples and functions for generics-sop☆19Updated last year
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Property based testing for Servant using Hedgehog☆19Updated 4 years ago
- ☆44Updated 5 months ago
- ☆21Updated 2 years ago
- Filter with effects☆74Updated 6 months ago
- 🎒 Backpack interface for containers☆32Updated 4 years ago
- Non-empty Vectors☆25Updated 3 months ago
- Asymptotically optimal Brodal/Okasaki heaps☆32Updated 7 months ago
- a PostgreSQL client library implemented with pure Haskell☆36Updated 4 years ago
- Haskell library of row polymorphic record manipulator☆23Updated 4 years ago
- Haskell data types and functions for countries☆27Updated 4 months ago
- Safe web routing in haskell☆30Updated 2 years ago
- Extensible type-safe unions for Haskell☆34Updated 4 months ago
- Get terminal window width and height☆13Updated 11 months ago
- Haskell98 indexed functors, monads, comonads☆25Updated 3 years ago
- Simple testing toolkit☆10Updated 4 years ago
- Uniform interface to reified data type information via Template Haskell☆21Updated 5 months ago
- A monad for managed values☆51Updated 2 years ago