Hackage :: [Package]

RepLib: Generic programming library with representation types

[ bsd3, generics, library ] [ Propose Tags ] [ Report a vulnerability ]
Versions [RSS] 0.2.1, 0.2.2, 0.3, 0.4.0, 0.5, 0.5.1, 0.5.2, 0.5.2.1, 0.5.3, 0.5.3.1, 0.5.3.2, 0.5.3.3, 0.5.3.4, 0.5.3.5, 0.5.4, 0.5.4.1
Dependencies base (>=4.3 && <5), containers (>=0.3 && <0.5), mtl (>=1.1 && <2.1), template-haskell (>=2.4 && <2.6) [details]
Tested with ghc ==7.0.1
License BSD-3-Clause
Author Stephanie Weirich
Maintainer Chris Casinghino <[email protected]> Brent Yorgey <[email protected]> Stephanie Weirich <[email protected]>
Category Generics
Home page http://code.google.com/p/replib/
Uploaded by BrentYorgey at 2010-12-07T22:43:47Z
Distributions
Reverse Dependencies 2 direct, 11 indirect [details]
Downloads 15720 total (15 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for RepLib-0.3

[back to package description] 
-----------------------------------------------------------------------------
-- 
-- Copyright   :  (c) 2006-2010, RepLib team (see LICENSE)
-- License     :  BSD
-- 
-- Maintainer  :  [email protected], [email protected]
-- Stability   :  experimental
-- Portability :  non-portable
--
-- RepLib 
--    a library of derivable type classes based on representation types
--
--  See http://code.google.com/p/replib/ 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

Generics.RepLib.Bind.LocallyNameless
                             - Tools for generic programming with
                               binders (alpha renaming, substitution,
                               unification, etc.)

Generics.RepLib.Bind.Nominal - Tools for generic programming with
                               binders (alternate implementation)

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
Main.hs.

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