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.

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


Versions0.0, 0.1, 0.1.1, 0.1.2, 0.2, 0.2.1, 0.2.2, 0.3,,
Change logNone available
Dependenciesbase [details]
Copyright(c) 2008 Gabor Greif
AuthorGabor Greif
CategoryData Structures
Home page
UploadedSat Aug 23 15:28:37 UTC 2008 by GaborGreif
Downloads1451 total (79 in last 30 days)
0 []
StatusDocs not available [build log]
All reported builds failed as of 2015-06-09 [all 2 reports]



Maintainers' corner

For package maintainers and hackage trustees