name:                vec
version:             0
x-revision:          1
synopsis:            Vec: length-indexed (sized) list
description:
  This package provides length-indexed (sized) lists, also known as vectors.
  .
  @
  data Vec n a where
  \    VNil  :: Vec 'Nat.Z a
  \    (:::) :: a -> Vec n a -> Vec ('Nat.S n) a
  @
  .
  The functions are implemented in three flavours:
  .
  * __naive__: with explicit recursion. It's simple, constraint-less, yet slow.
  .
  * __pull__: using @Fin n -> a@ representation, which fuses well,
    but makes some programs hard to write. And
  .
  * __inline__: which exploits how GHC dictionary inlining works, unrolling
    recursion if the size of 'Vec' is known statically.
  .
  As best approach depends on the application, @vec@ doesn't do any magic
  transformation. Benchmark your code.
  .
  This package uses [fin](https://hackage.haskell.org/package/fin), i.e. not @GHC.TypeLits@, for indexes.
  .
  See [Hasochism: the pleasure and pain of dependently typed haskell programming](https://doi.org/10.1145/2503778.2503786)
  by Sam Lindley and Conor McBride for answers to /how/ and /why/.
  Read [APLicative Programming with Naperian Functors](https://doi.org/10.1007/978-3-662-54434-1_21)
  by Jeremy Gibbons for (not so) different ones.
  .
  === Similar packages
  .
  * [linear](https://hackage.haskell.org/package/linear) has 'V' type,
    which uses 'Vector' from @vector@ package as backing store.
    @Vec@ is a real GADT, but tries to provide as many useful instances (upto @lens@).
  .
  * [vector-sized](https://hackage.haskell.org/package/vector-sized)
    Great package using @GHC.TypeLits@. Current version (0.6.1.0) uses
    @finite-typelits@ and @Int@ indexes.
  .
  * [sized-vector](https://hackage.haskell.org/package/sized-vector) depends
    on @singletons@ package. @vec@ isn't light on dependencies either,
    but try to provide wide GHC support.
  .
  * [fixed-vector](https://hackage.haskell.org/package/fixed-vector)
  .
  * [sized](https://hackage.haskell.org/package/sized) also depends
    on a @singletons@ package. The @Sized f n a@ type is generalisation of
    @linear@'s @V@ for any @ListLike@.
  .
  * [clash-prelude](https://hackage.haskell.org/package/clash-prelude)
    is a kitchen sink package, which has @CLaSH.Sized.Vector@ module.
    Also depends on @singletons@.

homepage:            https://github.com/phadej/vec
bug-reports:         https://github.com/phadej/vec/issues
license:             BSD3
license-file:        LICENSE
author:              Oleg Grenrus <oleg.grenrus@iki.fi>
maintainer:          Oleg.Grenrus <oleg.grenrus@iki.fi>
copyright:           (c) 2017 Oleg Grenrus
category:            Data
build-type:          Simple
extra-source-files:  ChangeLog.md
cabal-version:       >=1.10
tested-with:
  GHC==7.8.4,
  GHC==7.10.3,
  GHC==8.0.2,
  GHC==8.2.1

source-repository head
  type:      git
  location:  https://github.com/phadej/vec.git

library
  exposed-modules:
    Data.Vec.Lazy
    Data.Vec.Lazy.Inline
    Data.Vec.Pull
  build-depends:
    adjunctions   >=4.3     && <4.4,
    base          >=4.7     && <4.11,
    base-compat   >=0.9.3   && <0.10,
    boring        >=0       && <0.1,
    deepseq       >=1.3.0.2 && <1.5,
    distributive  >=0.5.3   && <0.6,
    fin           >=0       && <0.1,
    hashable      >=1.2.6.1 && <1.3,
    lens          >=4.15.4  && <4.16,
    semigroupoids >=5.2.1   && <5.3,
    semigroups    >=0.18.3  && <0.18.4

  ghc-options:         -Wall -fprint-explicit-kinds
  hs-source-dirs:      src
  other-extensions:
    CPP
    FlexibleContexts
    GADTs
    TypeOperators
  default-language:    Haskell2010

test-suite inspection
  type:                exitcode-stdio-1.0
  main-is:             Inspection.hs
  ghc-options:         -Wall -fprint-explicit-kinds
  hs-source-dirs:      test
  default-language:    Haskell2010
  build-depends:
    base,
    fin,
    vec,
    tagged,
    inspection-testing >= 0.1.1.2 && <0.2

  if !impl(ghc >= 8.0)
    buildable: False

  -- useful for development
  ghc-options:
    -- -dsuppress-idinfo
    -- -dsuppress-coercions
    -- -dsuppress-type-applications
    -- -dsuppress-module-prefixes
    -- -dsuppress-type-signatures
    -- -dsuppress-uniques

benchmark bench
  type:                exitcode-stdio-1.0
  main-is:             Bench.hs
  ghc-options:         -Wall -fprint-explicit-kinds
  hs-source-dirs:      bench
  default-language:    Haskell2010
  other-modules:
    DotProduct
  build-depends:
    base,
    fin,
    vec,
    vector,
    criterion >= 1.2.3.0 && <1.3