sized-vector 1.4.0.0 → 1.4.1.0

raw patch · 2 files changed

+9/−2 lines, 2 filesdep ~singletons

Dependency ranges changed: singletons

Files

• Data/Vector/Sized.hs +7/−0
• sized-vector.cabal +2/−2

@@ -434,3 +434,10 @@   hash Nil = 0   hash (a :- as) = foldl hashWithSalt (hash a) as   hashWithSalt   = vecHashWithSalt++ordinalVecs :: SNat n -> Vector (Ordinal n) n+ordinalVecs SZ      = Nil+ordinalVecs (SS sn) = OZ :- map OS (ordinalVecs sn)++ifoldl :: (a -> Index n -> b -> a) -> a -> Vector b n -> a+ifoldl fun a0 vs = foldl (\a (b, c) -> fun a b c) a0 $ zipSame (ordinalVecs $ sLength vs) vs

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                sized-vector-version:             1.4.0.0+version:             1.4.1.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@@ -31,7 +31,7 @@   if impl(ghc < 7.7)     build-depends:     singletons               == 0.8.*   if impl(ghc >= 7.7)-    build-depends:     singletons               == 0.10.*+    build-depends:     singletons               == 1.0.*  -- Benchmark coercion-bench --   buildable:            False