fixed-vector 0.4.0.0 → 0.4.1.0
raw patch · 4 files changed
+15/−2 lines, 4 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
+ Data.Vector.Fixed: cons :: (Vector v a, Vector w a, S (Dim v) ~ Dim w) => a -> v a -> w a
+ Data.Vector.Fixed: unFun :: Fun n a b -> Fn n a b
+ Data.Vector.Fixed.Internal.Arity: unFun :: Fun n a b -> Fn n a b
+ Data.Vector.Fixed.Monomorphic: unFun :: Fun n a b -> Fn n a b
- Data.Vector.Fixed: Fun :: (Fn n a b) -> Fun n a b
+ Data.Vector.Fixed: Fun :: Fn n a b -> Fun n a b
- Data.Vector.Fixed.Internal.Arity: Fun :: (Fn n a b) -> Fun n a b
+ Data.Vector.Fixed.Internal.Arity: Fun :: Fn n a b -> Fun n a b
- Data.Vector.Fixed.Monomorphic: Fun :: (Fn n a b) -> Fun n a b
+ Data.Vector.Fixed.Monomorphic: Fun :: Fn n a b -> Fun n a b
Files
- Data/Vector/Fixed.hs +1/−0
- Data/Vector/Fixed/Internal.hs +6/−0
- Data/Vector/Fixed/Internal/Arity.hs +1/−1
- fixed-vector.cabal +7/−1
Data/Vector/Fixed.hs view
@@ -55,6 +55,7 @@ -- ** Transformations , head , tail+ , cons , (!) -- ** Comparison , eq
Data/Vector/Fixed/Internal.hs view
@@ -196,6 +196,12 @@ {-# INLINE tail #-} tail = C.vector . C.tail . C.cvec +-- | Cons element to the vector+cons :: (Vector v a, Vector w a, S (Dim v) ~ Dim w)+ => a -> v a -> w a+{-# INLINE cons #-}+cons a = C.vector . C.cons a . C.cvec+ -- | Retrieve vector's element at index. Generic implementation is -- /O(n)/ but more efficient one is used when possible. (!) :: (Vector v a) => v a -> Int -> a
Data/Vector/Fixed/Internal/Arity.hs view
@@ -49,7 +49,7 @@ type instance Fn (S n) a b = a -> Fn n a b -- | Newtype wrapper which is used to make 'Fn' injective.-newtype Fun n a b = Fun (Fn n a b)+newtype Fun n a b = Fun { unFun :: Fn n a b } newtype T_fmap a b n = T_fmap (Fn n a b)
fixed-vector.cabal view
@@ -1,5 +1,5 @@ Name: fixed-vector-Version: 0.4.0.0+Version: 0.4.1.0 Synopsis: Generic vectors with statically known size. Description: Generic library for vectors with statically known@@ -44,6 +44,12 @@ . [@Data.Vector.Fixed.Monomorphic@] Wrappers for monomorphic vectors+ .+ Changes in 0.4.0.0+ .+ * @cons@ function added.+ .+ * Getter to @Fun@ data type added. . Changes in 0.4.0.0 .