fixed-vector-binary 0.6.0.0 → 1.0.0.0
raw patch · 3 files changed
+24/−24 lines, 3 filesdep ~basedep ~fixed-vector
Dependency ranges changed: base, fixed-vector
Files
- Data/Vector/Fixed/Instances/Binary.hs +2/−0
- fixed-vector-binary.cabal +4/−8
- test/QC.hs +18/−16
Data/Vector/Fixed/Instances/Binary.hs view
@@ -1,3 +1,5 @@+{-# LANGUAGE FlexibleContexts #-}+{-# LANGUAGE TypeFamilies #-} {-# OPTIONS_GHC -fno-warn-orphans #-} -- | Module with binary instances for data types defined in fixed -- vector
fixed-vector-binary.cabal view
@@ -1,5 +1,5 @@ Name: fixed-vector-binary-Version: 0.6.0.0+Version: 1.0.0.0 Synopsis: Binary instances for fixed-vector Description: Binary instances for fixed-vector@@ -16,18 +16,14 @@ ChangeLog source-repository head- type: hg- location: http://bitbucket.org/Shimuuar/fixed-vector-source-repository head type: git location: http://github.com/Shimuuar/fixed-vector Library Ghc-options: -Wall- Build-Depends:- base >=3 && <5,- fixed-vector >= 0.6,- binary+ Build-Depends: base >=4.8 && <5+ , fixed-vector >=1.0+ , binary Exposed-modules: Data.Vector.Fixed.Instances.Binary
test/QC.hs view
@@ -1,10 +1,12 @@+{-# LANGUAGE DataKinds #-}+{-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE ScopedTypeVariables #-}+{-# LANGUAGE TypeFamilies #-} import Test.Tasty import Test.Tasty.QuickCheck as QC import Data.Typeable import Data.Binary-import Data.Vector.Fixed (N2,N3,N4) import qualified Data.Vector.Fixed as F import qualified Data.Vector.Fixed.Unboxed as U import qualified Data.Vector.Fixed.Boxed as B@@ -16,25 +18,25 @@ tests = testGroup "cereal" [ testTagged p_serialize (T :: T (F.Only Int))- , testTagged p_serialize (T :: T (F.VecList N2 Int))- , testTagged p_serialize (T :: T (F.VecList N3 Int))- , testTagged p_serialize (T :: T (F.VecList N4 Int))+ , testTagged p_serialize (T :: T (F.VecList 2 Int))+ , testTagged p_serialize (T :: T (F.VecList 3 Int))+ , testTagged p_serialize (T :: T (F.VecList 4 Int)) --- , testTagged p_serialize (T :: T (U.Vec N2 Int))- , testTagged p_serialize (T :: T (U.Vec N3 Int))- , testTagged p_serialize (T :: T (U.Vec N4 Int))+ , testTagged p_serialize (T :: T (U.Vec 2 Int))+ , testTagged p_serialize (T :: T (U.Vec 3 Int))+ , testTagged p_serialize (T :: T (U.Vec 4 Int)) --- , testTagged p_serialize (T :: T (B.Vec N2 Int))- , testTagged p_serialize (T :: T (B.Vec N3 Int))- , testTagged p_serialize (T :: T (B.Vec N4 Int))+ , testTagged p_serialize (T :: T (B.Vec 2 Int))+ , testTagged p_serialize (T :: T (B.Vec 3 Int))+ , testTagged p_serialize (T :: T (B.Vec 4 Int)) --- , testTagged p_serialize (T :: T (S.Vec N2 Int))- , testTagged p_serialize (T :: T (S.Vec N3 Int))- , testTagged p_serialize (T :: T (S.Vec N4 Int))+ , testTagged p_serialize (T :: T (S.Vec 2 Int))+ , testTagged p_serialize (T :: T (S.Vec 3 Int))+ , testTagged p_serialize (T :: T (S.Vec 4 Int)) --- , testTagged p_serialize (T :: T (P.Vec N2 Int))- , testTagged p_serialize (T :: T (P.Vec N3 Int))- , testTagged p_serialize (T :: T (P.Vec N4 Int))+ , testTagged p_serialize (T :: T (P.Vec 2 Int))+ , testTagged p_serialize (T :: T (P.Vec 3 Int))+ , testTagged p_serialize (T :: T (P.Vec 4 Int)) ] p_serialize :: (Binary a, Arbitrary a, Eq a) => T a -> a -> Bool