Name: thrist Version: 0.1.2 Synopsis: Type-threaded list Description: 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 Category: Data Structures License: BSD3 License-File: LICENSE Copyright: (c) 2008-2009 Gabor Greif Author: Gabor Greif Maintainer: ggreif@gmail.com Homepage: http://heisenbug.blogspot.com/search/label/thrist Stability: experimental Build-Depends: base >= 4 && < 5 Extensions: GADTs, RankNTypes, KindSignatures, FlexibleInstances, TypeOperators, FlexibleContexts Exposed-Modules: Data.Thrist Ghc-Options: -Wall Cabal-Version: >= 1.2.3 Build-Type: Simple