Name:                thrist
Version:             0.4
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.
    .
    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
    <https://github.com/ggreif/omega/blob/master/doc/Thrist-draft-2011-11-20.pdf>

Category:            Data Structures, Categories
License:             BSD3
License-File:        LICENSE
Copyright:           (c) 2008-2018 Gabor Greif and Brandon Simmons

Author:              Gabor Greif, Brandon Simmons
Maintainer:          ggreif+thrist@gmail.com, brandon.m.simmons+thrist@gmail.com
Homepage:            http://heisenbug.blogspot.com/search/label/thrist
Bug-Reports:         mailto:ggreif+thrist@gmail.com

Stability:           experimental
Tested-With:         GHC == 8.4.3, GHC == 8.4.4, GHC == 8.6.1, GHC == 8.6.2
Cabal-Version:       >= 1.6
Extra-Source-Files:  changes.txt examples.hs
Build-Type:          Simple

Source-Repository head
  Type:     darcs
  Location: http://hub.darcs.net/heisenbug/thrist

Library
    Build-Depends:       base >= 4.11 && < 5
    Exposed-Modules:     Data.Thrist Data.Thrist.List Data.Thrist.Monad
    Extensions:          GADTs, RankNTypes, KindSignatures, FlexibleInstances, TypeOperators,
                         PolyKinds
    Ghc-Options:         -Wall