Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/rapid_check_2_prop_partition.hs

Last active February 4, 2017 15:03
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save deque-blog/aab9095ac207c11cec193f6a7224c1a0 to your computer and use it in GitHub Desktop.
Save deque-blog/aab9095ac207c11cec193f6a7224c1a0 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
rapid_check_2_prop_partition.hs
prop_partition :: [Integer] -> (Integer -> Bool) -> Bool
prop_partition xs p =
let (lhs, rhs) = partition p xs
in and
[ all p lhs
, not (any p rhs)
, sort xs == sort (lhs ++ rhs) ]
rapidCheck prop_partition
> Success
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment