module Data.ProtoBuf.ZigZagSpec
    ( main
    , spec
    ) where

import Data.ProtoBuf.ZigZag
import Test.Hspec
import Test.QuickCheck
import Test.QuickCheck.Instances ()


main :: IO ()
main = hspec spec


spec :: Spec
spec =
    describe "ZigZag" $ do
      it "decode32 inverses encode32" $ property $
        \x -> (decode32 . encode32) x == x

      it "decode64 inverses encode64" $ property $
        \x -> (decode64 . encode64) x == x