dependent-sum-template: Template Haskell code to generate instances of classes in some package

[ public-domain, unclassified ] [ Propose Tags ]

Template Haskell code to generate instances of classes in some package, such as GEq and GCompare.


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.0.0.1, 0.0.0.3, 0.0.0.4, 0.0.0.5, 0.0.0.6, 0.1.0.0, 0.1.0.2, 0.1.0.3, 0.1.1.0, 0.1.1.1, 0.1.2.0, 0.2.0.0, 0.2.0.1
Change log ChangeLog.md
Dependencies base (>=3 && <5), containers (>=0.5.9.2), mtl, some (>=1.0.1 && <1.1), template-haskell (>=2.11 && <2.21), th-abstraction (>=0.4) [details]
License LicenseRef-PublicDomain
Author James Cook <mokus@deepbondi.net>
Maintainer Obsidian Systems, LLC <maintainer@obsidian.systems>
Category Unclassified
Home page https://github.com/obsidiansystems/dependent-sum-template
Source repo head: git clone https://github.com/obsidiansystems/dependent-sum-template
Uploaded by JohnEricson at 2023-12-06T15:47:16Z
Distributions Arch:0.1.1.1, Debian:0.1.0.3, LTSHaskell:0.1.1.1, NixOS:0.1.1.1
Reverse Dependencies 11 direct, 84 indirect [details]
Downloads 21000 total (152 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2023-12-06 [all 1 reports]

Readme for dependent-sum-template-0.2.0.1

[back to package description]

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.