The multirec-alt-deriver package
Works with arbitrary monomorphic types, e.g. ([Int],String), not just names that refer to monomorphic types.
The names of the "proofs" (= constructors of the family GADT) are now specified by the user. In other words, a proof now doesn't need to have the same name as the type whose family-membership it proves anymore. This is useful if you're working with existing code where the type's name is already taken on the value level.
The names of the constructor-representing empty types are also customizable now.
The type sums in the pattern functor are now balanced trees of (:+:) rather than right-nested lists. This cuts down the size of the value-level code (and hopefully helps with compilation time).
|Versions||0.1, 0.1.1, 0.1.2, 0.1.3|
|Change log||None available|
|Dependencies||base (==4.*), containers, mtl, multirec, syb, template-haskell (<2.6), th-expand-syns [details]|
|Category||Template Haskell, Generics|
|Source repository||head: darcs get http://code.haskell.org/~daniels/multirec-alt-deriver|
|Uploaded||Sun Nov 28 23:01:51 UTC 2010 by DanielSchuessler|
|Downloads||615 total (32 in last 30 days)|
|Status||Docs uploaded by user|
Build status unknown [no reports yet]
- multirec-alt-deriver-0.1.2.tar.gz [browse] (Cabal source package)
- Package description (included in the package)
For package maintainers and hackage trustees