obsidiansystems / aeson-gadt-th

Template Haskell for generating ToJSON and FromJSON instances for GADTs

obsidiansystems/aeson-gadt-th Issues

deriveJSONGADT requires `toJSON` and `parseJSON` to be in scope
Closed 4 years ago
Test suite does not compile
Closed 4 years ago
Fix version bounds on dependent-sum
Closed 4 years ago2
Possible support for multiply-indexed data types?
Updated 4 years ago3
Support for referring to data types via their constructors
Updated 4 years ago2
Build failures with GHC-8.2 and older
Closed 5 years ago1
Exception when trying to run compile-time code: substVarsWith: couldn't look up variable substitution
Updated 5 years ago23
Unhandled substitution case: ListT
Closed 5 years ago2
deriveArgDict for higher-kinded GADTs (`* -> * -> * -> * -> *`)
Closed 5 years ago2
Type variables not used in GADT constructors
Closed 5 years ago2
Support for type variables in constructor arguments
Closed 5 years ago3
Build error with nix on macos
Closed 5 years ago5