dependent-sum-template

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

/dev/null

Version on this page:0.0.0.6
LTS Haskell 22.14:0.1.1.1
Stackage Nightly 2023-12-26:0.1.1.1
Latest on Hackage:0.2.0.1

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
Used by 1 package in nightly-2018-09-22(full list with versions):

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