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

name:                TypeNat
version:             0.5.0.0
synopsis:            Some Nat-indexed types for GHC
-- description:         
homepage:            https://github.com/avieth/TypeNat
license:             MIT
license-file:        LICENSE
author:              Alexander Vieth
maintainer:          aovieth@gmail.com
-- copyright:           
category:            Data
build-type:          Simple
cabal-version:       >=1.10

library
  exposed-modules:     Data.TypeNat.Fin, Data.TypeNat.Nat, Data.TypeNat.Vect
  -- other-modules:       
  other-extensions:    DataKinds
                     , KindSignatures
                     , GADTs
                     , RankNTypes
                     , MultiParamTypeClasses
                     , FlexibleInstances
                     , FlexibleContexts
                     , ScopedTypeVariables
                     , IncoherentInstances
                     , ConstraintKinds
                     , TypeFamilies
                     , KindSignatures

  build-depends:       base >=4.7 && < 4.11
  -- hs-source-dirs:      
  default-language:    Haskell2010