obsidiansystems/aeson-gadt-th

Issues

• deriveJSONGADT requires `toJSON` and `parseJSON` to be in scope

  #21 opened 4 years ago by ryantrinkle
  0

• Test suite does not compile

  #25 opened 4 years ago by peti
  0

• Fix version bounds on dependent-sum

  #26 opened 4 years ago by Lysxia
  2

• Possible support for multiply-indexed data types?

  #24 opened 5 years ago by cgibbard
  3

• Support for referring to data types via their constructors

  #23 opened 5 years ago by srid
  2

• Build failures with GHC-8.2 and older

  #18 opened 5 years ago by phadej
  1

• Exception when trying to run compile-time code: substVarsWith: couldn't look up variable substitution

  #8 opened 6 years ago by oofp
  23

• Unhandled substitution case: ListT

  #12 opened 6 years ago by srid
  2

• deriveArgDict for higher-kinded GADTs (`* -> * -> * -> * -> *`)

  #13 opened 6 years ago by srid
  2

• Type variables not used in GADT constructors

  #14 opened 6 years ago by srid
  2

• Support for type variables in constructor arguments

  #11 opened 6 years ago by srid
  3

• Build error with nix on macos

  #7 opened 6 years ago by tgass
  5