packages feed

sized-vector-1.4.0.0: sized-vector.cabal

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

name:                sized-vector
version:             1.4.0.0
synopsis:            Size-parameterized vector types and functions.
description:         Size-parameterized vector types and functions using a data-type promotion.
homepage:            https://github.com/konn/sized-vector
license:             BSD3
license-file:        LICENSE
extra-source-files:  README.md
author:              Hiromi ISHII
maintainer:          konn.jinro_at_gmail.com
copyright:           (C) Hiromi ISHII 2013
category:            Data
build-type:          Simple
cabal-version:       >=1.8
source-repository head
  Type: git
  Location: git://github.com/konn/sized-vector.git

library
  exposed-modules:     Data.Vector.Sized
  build-depends:       base                     >= 2.0          && < 5
               ,       type-natural             >= 0.1          && < 0.3
               ,       constraints
               ,       monomorphic              == 0.0.*
               ,       equational-reasoning     >= 0.2          && < 0.3
               ,       hashable                 >= 1.1          && < 1.3
               ,       deepseq                  == 1.3.*
  if impl(ghc < 7.7)
    build-depends:     singletons               == 0.8.*
  if impl(ghc >= 7.7)
    build-depends:     singletons               == 0.10.*

-- Benchmark coercion-bench
--   buildable:            False
--   type:                 exitcode-stdio-1.0
--   main-is:              coercion.hs
--   hs-source-dirs:       bench
--   ghc-options:          -O2 -threaded -fcontext-stack=500
--   build-depends:        criterion
--                ,        statistics   >=0.10 && < 0.11
--                ,        progression
--                ,        sized-vector
--                ,        base
--                ,        type-natural
--                ,        parallel
--                ,        deepseq