Extensible and Modular Generics for the Masses (EMGM) is a library for generic programming in Haskell.
The primary features of EMGM include:
- Datatype-generic programming using sum-of-product views
- Large collection of ready-to-use generic functions
- Included support for standard datatypes: lists, Maybe, tuples
- Easy to add support for new datatypes
- Type classes make writing new functions straightforward in a structurally inductive style
- Generic functions are extensible with ad-hoc cases for arbitrary datatypes
- Good performance of generic functions
The features of this distribution include:
- The API is thoroughly documented with Haddock
- Fully tested with QuickCheck and HUnit
- Program coverage ensures that all useful code has been touched by tests
- Tested on both Mac and Windows systems
EMGM has the following requirements:
- GHC version 6.8.1 or later - It has been tested with versions 6.8.3 and 6.10.1.
- Cabal library version 1.2.1 or later - It has been tested with versions 1.2.4.0 and 1.6.0.1.
If you have cabal-install, you should use that to install the package, because it will handle everything for you.
cabal install emgm
If you don't have cabal-install, you must download the emgm package from
the HackageDB and install it manually. Get the tar.gz
file and decompress it.
Once downloaded, use the following commands for configuring, building, and installing the library.
runghc Setup.lhs configure
runghc Setup.lhs build
runghc Setup.lhs install
To generate the Haddock documentation, run this commmand:
runghc Setup.lhs haddock
For more details on the general options available, refer to the Cabal User's Guide.
For more details on library-specific options, see the Development section.
The API is documented using Haddock and available on the emgm package site.
You can find examples of using EMGM in the examples
directory of the source
distribution.
To report bugs, use the Google Code project page for EMGM.
For general concerns and questions, use the Generics mailing list.
EMGM is licensed under the so-called BSD3 license. See the included LICENSE
file.
The research for EMGM originated with Ralf Hinze. It was extended with work by Bruno Oliveira and Andres Löh. More details of the library functionality were explored by Alexey Rodriguez. We are very grateful to all of these people for the foundation on which this library was built.
The current authors and maintainers of EMGM are:
If you're interesting in contributing to the development of EMGM or just in playing with the code, there are some useful things to know.
The source can be checked out from its repository using Subversion.
svn checkout https://svn.cs.uu.nl:12443/repos/dgp-haskell/EMGM
You can also view the files online.
In addition to the requirements for using the library, EMGM has the following requirements for development:
- Cabal library 1.4.0.1 or later - This is preferred for uploading to HackageDB. Some issues were encountered with the current flags setup in emgm.cabal that gave errors in an older version of Cabal.
- QuickCheck 2.1 - Required for testing.
- HUnit 1.2 - Required for testing.
If you've been changing many files or the emgm.cabal
file, you should clean
this distribution and build files.
runghc Setup.lhs clean
In order to test the library, configure it with the following options:
runghc Setup.lhs configure -ftest -fnolib
This enables building the test executable (while reducing the optimization level
to speed up the build) and disables building the library (thus also speeding up
the build). nolib
is optional in case you actually do want to build the
library.
To enable program coverage, add the hpc
flag. This adds coverage only on the
test executable, so the test
flag is required.
runghc Setup.lhs configure -ftest -fnolib -fhpc
After configuring with the test
flag and building, you can run the test suite.
runghc Setup.lhs test
You will see some output from both QuickCheck and HUnit. It should all work!
If you have configured the library for HPC (see above), then you can get the
program coverage using the included script after running the test suite. This
uses the hpc
command in your path and passes a number of flags excluding
modules that should be ignored for coverage purposes.
Run the script from the top-level directory to see its usage.
runghc util/hpc.lhs
To get a simple report of the coverage, use the report
option.
runghc util/hpc.lhs report
To get a set of HTML files with code coverage indications, use the markup
option.
runghc util/hpc.lhs markup
At the end of this run, the command tells you where to find the HTML files.