name:                clist
version:             0.3.0.1
synopsis:            Counted list
homepage:            https://github.com/strake/clist.hs
license:             OtherLicense
license-file:        LICENSE
author:              M Farkas-Dyck
maintainer:          strake888@gmail.com
category:            Data
build-type:          Simple
cabal-version:       >=1.9.2
tested-with:         GHC ==8.0.*
                   , GHC ==8.2.2

library
  exposed-modules:     Data.CList
  extensions:          LambdaCase
                     , TypeOperators
                     , FlexibleContexts
                     , FlexibleInstances
                     , GADTs
                     , DataKinds
                     , StandaloneDeriving
                     , DeriveFunctor, DeriveFoldable, DeriveTraversable
  build-depends:       base >=4.9 && <5
                     , peano >=0.1 && <0.2
                     , natural-induction >=0.2 && <0.3
  ghc-options:         -Wall -Wno-name-shadowing -Wno-unticked-promoted-constructors