| ... | ... | @@ -206,6 +206,8 @@ Known plugins: |
|
|
|
|
|
|
|
- [ type-nat-solver](https://github.com/yav/type-nat-solver) is a plugin for solving numeric constraints using an SMT solver
|
|
|
|
|
|
|
|
- [ ghc-typelits-natnormalise](https://github.com/christiaanb/ghc-typelits-natnormalise) is another plugin for solving numeric constraints, using normalisation instead of an external SMT solver
|
|
|
|
|
|
|
|
- [ uom-plugin](https://github.com/adamgundry/uom-plugin) is an implementation of units of measure that uses a typechecker plugin to implement the equational theory of abelian groups
|
|
|
|
|
|
|
|
|
| ... | ... | @@ -213,6 +215,8 @@ Other possible applications: |
|
|
|
|
|
|
|
- making particular type families [injective](injective-type-families) (cf. [\#6018](https://gitlab.haskell.org//ghc/ghc/issues/6018))
|
|
|
|
|
|
|
|
- extra improvement for closed type families (cf. [\#10227](https://gitlab.haskell.org//ghc/ghc/issues/10227))
|
|
|
|
|
|
|
|
- adding functional dependency style behaviour to particular typeclasses
|
|
|
|
|
|
|
|
- eta-expansion of type-level products ([\#7259](https://gitlab.haskell.org//ghc/ghc/issues/7259))
|
| ... | ... | |
