sequential-index-0.1: Test/SequentialIndex.hs

{-# LANGUAGE TemplateHaskell #-}

module Test.SequentialIndex
where

import Data.Maybe
import Data.SequentialIndex
import Test.QuickCheck
import Test.QuickCheck.All
       
instance Arbitrary SequentialIndex where
    arbitrary = fmap fromJust (fmap tryFromBools arbitrary `suchThat` isJust)

prop_sequentialIndexFromToByteString si = Just si == fromByteString (toByteString si) 

main = $(quickCheckAll)

testWith = $(forAllProperties)