Hackage :: [Package]

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]

Modules

[Last Documentation]

  • Data
    • GADT
      • Compare
        • Data.GADT.Compare.TH
      • Show
        • Data.GADT.Show.TH

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.18), 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 phadej at 2023-07-30T20:06:17Z
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-07-11T22:35:35Z
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 21155 total (155 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2023-07-12 [all 2 reports]

Readme for dependent-sum-template-0.1.2.0

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