-- @+leo-ver=4-thin
-- @+node:gcross.20100917231323.1281:@thin tagged-list.cabal
-- @@language Haskell

Name:                tagged-list
Version:             1.1
License:             BSD3
License-file:        LICENSE
Author:              Gregory Crosswhite
Maintainer:          Gregory Crosswhite <gcrosswhite@gmail.com>
Stability:           Provisional
Synopsis:            Lists tagged with a type-level natural number representing their length.
Description:         This package contains a datatype, 'TaggedList', that provides a fixed-length list
                     tagged with a phantom type-level natural number that corresponds to the length of
                     the list.  It also contains some basic operations on these lists, as well as a
                     typeclass for converting tagged lists to and from tuples.
                     .
                     New in version 1.1:  added function castTag, improved error reporting in fromList,
                     and fixed compiler error with GHC 7.0.*
Cabal-version:       >= 1.6
Build-type:          Simple
Category:            Data

Source-Repository    head
    Type:            git
    Location:        git://github.com/gcross/tagged-list.git

Source-Repository    this
    Type:            git
    Location:        git://github.com/gcross/tagged-list.git
    Tag:             1.1

Library
    Build-depends:   AbortT-transformers >= 1.0 && < 1.1,
                     base >= 3 && < 5,
                     binary >= 0.5 && < 0.6,
                     natural-number >= 1.0 && < 1.1,
                     type-equality >= 0.1 && < 0.2,
                     type-level-natural-number >= 1.0 && < 1.2,
                     type-level-natural-number-induction >= 1.0 && < 1.1,
                     type-level-natural-number-operations >= 1.0 && < 1.1
    Exposed-modules: Data.List.Tagged
-- @-node:gcross.20100917231323.1281:@thin tagged-list.cabal
-- @-leo