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.4 && <0.5), mtl (>=2.0 && <2.1), template-haskell (>=2.4 && <2.7), type-equality (>=0.1.0.2 && <0.2) [details]
Tested with ghc ==7.0.1, ghc ==7.0.3, ghc ==7.0.4, ghc ==7.2.1
License BSD-3-Clause
Author Stephanie Weirich
Maintainer Brent Yorgey <byorgey@cis.upenn.edu> Chris Casinghino <ccasin@cis.upenn.edu> Stephanie Weirich <sweirich@cis.upenn.edu>
Category Generics
Home page http://code.google.com/p/replib/
Source repo head: svn checkout http://replib.googlecode.com/svn/trunk/
Uploaded by BrentYorgey at 2011-08-25T17:13:49Z
Distributions
Reverse Dependencies 2 direct, 11 indirect [details]
Downloads 15841 total (30 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.5.1

[back to package description] 
----------------------------------------------------------------------------- -- -- Copyright : (c) 2006-2011, RepLib team (see LICENSE) -- License : BSD -- -- Maintainer : sweirich@cis.upenn.edu, byorgey@cis.upenn.edu -- 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 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.