clist-0.3.0.1: clist.cabal
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