sheaf / ghc-tcplugin-api
An interface for GHC type-checking plugins
☆20Updated last month
Alternatives and similar repositories for ghc-tcplugin-api:
Users that are interested in ghc-tcplugin-api are comparing it to the libraries listed below
- Overloaded plugin☆30Updated 7 months ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated 7 months ago
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last month
- Leightweight generalized parser combinators☆17Updated last year
- ☆31Updated 3 years ago
- Staged Streams and other stuff☆18Updated 2 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆44Updated 3 weeks ago
- ☆34Updated 3 years ago
- ☆20Updated last year
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated 6 months ago
- A library to profile time in a Haskell program☆17Updated 7 months ago
- Existential type.☆36Updated 3 weeks ago
- Infinite lists aka streams☆18Updated 3 weeks ago
- Hackager tool for releasing Haskell packages to Hackage☆30Updated 6 months ago
- Fine-grained lattice primitives for Haskell☆35Updated 2 weeks ago
- Dump the declarations of Haskell modules☆14Updated this week
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- A GitHub action for publishing packages on Hackage☆28Updated last year
- Nat, Fin, Vec☆24Updated 2 months ago
- An implementation of the actor model in Haskell using STM☆16Updated 3 weeks ago
- ☆11Updated last year
- A Generic implementation of data-has.☆22Updated 4 years ago
- Symbol manipulation☆36Updated last year
- Type-safe printf from parsing GHC TypeLits Symbol☆24Updated 4 months ago
- A virtual memory scanner☆10Updated last year
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated 3 months ago
- A package dealing with Kepler orbits.☆11Updated 2 years ago
- make analogue for higher kinded data☆9Updated 3 years ago