typelevel-tensor-0.1: typelevel-tensor.cabal

-- typelevel-tensor.cabal auto-generated by cabal init. For additional
-- options, see
-- http://www.haskell.org/cabal/release/cabal-latest/doc/users-guide/authors.html#pkg-descr.

-- cabal cheatsheet
-- cabal init : initialize .cabal
-- cabal check : detect format error
-- cabal install : install this library
-- cabal haddock : create haddock documentation
-- cabal sdist : create tarball
-- cabal upload dist/Paraiso-....tar.gz : hackage debut!

-- The name of the package.
Name:                typelevel-tensor

-- The package version. See the Haskell package versioning policy
-- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for
-- standards guiding when and how versions should be incremented.
Version:             0.1

-- A short (one-line) description of the package.
Synopsis:            Tensors whose ranks and dimensions type-inferred and type-checked.

-- A longer description of the package.
Description:           A tensor class for Haskell that can type-infer and type-check over tensor ranks and dimensions.         

-- URL for the project homepage or repository.
Homepage:            https://github.com/nushio3/typelevel-tensor

-- The license under which the package is released.
License:             BSD3

-- The file containing the license text.
License-file:        LICENSE

-- The package author(s).
Author:              Takayuki Muranushi

-- An email address to which users can send suggestions, bug reports,
-- and patches.
Maintainer:          muranushi@gmail.com

-- A copyright notice.
-- Copyright:           

Category:            Data

Build-type:          Simple

-- Extra files to be distributed with the package, such as examples or
-- a README.
-- Extra-source-files:  

-- Constraint on the version of Cabal needed to build this package.
Cabal-version:       >=1.10

flag test
  description: Build the executable to run unit tests
  default: True


Library
  -- Modules exported by the library.
  Exposed-modules: Data.Tensor.TypeLevel
                   Data.Tensor.TypeLevel.Axis
  
  -- Packages needed in order to build this package.
  Build-depends: base            == 4.*,
                 control-monad-failure >= 0.7.0  && < 0.8,
                 numeric-prelude >= 0.2.1  && < 0.3

  -- Modules not exported by this package.
  -- Other-modules:       
  
  -- Extra tools (e.g. alex, hsc2hs, ...) needed to build the source.
  -- Build-tools:         

  ghc-options:     -Wall -O3  -fspec-constr-count=25
  Default-Language: Haskell2010


source-repository head
    type:     git
    location: https://github.com/nushio3/typelevel-tensor



test-suite runtests
    type: exitcode-stdio-1.0
    Build-depends: base            == 4.*                   ,
                   control-monad-failure >= 0.7.0  && < 0.8 ,
                   numeric-prelude >= 0.2.1  && < 0.3       ,

                   test-framework                           ,
                   test-framework-quickcheck2               ,
                   test-framework-hunit                     ,
                   HUnit                                    ,
                   QuickCheck >= 2 && < 3
    main-is: runtests.hs
    
    ghc-options:     -Wall -O3  -fspec-constr-count=25
    Default-Language: Haskell2010