@hackage thrist0.1.1

Type-threaded list

Categories
- Data Structures
License
BSD-3-Clause
Maintainer
ggreif@gmail.com
Links
- Homepage
- Documentation
- No source repository
Versions
- 0.4 Thu, 15 Nov 2018
- 0.3.0.2 Sat, 5 Jul 2014
- 0.3.0.1 Mon, 23 Dec 2013
- 0.3 Sat, 15 Sep 2012
- 0.2.2 Wed, 6 Jun 2012
- 0.2.1 Sun, 20 Nov 2011

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 http://www.opendylan.org/~gabor/Thrist-draft-2008-07-18.pdf

Installation
In your cabal file:
Dependencies (0)
Dependents (0)

@hackage thrist0.1.1

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (0)