Blame test/Tests/Writers/Native.hs
|
Packit Service |
d2f85f |
module Tests.Writers.Native (tests) where
|
|
Packit Service |
d2f85f |
|
|
Packit Service |
d2f85f |
import Data.Text (unpack)
|
|
Packit Service |
d2f85f |
import Test.Tasty
|
|
Packit Service |
d2f85f |
import Test.Tasty.QuickCheck
|
|
Packit Service |
d2f85f |
import Tests.Helpers
|
|
Packit Service |
d2f85f |
import Text.Pandoc
|
|
Packit Service |
d2f85f |
import Text.Pandoc.Arbitrary ()
|
|
Packit Service |
d2f85f |
|
|
Packit Service |
d2f85f |
p_write_rt :: Pandoc -> Bool
|
|
Packit Service |
d2f85f |
p_write_rt d =
|
|
Packit Service |
d2f85f |
read (unpack $ purely (writeNative def{ writerTemplate = Just "" }) d) == d
|
|
Packit Service |
d2f85f |
|
|
Packit Service |
d2f85f |
p_write_blocks_rt :: [Block] -> Bool
|
|
Packit Service |
d2f85f |
p_write_blocks_rt bs =
|
|
Packit Service |
d2f85f |
read (unpack $ purely (writeNative def) (Pandoc nullMeta bs)) == bs
|
|
Packit Service |
d2f85f |
|
|
Packit Service |
d2f85f |
tests :: [TestTree]
|
|
Packit Service |
d2f85f |
tests = [ testProperty "p_write_rt" p_write_rt
|
|
Packit Service |
d2f85f |
, testProperty "p_write_blocks_rt" $ mapSize
|
|
Packit Service |
d2f85f |
(\x -> if x > 3 then 3 else x) $ p_write_blocks_rt
|
|
Packit Service |
d2f85f |
]
|