The multirec-alt-deriver package
New features/changes:
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; they don't need to be equal to the name of the types to which they correspond. (This is useful if you're working with existing code where the name is already taken)
The names of the empty types corresponding to constructors are now also customizable
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).
- No changelog available
Properties
| Versions | 0.1, 0.1.1, 0.1.2, 0.1.3 |
|---|---|
| Dependencies | base (==4.*), containers, mtl, multirec, syb, template-haskell, th-expand-syns |
| License | BSD3 |
| Author | Daniel Schüssler |
| Maintainer | daniels@community.haskell.org |
| Category | Template Haskell, Generics |
| Source repository | head: darcs get http://code.haskell.org/~daniels/multirec-alt-deriver |
| Uploaded | Tue Oct 13 11:48:13 UTC 2009 by DanielSchuessler |
| Distributions | NixOS:0.1.3 |
| Downloads | 407 total (36 in last 30 days) |
| Status | Docs uploaded by user Build status unknown [no reports yet] |
Modules
- Generics
- MultiRec
[Index]
Downloads
- multirec-alt-deriver-0.1.tar.gz [browse] (Cabal source package)
- Package description (included in the package)
Maintainers' corner
For package maintainers and hackage trustees