vector-sized 0.3.3.0 → 0.4.0.0

raw patch · 5 files changed

+7/−4 lines, 5 filesdep ~base

Dependency ranges changed: base

Files

• changelog.md +3/−0
• src/Data/Vector/Generic/Sized.hs +1/−1
• src/Data/Vector/Sized.hs +1/−1
• src/Data/Vector/Storable/Sized.hs +1/−1
• vector-sized.cabal +1/−1

@@ -1,5 +1,8 @@ # Change Log +## [0.4.0.0] - 2016-11-01+- Correct type signature on `index'`+ ## [0.3.3.0] - 2016-08-10 - Add instances for Data, Typeable and Generic 

@@ -297,7 +297,7 @@  -- | /O(1)/ Safe indexing using a 'Proxy'. index' :: forall v n m a. (KnownNat n, KnownNat m, VG.Vector v a)-       => Vector v (n+m) a -> Proxy n -> a+       => Vector v (n+m+1) a -> Proxy n -> a index' (Vector v) p = v `VG.unsafeIndex` i   where i = fromInteger (natVal p) {-# inline index' #-}

@@ -258,7 +258,7 @@  -- | /O(1)/ Safe indexing using a 'Proxy'. index' :: forall n m a. (KnownNat n, KnownNat m)-       => Vector (n+m) a -> Proxy n -> a+       => Vector (n+m+1) a -> Proxy n -> a index' = V.index' {-# inline index' #-} 

@@ -259,7 +259,7 @@  -- | /O(1)/ Safe indexing using a 'Proxy'. index' :: forall n m a. (KnownNat n, KnownNat m, Storable a)-       => Vector (n+m) a -> Proxy n -> a+       => Vector (n+m+1) a -> Proxy n -> a index' = V.index' {-# inline index' #-} 

@@ -1,5 +1,5 @@ name:                vector-sized-version:             0.3.3.0+version:             0.4.0.0 synopsis:            Size tagged vectors description:         Please see README.md homepage:            http://github.com/expipiplus1/vector-sized#readme