@hackage › dependent-sum-template

This library defines Template Haskell functions for deriving the GEq, GCompare, GShow, and GRead functions from the some library.

GEq tag is similar to an Eq instance for tag a except that with geq, values of types tag a and tag b may be compared, and in the case of equality, evidence that the types a and b are equal is provided.
GCompare tag is similar to the above for Ord, and provides gcompare, giving a GOrdering that gives similar evidence of type equality when values match.
GShow tag means that tag a has (the equivalent of) a Show instance.
GRead tag means that tag a has (the equivalent of) a Read instance.

@hackage / dependent-sum-template