HList: Heterogeneous lists

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.


HList provides many operations to create and manipulate heterogenous lists (HLists) whose length and element types are known at compile-time. HLists are used to implement

User code should import Data.HList or Data.HList.CommonMain for a slightly more limited scope

[Skip to ReadMe]


Versions0.1, 0.1.1, 0.2, 0.2.1, 0.2.2, 0.2.3, 0.3.0,,,,,,,,,,
Change logChangeLog
Dependenciesarray, base (>=4.6 && <4.12), base‑orphans, ghc‑prim, mtl, profunctors, semigroups, tagged, template‑haskell [details]
Author2004 Oleg Kiselyov (FNMOC, Monterey), Ralf Laemmel (CWI/VU, Amsterdam), Keean Schupke (London)
Source repositoryhead: git clone https://bitbucket.org/HList/hlist
UploadedTue Feb 20 00:07:20 UTC 2018 by AdamVogt





use Data.Type.Equality.== to define the instance of HEq instead of overlapping instances (in Data.HList.TypeEqO) (needs ghc >= 7.8)

This version does not allow `HEq x [x] f` to lead to f ~ False, unlike the version with overlapping instances. See https://ghc.haskell.org/trac/ghc/ticket/9918


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainers' corner

For package maintainers and hackage trustees

Readme for HList-

[back to package description]
(C) 2004--2010, Oleg Kiselyov, Ralf Laemmel, Keean Schupke

	Justin Bailey, Brian Bloniarz, Gwern Branwen, Einar Karttunen,
	and Adam Vogt

The HList library and samples


Getting the code

> git clone https://bitbucket.org/HList/hlist HList


Pushing changes

You need an account at bitbucket.org

> cd HList
> git clone git@bitbucket.org:HList/hlist.git
> git pull
> git commit --interactive
> git push


This distribution covers all essential issues discussed in the HList paper,
though the implementation has been adapted to ghc features implemented
after the paper's writing.

Additional examples and HList operations are provided.
The code from the database section of the HList paper is not included
since doing so would have implied inclusion of substantial packages,
namely the underlying infrastructure for database access library.

You can get HList from Hackage or from bitbucket:

$ cabal update && cabal install HList


$ git clone https://bitbucket.org/HList/hlist HList
$ cd HList; cabal install

The code works --- within the limits exercised in the source files ---
for GHC-7.6, 7.8, 7.10, 8.2 and
Older compilers are not supported.

One may run "cabal test" to check the distribution.

See ChangeLog for updates.