The thrist package
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
Properties
| Versions | 0.0, 0.1, 0.1.1, 0.1.2, 0.2, 0.2.1 |
|---|---|
| Dependencies | base (4.*) |
| License | BSD3 |
| Copyright | (c) 2008-2011 Gabor Greif and Brandon Simmons |
| Author | Gabor Greif, Brandon Simmons |
| Maintainer | ggreif@gmail.com, brandon.m.simmons@gmail.com |
| Stability | experimental |
| Category | Data Structures |
| Home page | http://heisenbug.blogspot.com/search/label/thrist |
| Upload date | Sun Nov 20 18:41:54 UTC 2011 |
| Uploaded by | GaborGreif |
| Built on | ghc-7.2 |
Modules
Downloads
- thrist-0.2.1.tar.gz (Cabal source package)
- package description (included in the package)