Skip to content

Latest commit

 

History

History
12 lines (7 loc) · 1.11 KB

ReadMe.md

File metadata and controls

12 lines (7 loc) · 1.11 KB
Raw

dependent-sum-template Build Status Hackage

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.