name: multirec-alt-deriver
version: 0.1.3
synopsis: Alternative multirec instances deriver
description:
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).
category: Template Haskell, Generics
license: BSD3
license-file: LICENSE
author: Daniel Schüssler
maintainer: daniels@community.haskell.org
cabal-version: >= 1.6
build-type: Simple
extra-source-files: examples/Tree.hs
source-repository head
type: darcs
location: http://code.haskell.org/~daniels/multirec-alt-deriver
Library
build-depends: base >= 4 && < 5,
template-haskell < 2.6,
syb,
multirec,
th-expand-syns,
containers,
mtl
ghc-options:
exposed-modules: Generics.MultiRec.TH.Alt
other-modules: THUtils,
BalancedFold,
MonadRQ,
Generics.MultiRec.TH.Alt.DerivOptions