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

Versions0.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
Dependenciesbase (>=4.6 && <5)
LicenseBSD3
Copyright(c) 2008-2012 Gabor Greif and Brandon Simmons
AuthorGabor Greif, Brandon Simmons
Maintainerggreif+thrist@gmail.com, brandon.m.simmons+thrist@gmail.com
Stabilityexperimental
CategoryData Structures
Home pagehttp://heisenbug.blogspot.com/search/label/thrist
Bug trackermailto:ggreif+thrist@gmail.com
Source repositoryhead: darcs get http://patch-tag.com/r/heisenbug/thrist/
Upload dateSat Sep 15 10:00:25 UTC 2012
Uploaded byGaborGreif
Downloads569 total (34 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees