bytestring-tree-builder-0.2.1.1: tasty/Main.hs
module Main where
import BasePrelude hiding (assert)
import Test.QuickCheck.Instances
import Test.Tasty
import Test.Tasty.HUnit
import Test.Tasty.QuickCheck
import ByteString.TreeBuilder
main =
defaultMain tree
tree =
testGroup "All tests"
[
testProperty "Concatting a list of bytestrings is isomorphic to appending a list of builders" $
\bytestrings ->
mconcat bytestrings ==
toByteString (foldMap byteString bytestrings)
]