constraint-rules
constraint-rules copied to clipboard
Extend GHC's type checker with user-defined rules, without writing a type checker plugin.
Extend GHC's type checker with user-defined rules, without writing a type checker plugin.