i-am-tom / higgledy
Higher-kinded data via generics
☆170Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for higgledy
- Extensional capabilities and deriving combinators☆213Updated 4 months ago
- Measure allocations of a Haskell functions/values☆93Updated 2 weeks ago
- Extra Haskell functions☆94Updated last month
- Refinement types with static checking☆182Updated this week
- The MonadUnliftIO typeclass for unlifting monads to IO☆151Updated last month
- Safe, consistent, and easy exception handling☆136Updated last year
- Inspection Testing for Haskell☆173Updated last month
- A structured logging framework for Haskell☆205Updated 2 months ago
- A Haskell library for open records and variants using closed type families and type literals☆111Updated 2 years ago
- Generate reflex client functions for querying a servant API☆79Updated last year
- Validity and validity-based testing☆156Updated last month
- A preprocessor for a Haskell record syntax using dot☆129Updated 10 months ago
- Generic Programming using True Sums of Products☆157Updated 6 months ago
- Detect dead exports or package imports☆124Updated 4 years ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆95Updated 2 years ago
- Benchmarks for sequence data structures: lists, vectors, etc.☆88Updated 2 years ago
- Fast and concise extensible effects☆105Updated last year
- Text lenses using PCRE regexes☆126Updated 4 years ago
- constraint level if statements☆110Updated 6 years ago
- High performance type safe html generation☆126Updated 2 years ago
- An optimized general monad transformer for streaming applications, with a simple prelude of functions☆104Updated 6 years ago
- A PureScript interpreter in Haskell☆119Updated 2 years ago
- ⚡️Efficient implementation of Map with types as keys☆100Updated 10 months ago
- ☆104Updated 3 years ago
- 📚 A softer alternative to Haddock☆104Updated 4 years ago
- The GHC API, decoupled from GHC versions☆161Updated 2 weeks ago
- A small example of using mtl style to unit test effectful code☆106Updated 7 years ago
- A re-implementation of weeder using HIE files☆169Updated 2 weeks ago
- Stream editing with Haskell Megaparsec parsers☆79Updated 5 months ago
- A magic typeclass that just does it☆124Updated 2 years ago