Home
last modified time | relevance | path

Searched refs:prop_partial (Results 1 – 2 of 2) sorted by relevance

/dports/lang/ghc/ghc-8.10.7/libraries/binary/tests/
H A DQC.hs195 prop_partial :: L.ByteString -> Property
196 prop_partial lbs = forAll (choose (0, L.length lbs * 2)) $ \skipN -> function
573 [ testProperty "partial" (p prop_partial)
/dports/lang/elm/compiler-0.19.1/_cabal_deps/binary-0.8.8.0/tests/
H A DQC.hs195 prop_partial :: L.ByteString -> Property
196 prop_partial lbs = forAll (choose (0, L.length lbs * 2)) $ \skipN -> function
573 [ testProperty "partial" (p prop_partial)