Name:             non-empty
Version:          0.0
License:          BSD3
License-File:     LICENSE
Author:           Henning Thielemann <haskell@henning-thielemann.de>
Maintainer:       Henning Thielemann <haskell@henning-thielemann.de>
Homepage:         http://code.haskell.org/~thielema/non-empty/
Category:         Data
Synopsis:         List-like structures with static checks on the number of elements
Description:
  We provide a data type that allows to store a list-like structure
  with at least or exactly @n@ elements,
  where @n@ is fixed in the type in a kind of Peano encoding
  and is usually small.
  The datatype is intended to increase safety
  by making functions total that are partial on plain lists.
  E.g. on a non-empty list, 'head' and 'tail' are always defined.
  .
  The package uses Haskell 98.
  .
  Similar packages:
  .
  * @NonEmptyList@:
    restricted to lists, minimum number of elements: 1
  .
  * @NonEmpty@:
    restricted to lists, minimum number of elements: 1,
    designed for unqualified use of identifiers
  .
  * @Cardinality@:@NeverEmptyList@
  .
  * <http://www.haskell.org/haskellwiki/Non-empty_list>
  .
  Related packages:
  .
  * @Stream@:
    Lists that contain always infinitely many elements.
  .
  * @fixed-list@:
    Uses the same data structure as this package
    but is intended for fixing the number of elements in a list.
    Requires multi-parameter type classes with functional dependencies.

Tested-With:      GHC==7.4.1
Cabal-Version:    >=1.6
Build-Type:       Simple

Source-Repository this
  Tag:         0.0
  Type:        darcs
  Location:    http://code.haskell.org/~thielema/non-empty

Source-Repository head
  Type:        darcs
  Location:    http://code.haskell.org/~thielema/non-empty

Library
  Build-Depends:
    utility-ht >= 0.0.1 && <0.1,
    QuickCheck >= 2.1 && <3
  Build-Depends: base >= 4 && < 5

  GHC-Options:      -Wall
  Hs-Source-Dirs:   src
  Exposed-Modules:
    Data.NonEmpty
    Data.NonEmpty.Class
    Data.NonEmpty.Mixed
  Other-Modules:
    Data.NonEmptyPrivate