-- Initial IndexedList.cabal generated by cabal init.  For further 
-- documentation, see http://haskell.org/cabal/users-guide/

name:                IndexedList
version:             0.1.0.1
synopsis:            Length- and element-indexed lists sitting somewhere between homogeneous and fully heterogeneous.
description:         This library implements /counted lists/ linked to type-level naturals indexing length, compatible with the Peano natural numbers found in "Data.Numeric.Witness.Peano", as well as so-called /conic lists/, which are linked to a type index listing the type indices of partially-heterogeneous values contained within.
license:             BSD3
license-file:        LICENSE
author:              Kenneth Foner
maintainer:          kenneth.foner@gmail.com
copyright:           Copyright (c) 2014 Kenneth Foner
homepage:            https://github.com/kwf/IndexedList
category:            Data
build-type:          Simple
-- extra-source-files:  
cabal-version:       >=1.10

library
  exposed-modules:     Data.List.Indexed, Data.List.Indexed.Conic, Data.List.Indexed.Counted
  -- other-modules:       
  other-extensions:    RankNTypes, GADTs, PolyKinds, ConstraintKinds, DataKinds, FlexibleContexts, FlexibleInstances, MultiParamTypeClasses, ScopedTypeVariables, TypeFamilies, TypeOperators
  build-depends:       base >=4.7 && <4.8, PeanoWitnesses >= 0.1
  -- hs-source-dirs:      
  default-language:    Haskell2010