module Test.QuickCheck.Classes.Binary
  ( binaryLaws
  ) where

import ClassyPrelude
import Test.QuickCheck
import Test.QuickCheck.Classes

import Data.Proxy (Proxy(..))
import Data.Binary
import Data.Binary.Put

binaryLaws :: forall a. (Arbitrary a, Binary a, Eq a, Show a) => Proxy a -> Laws
binaryLaws _ = Laws "Binary"
  [ ("Partial Isomorphism", property $ \(a :: a) -> decode (encode a) == Just a)
  , ("Valid list encoding", property $ \(as :: [a]) -> runPut (putList as) == runPut (put as))
  ]