multirec-alt-deriver: Alternative multirec instances deriver

[ bsd3, generics, library, template-haskell ] [ Propose Tags ]

New features/changes:

  • Works with arbitrary monomorphic types, e.g. ([Int],String), not just names that refer to monomorphic types.

  • The names of the "proof" constructors (= constructors of the family GADT) are now specified by the user. This is useful if you're working with existing code where some type's name is already taken on the value level, so you can't have a proof of that name.

  • The names of the constructor-representing empty types are also customizable now.

  • Optionally, the type sums in the pattern functor are balanced trees of (:+:) rather than right-nested ones. This cuts down the size of the value-level code (and hopefully helps with compilation time).

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1, 0.1.1, 0.1.2, 0.1.3
Dependencies base (>=4 && <5), containers, mtl, multirec, syb, template-haskell (<2.6), th-expand-syns [details]
License BSD-3-Clause
Author Daniel Schüssler
Maintainer daniels@community.haskell.org
Category Template Haskell, Generics
Source repo head: darcs get http://code.haskell.org/~daniels/multirec-alt-deriver
Uploaded by DanielSchuessler at 2010-11-29T01:02:59Z
Distributions NixOS:0.1.3
Downloads 2928 total (1 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]