Hackage :: [Package]

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

[ public-domain, unclassified ] [ Propose Tags ] [ Report a vulnerability ]

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, 0.2.0.2
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.24), th-abstraction (>=0.4) [details]
Tested with ghc ==8.4.4, ghc ==8.6.5, ghc ==8.8.4, ghc ==8.10.7, ghc ==9.0.2, ghc ==9.2.5, ghc ==9.4.5, ghc ==9.6.1, ghc ==9.8.2, ghc ==9.10.1, ghc ==9.12.1
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 alexfmpe at 2025-01-18T20:43:32Z
Distributions Arch:0.2.0.2, Debian:0.1.0.3, LTSHaskell:0.2.0.2, NixOS:0.2.0.2, Stackage:0.2.0.2
Reverse Dependencies 13 direct, 99 indirect [details]
Downloads 22617 total (32 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for dependent-sum-template-0.2.0.2

[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.