dependent-sum-template

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

Version on this page:	0.0.0.6
LTS Haskell 23.19:	0.2.0.2
Stackage Nightly 2025-04-30:	0.2.0.2
Latest on Hackage:	0.2.0.2

See all snapshots dependent-sum-template appears in

LicenseRef-PublicDomain licensed by James Cook

Maintained by Ryan Trinkle

This version can be pinned in stack with:dependent-sum-template-0.0.0.6@sha256:5d82aeb6f5bc5694aef36a1ecd43a86349bfb12aa58d757cf7b7b27e9da1b5c8,1237

Module documentation for 0.0.0.6

Data
- Data.GADT
  - Data.GADT.Compare
    - Data.GADT.Compare.TH
  - Data.GADT.Show
    - Data.GADT.Show.TH

Depends on 4 packages(full list with versions):

base, dependent-sum, template-haskell, th-extras

Used by 1 package in lts-13.1(full list with versions):

lambdabot-core

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