fixed-vector 0.6.1.1 → 0.6.2.0
raw patch · 8 files changed
+29/−3 lines, 8 files
Files
- ChangeLog +7/−0
- Data/Vector/Fixed/Boxed.hs +2/−0
- Data/Vector/Fixed/Cont.hs +13/−1
- Data/Vector/Fixed/Internal.hs +0/−1
- Data/Vector/Fixed/Primitive.hs +2/−0
- Data/Vector/Fixed/Storable.hs +2/−0
- Data/Vector/Fixed/Unboxed.hs +2/−0
- fixed-vector.cabal +1/−1
ChangeLog view
@@ -1,3 +1,10 @@+Changes in 0.6.2.0++ * `Vec1' type synonym for boxed/unboxed/etc. vectors added.++ * Vector instance for Data.Typeable.Proxy (GHC >= 7.8)++ Changes in 0.6.1.1 * GHC 7.8 support
Data/Vector/Fixed/Boxed.hs view
@@ -10,6 +10,7 @@ module Data.Vector.Fixed.Boxed ( -- * Immutable Vec+ , Vec1 , Vec2 , Vec3 , Vec4@@ -50,6 +51,7 @@ deriving instance Typeable3 MVec #endif +type Vec1 = Vec (S Z) type Vec2 = Vec (S (S Z)) type Vec3 = Vec (S (S (S Z))) type Vec4 = Vec (S (S (S (S Z))))
Data/Vector/Fixed/Cont.hs view
@@ -1,3 +1,4 @@+{-# LANGUAGE CPP #-} {-# LANGUAGE EmptyDataDecls #-} {-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE MultiParamTypeClasses #-}@@ -116,7 +117,10 @@ import Control.Applicative (Applicative(..),(<$>)) import Control.Monad (liftM) import Data.Complex (Complex(..))-import Data.Data (Typeable(..),Data)+import Data.Data (Typeable,Data)+#if __GLASGOW_HASKELL__ >= 708+import Data.Typeable (Proxy(..))+#endif import qualified Data.Foldable as F import qualified Data.Traversable as F @@ -1111,3 +1115,11 @@ inspect (a,b,c,d,e,f,g) (Fun fun) = fun a b c d e f g {-# INLINE construct #-} {-# INLINE inspect #-}++#if __GLASGOW_HASKELL__ >= 708+type instance Dim Proxy = Z++instance Vector Proxy a where+ construct = Fun Proxy+ inspect _ = unFun+#endif
Data/Vector/Fixed/Internal.hs view
@@ -17,7 +17,6 @@ import Data.Vector.Fixed.Cont (Vector(..),Dim,S,Z,Arity,vector) import qualified Data.Vector.Fixed.Cont as C import Data.Vector.Fixed.Cont (ContVec,Index)-import qualified Prelude as P import Prelude hiding ( replicate,map,zipWith,maximum,minimum,and,or,all,any , foldl,foldr,foldl1,length,sum,reverse , head,tail,mapM,mapM_,sequence,sequence_
Data/Vector/Fixed/Primitive.hs view
@@ -12,6 +12,7 @@ module Data.Vector.Fixed.Primitive ( -- * Immutable Vec+ , Vec1 , Vec2 , Vec3 , Vec4@@ -53,6 +54,7 @@ deriving instance Typeable3 MVec #endif +type Vec1 = Vec (S Z) type Vec2 = Vec (S (S Z)) type Vec3 = Vec (S (S (S Z))) type Vec4 = Vec (S (S (S (S Z))))
Data/Vector/Fixed/Storable.hs view
@@ -10,6 +10,7 @@ module Data.Vector.Fixed.Storable ( -- * Immutable Vec+ , Vec1 , Vec2 , Vec3 , Vec4@@ -60,6 +61,7 @@ deriving instance Typeable3 MVec #endif +type Vec1 = Vec (S Z) type Vec2 = Vec (S (S Z)) type Vec3 = Vec (S (S (S Z))) type Vec4 = Vec (S (S (S (S Z))))
Data/Vector/Fixed/Unboxed.hs view
@@ -12,6 +12,7 @@ module Data.Vector.Fixed.Unboxed( -- * Immutable Vec+ , Vec1 , Vec2 , Vec3 , Vec4@@ -52,6 +53,7 @@ deriving instance Typeable3 MVec #endif +type Vec1 = Vec (S Z) type Vec2 = Vec (S (S Z)) type Vec3 = Vec (S (S (S Z))) type Vec4 = Vec (S (S (S (S Z))))
fixed-vector.cabal view
@@ -1,5 +1,5 @@ Name: fixed-vector-Version: 0.6.1.1+Version: 0.6.2.0 Synopsis: Generic vectors with statically known size. Description: Generic library for vectors with statically known