akrmn / generic-constructors
☆12Updated 4 years ago
Related projects: ⓘ
- Omit fields for instance deriving☆37Updated 4 years ago
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- Proposed changes to Haskell Core Libraries☆19Updated 4 years ago
- A library for generic programming that aims to be easy to understand☆26Updated 2 years ago
- Divide without division☆15Updated 4 months ago
- Extend GHC's type checker with user-defined rules, without writing a type checker plugin.☆18Updated 3 years ago
- Modular arithmetic, promoting moduli to the type level☆24Updated 4 months ago
- A single typeclass for Functor, Bifunctor, Trifunctor, etc.☆40Updated last year
- A tool to fill in the version ranges in a cabal file.☆17Updated 9 years ago
- Speculate laws about Haskell functions☆30Updated 7 months ago
- Generic data types in Haskell, utilities for GHC.Generics☆44Updated 5 months ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆33Updated 3 months ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Compile-time checking for partial smart-constructors☆20Updated last year
- ☆10Updated 3 years ago
- Fast ByteString Builder☆22Updated 3 weeks ago
- ZuriHac registration system☆22Updated 3 months ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆20Updated 3 weeks ago
- An implementation of the Update Monad and a 'Free' version from https://danelahman.github.io/papers/types13postproc.pdf☆13Updated 5 years ago
- Dump the declarations of Haskell modules☆11Updated this week
- Experimental tool to build reports on GHC build time for your projects.☆24Updated last year
- dynamic recompilation and loading of code. A replacement for the old plugins library but now based around the GHC API.☆15Updated 7 years ago
- ☆35Updated 3 years ago
- Prune unused Haskell dependencies.☆48Updated last year
- Color highlighting for Haskell profiling information☆40Updated 2 years ago
- Normalise GHC.TypeLits.Nat equations☆43Updated 3 months ago
- Manually constructed STG programs compiled with the standard GHC codegen backend.☆22Updated 3 years ago
- Standard module for type-level programming in Haskell☆31Updated 5 years ago
- 📤 defer instance resolution until runtime☆18Updated 4 years ago
- An ingredient for tasty that prints a summary and outputs junit xml that works with jenkins.☆11Updated 7 months ago