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

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

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.22), th-abstraction (>=0.4) [details]
License LicenseRef-PublicDomain
Author James Cook <mokus@deepbondi.net>
Maintainer Obsidian Systems, LLC <maintainer@obsidian.systems>
Revised Revision 1 made by Bodigrim at 2024-05-05T21:55:29Z
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, Stackage:0.2.0.1
Reverse Dependencies 11 direct, 84 indirect [details]
Downloads 21499 total (136 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.