The RepLib package

[Tags: bsd3, library]

Generic programming library providing structural polymorphism and other features.

[Skip to ReadMe]


Versions0.2.1, 0.2.2, 0.3, 0.4.0, 0.5, 0.5.1, 0.5.2,, 0.5.3,,,,,
Change logNone available
Dependenciesbase (>=4.3 && <5), containers (==0.4.*), mtl (==2.0.*), template-haskell (>=2.4 && <2.7), type-equality (>= && <0.2) [details]
AuthorStephanie Weirich
MaintainerBrent Yorgey <> Chris Casinghino <> Stephanie Weirich <>
Home page
Source repositoryhead: svn checkout
UploadedThu Aug 25 17:13:49 UTC 2011 by BrentYorgey
Downloads3263 total (66 in last 30 days)
1 []
StatusDocs uploaded by user
Build status unknown [no reports yet]




Maintainers' corner

For package maintainers and hackage trustees

Readme for RepLib-0.5.1

-- Copyright   :  (c) 2006-2011, RepLib team (see LICENSE)
-- License     :  BSD
-- Maintainer  :,
-- Stability   :  experimental
-- Portability :  non-portable
-- RepLib 
--    a library of derivable type classes based on representation types
--  See for more information.

RepLib has been tested with GHC 7.0.1.  It currently does not compile with 
GHC 6.12.x or earlier.

This library contains the following modules:

Generics.RepLib.R           - Basic type representations
Generics.RepLib.R1          - Parameterized type representations
Generics.RepLib.Derive      - Template Haskell code to automatically derive 
                              representations of datatypes.
Generics.RepLib.PreludeReps - Reps of Prelude types
Generics.RepLib.RepAux      - Helper functions to define type-indexed functions

Generics.RepLib.Lib         - Examples of specializable type-indexed functions
Generics.RepLib.PreludeLib  - Examples type-indexed functions from prelude

Generics.RepLib.SYB.Aliases - SYB: Port of Data.Generics.Aliases
Generics.RepLib.SYB.Schemes - SYB: Port of Data.Generics.Schemes

RepLib                      - Top-level module that re-exports all of the above

To use this library, import RepLib and derive representations of your
datatypes. The "Lib" module contains a number of type-indexed
operations that have been predefined.  To see an example of
automatically deriving the representation of a datatype, see the file

Currently, the representations of datatypes with record components,
GADTs and nested datatypes cannot be automatically derived.