Tritlo / ExampleHolePlugin
☆24Updated 4 years ago
Alternatives and similar repositories for ExampleHolePlugin:
Users that are interested in ExampleHolePlugin are comparing it to the libraries listed below
- Folds for recursive types with GHC Generics☆26Updated 4 years ago
- Omit fields for instance deriving☆37Updated 4 years ago
- Overloaded plugin☆30Updated 8 months ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 8 months ago
- Maps using values' monoidal structure during merging☆42Updated 2 months ago
- Automatic type class law checking.☆24Updated last month
- ☆20Updated 2 years ago
- Function generation for Hedgehog☆18Updated 6 months ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- ☆34Updated 3 years ago
- A simple tool for visualising differences in Criterion benchmark results☆14Updated 4 years ago
- Simplify and render Template Haskell☆18Updated 6 years ago
- A GHC plugin and library for analysing GHC Core☆54Updated 2 weeks ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- Safe web routing in haskell☆30Updated last year
- A library for generic programming that aims to be easy to understand☆26Updated 3 years ago
- Library and tool for parsing .eventlog files from GHC☆33Updated 2 months ago
- Extensible type-safe unions for Haskell☆33Updated 5 months ago
- Kleene algebra, regular expressions☆32Updated last year
- Haskell library of row polymorphic record manipulator☆19Updated 4 years ago
- rewrite rules for type-level equalities☆62Updated 10 months ago
- generate contextually sensible fuzz tests for servant apps☆26Updated 3 months ago
- ☆45Updated 3 years ago
- Automation of Haskell package release process.☆31Updated last year
- Demonstrating comonad transformers.☆36Updated 8 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- Basic examples and functions for generics-sop☆20Updated last year
- Programmatically create new instances using core-to-core plugins☆11Updated 3 years ago
- Symbol manipulation☆36Updated last year
- United Monoids☆24Updated 2 years ago