Oh, right. Has is not of kind Type (which is what a regular type declaration would get you), but of Constraint. Specifically, it is referred to as "constraint synonym" (which is a kind of type synonym). This is enabled by the XConstraintKinds extension.
Correction: aeson-gadt does not use the constraint libraries. Though the two are usually used in conjunction, especially when using libraries like dependent-sum
I'm yet to revisit this and write a short tutorial on the topic (got too much on plate) but for now, this PR might of be interest: it improves the documentation of dependent-sum with helpful pointers to where ArgDict from constraints-extras fits in: https://github.com/mokus0/dependent-sum/pull/42/files
mpickering on IRC suggested that a pointer to deriveArgDict would be useful. I also tried to clarify the rest of the haddock for DSum.
@mpickering: Is this clear enough, do you think, or should the...
Just started to read and understand how
Data.Constraint.Extrasis used/works (it used in aeson-gadt-th that derives JSON automatically for GADTs). Someone recently opened a PR to add module documentation, which seems pretty useful: https://github.com/obsidiansystems/constraints-extras/blob/develop/src/Data/Constraint/Extras.hsNote that this library is based on ekmett's
Data.ConstraintThis trips me up:
ArgDictis a class, not a type. How can it be in the RHS of a type declaration?Oh, right.
Hasis not of kindType(which is what a regular type declaration would get you), but ofConstraint. Specifically, it is referred to as "constraint synonym" (which is a kind of type synonym). This is enabled by theXConstraintKindsextension.Correction:
aeson-gadtdoes not use the constraint libraries. Though the two are usually used in conjunction, especially when using libraries like dependent-sumI'm yet to revisit this and write a short tutorial on the topic (got too much on plate) but for now, this PR might of be interest: it improves the documentation of
dependent-sumwith helpful pointers to whereArgDictfromconstraints-extrasfits in: https://github.com/mokus0/dependent-sum/pull/42/files