dmwit / universeLinks
Classes for types where we know all the values
☆39Updated 9 months ago
Alternatives and similar repositories for universe
Users that are interested in universe are comparing it to the libraries listed below
Sorting:
- Ghosts of Departed Proofs☆61Updated 4 years ago
- Symbol manipulation☆36Updated 2 years ago
- rewrite rules for type-level equalities☆62Updated last month
- Maps using values' monoidal structure during merging☆42Updated 6 months ago
- Extensible type-safe unions for Haskell☆34Updated 7 months ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Updated 3 years ago
- Codo notation for programming with comonads in Haskell☆25Updated 4 years ago
- A GHC plugin and library for analysing GHC Core☆54Updated 8 months ago
- An experimental intermediate language for GHC☆36Updated 8 years ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).