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 http://omega.googlecode.com/files/Thrist-draft-2011-11-20.pdf

Release history:

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

Properties

Versions 0.0, 0.1, 0.1.1, 0.1.2, 0.2, 0.2.1, 0.2.2, 0.3, 0.3.0.1, 0.3.0.2
Dependencies base (>=4.6 && <5) [details]
License BSD3
Copyright (c) 2008-2012 Gabor Greif and Brandon Simmons
Author Gabor Greif, Brandon Simmons
Maintainer ggreif+thrist@gmail.com, brandon.m.simmons+thrist@gmail.com
Stability experimental
Category Data Structures
Home page http://heisenbug.blogspot.com/search/label/thrist
Bug tracker mailto:ggreif+thrist@gmail.com
Source repository head: darcs get http://patch-tag.com/r/heisenbug/thrist/
Uploaded Sat Sep 15 10:00:25 UTC 2012 by GaborGreif
Distributions NixOS:0.3.0.2
Downloads 1746 total (25 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees