2011-01-22 21:28:30 +01:00
|
|
|
module Tests.Writers.Native (tests) where
|
|
|
|
|
2017-06-10 23:39:49 +02:00
|
|
|
import Data.Text (unpack)
|
2017-03-14 17:05:36 +01:00
|
|
|
import Test.Tasty
|
|
|
|
import Test.Tasty.QuickCheck
|
2011-01-22 21:28:30 +01:00
|
|
|
import Tests.Helpers
|
2017-03-04 13:03:41 +01:00
|
|
|
import Text.Pandoc
|
|
|
|
import Text.Pandoc.Arbitrary ()
|
2011-01-22 21:28:30 +01:00
|
|
|
|
|
|
|
p_write_rt :: Pandoc -> Bool
|
|
|
|
p_write_rt d =
|
2019-07-26 21:00:44 +02:00
|
|
|
read (unpack $ purely (writeNative def{ writerTemplate = Just mempty }) d) == d
|
2011-01-22 21:28:30 +01:00
|
|
|
|
|
|
|
p_write_blocks_rt :: [Block] -> Bool
|
2017-03-07 15:14:36 +01:00
|
|
|
p_write_blocks_rt bs =
|
2017-06-10 23:39:49 +02:00
|
|
|
read (unpack $ purely (writeNative def) (Pandoc nullMeta bs)) == bs
|
2011-01-22 21:28:30 +01:00
|
|
|
|
2017-03-14 17:05:36 +01:00
|
|
|
tests :: [TestTree]
|
|
|
|
tests = [ testProperty "p_write_rt" p_write_rt
|
|
|
|
, testProperty "p_write_blocks_rt" $ mapSize
|
2018-01-20 06:25:24 +01:00
|
|
|
(\x -> if x > 3 then 3 else x) p_write_blocks_rt
|
2011-01-22 21:28:30 +01:00
|
|
|
]
|