thrist: Type-threaded list
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.
Technically a thrist is embodying the concept of a free category.
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
Downloads
- thrist-0.3.0.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 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, 0.4 |
|---|---|
| Change log | changes.txt |
| Dependencies | base (>=4.6 && <5) [details] |
| Tested with | ghc ==7.6.1, ghc ==7.8.2 |
| License | BSD-3-Clause |
| Copyright | (c) 2008-2014 Gabor Greif and Brandon Simmons |
| Author | Gabor Greif, Brandon Simmons |
| Maintainer | ggreif+thrist@gmail.com, brandon.m.simmons+thrist@gmail.com |
| Category | Data Structures, Categories |
| Home page | http://heisenbug.blogspot.com/search/label/thrist |
| Bug tracker | mailto:ggreif+thrist@gmail.com |
| Source repo | head: darcs get http://hub.darcs.net/heisenbug/thrist |
| Uploaded | by GaborGreif at 2014-07-05T12:44:08Z |
| Distributions | NixOS:0.4 |
| Reverse Dependencies | 2 direct, 0 indirect [details] |
| Downloads | 8503 total (2 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Successful builds reported [all 1 reports] |