binary-typed 0.3 → 1.0

raw patch · 4 files changed

+9/−7 lines, 4 files

Files

• binary-typed.cabal +2/−2
• src/Data/Binary/Typed.hs +3/−3
• src/Data/Binary/Typed/Debug.hs +1/−1
• tests/QuickCheck.hs +3/−1

@@ -1,5 +1,5 @@ name:          binary-typed-version:       0.3+version:       1.0 synopsis:      Type-safe binary serialization Description:       `Binary` serialization tagged with type information, allowing for@@ -41,7 +41,7 @@ category:           Data, Serialization build-type:         Simple cabal-version:      >= 1.10-tested-with:        GHC == 7.8.2+tested-with:        GHC == 7.8.4, GHC == 7.10.2, GHC == 7.10.3 extra-source-files: doc/*.png                   , changelog.md 

@@ -58,9 +58,9 @@ -- representation. In other words, calling 'mapTyped' on something that is -- typed using 'Hashed' will yield a 'Hashed' value again. ----- Note: this destroys 'precache'd information, so that values have to be--- 'precache'd again if desired. As a consequence, @'mapTyped' 'id'@--- can be used to un-'precache' values.+-- Note: this destroys 'preserialize'd information, so that values have to be+-- 'preserialize'd again if desired. As a consequence, @'mapTyped' 'id'@+-- can be used to un-'preserialize' values. mapTyped :: Typeable b => (a -> b) -> Typed a -> Typed b mapTyped f (Typed ty x) = typed (getFormat ty) (f x) 

@@ -4,7 +4,7 @@ -- | This module has the same interface as "Data.Binary.Typed", but emits -- debugging messages via "Debug.Trace" whenever a 'TypeInformation' is -- calculated. This is useful to determine whether caching works properly,--- i.e. if a single serialization point emity a lot of caching messages+-- i.e. if a single serialization point emits a lot of caching messages -- it's worth having a look at. -- -- A simple example to check sharing is to evaluate

@@ -20,10 +20,12 @@                               -- Travis. Can probably be removed in the future.  +qcOptions = QuickCheckTests 1e4 + -- | The entire QuickCheck test tree, to be imported qualified props :: TestTree-props = tree tests where+props = localOption qcOptions (tree tests) where       tree = testGroup "QuickCheck"       tests = [ prop_inverses               , prop_api