1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
|
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ScopedTypeVariables #-}
module AutoFilterTests
( tests
) where
import Test.SmallCheck.Series
import Test.Tasty (testGroup, TestTree)
import Test.Tasty.SmallCheck (testProperty)
import Codec.Xlsx
import Codec.Xlsx.Parser.Internal
import Codec.Xlsx.Writer.Internal
import Common
import Test.SmallCheck.Series.Instances ()
tests :: TestTree
tests =
testGroup
"Types.AutFilter tests"
[ testProperty "fromCursor . toElement == id" $ \(autoFilter :: AutoFilter) ->
[autoFilter] == fromCursor (cursorFromElement $ toElement (n_ "autoFilter") autoFilter)
]
|