dependent-sum-template-0.1.1.1.0.0.0.1

Synopsis

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

Description

Template Haskell code to generate instances of classes in dependent-sum package, such as 'GEq' and 'GCompare'.

Author

James Cook <mokus@deepbondi.net>

Maintainer

Obsidian Systems, LLC <maintainer@obsidian.systems>

License

PublicDomain

Source
https://github.com/input-output-hk/dependent-sum-template
Commit hash
adb6550fbde9b5b0613d71c65f23bd0fbb46d761
Timestamp

2023-09-26T01:42:03Z

Revisions

None

Dependencies
library dependent-sum-template:
  • ["base >=3 && <5","dependent-sum >=0.4.1","template-haskell","th-extras >=0.0.0.6","th-abstraction >=0.4"]
test-suite test:
  • ["base","constraints-extras","dependent-sum","dependent-sum-template"]