pandoc/tests/Tests/Writers/Native.hs

22 lines
546 B
Haskell
Raw Normal View History

2011-01-22 12:28:30 -08:00
module Tests.Writers.Native (tests) where
import Test.Framework
import Text.Pandoc.Builder
import Text.Pandoc
import Tests.Helpers
import Text.Pandoc.Arbitrary()
2011-01-22 12:28:30 -08:00
p_write_rt :: Pandoc -> Bool
p_write_rt d =
2016-11-27 11:52:42 +01:00
read (purely (writeNative def{ writerTemplate = Just "" }) d) == d
2011-01-22 12:28:30 -08:00
p_write_blocks_rt :: [Block] -> Bool
p_write_blocks_rt bs = length bs > 20 ||
2016-11-27 11:52:42 +01:00
read (purely (writeNative def) (Pandoc nullMeta bs)) ==
bs
2011-01-22 12:28:30 -08:00
tests :: [Test]
tests = [ property "p_write_rt" p_write_rt
, property "p_write_blocks_rt" p_write_blocks_rt
]