well-typed / recover-rtti
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
Related projects: ⓘ
- Overloaded plugin☆31Updated 3 months ago
- ☆30Updated 3 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆44Updated 5 months ago
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- Literally the best anonymous records☆36Updated last year
- Staged Streams and other stuff☆18Updated 2 years ago
- Dump the declarations of Haskell modules☆11Updated this week
- Leightweight generalized parser combinators☆17Updated 9 months ago
- ☆35Updated 3 years ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- An interface for GHC type-checking plugins☆20Updated last year
- rewrite rules for type-level equalities☆61Updated 4 months ago
- There are many category theory implementations, but this one is mine☆14Updated 3 weeks ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆20Updated 3 weeks ago
- A GHC plugin and library for analysing GHC Core☆53Updated 2 years ago
- A single typeclass for Functor, Bifunctor, Trifunctor, etc.☆40Updated last year
- Experimental tool to build reports on GHC build time for your projects.☆24Updated last year
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- Parse bytes fast☆24Updated 4 months ago
- A library for generic programming that aims to be easy to understand☆26Updated 2 years ago
- Manually constructed STG programs compiled with the standard GHC codegen backend.☆22Updated 3 years ago
- A library to profile time in a Haskell program☆17Updated 3 months ago
- Servant authentication with HMAC☆16Updated 9 months ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Updated 5 years ago
- Composable Concurrent Computation Done Right☆29Updated last year
- A really small example of the Backpack module system for Haskell☆50Updated last year
- ☆36Updated 3 months ago
- Symbol manipulation☆35Updated last year
- ☆33Updated 7 months ago
- ☆13Updated 4 years ago