generics-mrsop-gdiff: Reimplementation of the `gdiff` algorithm for `generics-mrsop`

[ bsd3, generics, library ] [ Propose Tags ]

Here we port the gdiff algorithm and library to work over the generics-mrsop, enabling code that relies on the later library to access the gdiff algorithm.

Versions [faq] 0.0.0, 0.0.1, 0.0.2
Dependencies base (<5), generics-mrsop (>=2.0.0) [details]
License BSD-3-Clause
Author Arian van Putten and Victor Miraldo
Maintainer arian.vanputten@gmail.com v.cacciarimiraldo@gmail.com
Category Generics
Uploaded by vcmiraldo at Mon Sep 16 08:56:56 UTC 2019
Distributions NixOS:0.0.1
Downloads 148 total (125 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
Last success reported on 2019-09-16 [all 2 reports]

Modules

  • Generics
    • MRSOP
      • Generics.MRSOP.GDiff
        • Generics.MRSOP.GDiff.Util

Downloads

Maintainer's Corner

For package maintainers and hackage trustees