The thrist package

[Tags:bsd3, library]

Thrist is a list-like data structure (GADT) whose elements are values of a two-parameter datatype. The typing constraint ensures that the second type parameter of a former value unifies with the first type parameter of the latter.

This threading of types is the foundation for thrists' nice properties. E.g., paired with a suitable semantics, function composition (.) can be embedded.

Sub-modules demonstrate the power of the thrist idea by emulating some familiar data structures.

For further ideas, please consult the companion (draft) paper "Thrists: Dominoes of Data" at

Release history:

Support for (GHC v7.6.1) PolyKinds extension, this compiler is required now
Several new functions introduced, some renamed
Initial version


Versions 0.0, 0.1, 0.1.1, 0.1.2, 0.2, 0.2.1, 0.2.2, 0.3,,
Dependencies base (>=4.6 && <5) [details]
License BSD3
Copyright (c) 2008-2012 Gabor Greif and Brandon Simmons
Author Gabor Greif, Brandon Simmons
Stability experimental
Category Data Structures
Home page
Bug tracker
Source repository head: darcs get
Uploaded Sat Sep 15 10:00:25 UTC 2012 by GaborGreif
Distributions NixOS:
Downloads 1858 total (28 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees