{"action":"created","comment":{"url":"https://api.github.com/repos/ambiata/disorder.hs/pulls/comments/47728478","id":47728478,"diff_hunk":"@@ -65,3 +74,9 @@ p1 .^. p2 = (p1 .||. p2) .&&. neg (p1 .&&. p2)\n infixr 1 <=>\n (<=>) :: (Testable p1, Testable p2) => p1 -> p2 -> Property\n a <=> b = (a .&&. b) .||. (neg a .&&. neg b)\n+\n+areEquivalent :: (Eq a, Show a) => [a] -> [a] -> Property\n+areEquivalent ls rs =\n+  let els = ls \\\\ rs\n+      ers = rs \\\\ ls\n+  in counterexample (\"Lists are not equivalent; extra elements: \" ++ show (els,ers)) $ els ++ ers == []","path":"disorder-core/src/Disorder/Core/Property.hs","position":27,"original_position":27,"commit_id":"b20ec355d2ac2302a0331ac9b6b3aeab100eeb5b","original_commit_id":"b20ec355d2ac2302a0331ac9b6b3aeab100eeb5b","user":{"login":"EduardSergeev","id":722409,"avatar_url":"https://avatars.githubusercontent.com/u/722409?v=3","gravatar_id":"","url":"https://api.github.com/users/EduardSergeev","html_url":"https://github.com/EduardSergeev","followers_url":"https://api.github.com/users/EduardSergeev/followers","following_url":"https://api.github.com/users/EduardSergeev/following{/other_user}","gists_url":"https://api.github.com/users/EduardSergeev/gists{/gist_id}","starred_url":"https://api.github.com/users/EduardSergeev/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/EduardSergeev/subscriptions","organizations_url":"https://api.github.com/users/EduardSergeev/orgs","repos_url":"https://api.github.com/users/EduardSergeev/repos","events_url":"https://api.github.com/users/EduardSergeev/events{/privacy}","received_events_url":"https://api.github.com/users/EduardSergeev/received_events","type":"User","site_admin":false},"body":"`actual` and `expected` might be misleading depending of the order of arguments. But I don't particularly like the current message either so any suggestions which make sense regardless of the order are welcome.","created_at":"2015-12-16T02:04:37Z","updated_at":"2015-12-16T02:04:37Z","html_url":"https://github.com/ambiata/disorder.hs/pull/58#discussion_r47728478","pull_request_url":"https://api.github.com/repos/ambiata/disorder.hs/pulls/58","_links":{"self":{"href":"https://api.github.com/repos/ambiata/disorder.hs/pulls/comments/47728478"},"html":{"href":"https://github.com/ambiata/disorder.hs/pull/58#discussion_r47728478"},"pull_request":{"href":"https://api.github.com/repos/ambiata/disorder.hs/pulls/58"}}},"pull_request":{"url":"https://api.github.com/repos/ambiata/disorder.hs/pulls/58","id":53781315,"html_url":"https://github.com/ambiata/disorder.hs/pull/58","diff_url":"https://github.com/ambiata/disorder.hs/pull/58.diff","patch_url":"https://github.com/ambiata/disorder.hs/pull/58.patch","issue_url":"https://api.github.com/repos/ambiata/disorder.hs/issues/58","number":58,"state":"open","locked":false,"title":"Add areEquivalent property test","user":{"login":"EduardSergeev","id":722409,"avatar_url":"https://avatars.githubusercontent.com/u/722409?v=3","gravatar_id":"","url":"https://api.github.com/users/EduardSergeev","html_url":"https://github.com/EduardSergeev","followers_url":"https://api.github.com/users/EduardSergeev/followers","following_url":"https://api.github.com/users/EduardSergeev/following{/other_user}","gists_url":"https://api.github.com/users/EduardSergeev/gists{/gist_id}","starred_url":"https://api.github.com/users/EduardSergeev/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/EduardSergeev/subscriptions","organizations_url":"https://api.github.com/users/EduardSergeev/orgs","repos_url":"https://api.github.com/users/EduardSergeev/repos","events_url":"https://api.github.com/users/EduardSergeev/events{/privacy}","received_events_url":"https://api.github.com/users/EduardSergeev/received_events","type":"User","site_admin":false},"body":"Checks if both lists contain the same elements, possibly in a different order\r\nDoes not require `Ord` on element.","created_at":"2015-12-16T00:03:07Z","updated_at":"2015-12-16T02:04:37Z","closed_at":null,"merged_at":null,"merge_commit_sha":"6d875f6721fed19f5f5915062ea426f061ee3cfa","assignee":null,"milestone":null,"commits_url":"https://api.github.com/repos/ambiata/disorder.hs/pulls/58/commits","review_comments_url":"https://api.github.com/repos/ambiata/disorder.hs/pulls/58/comments","review_comment_url":"https://api.github.com/repos/ambiata/disorder.hs/pulls/comments{/number}","comments_url":"https://api.github.com/repos/ambiata/disorder.hs/issues/58/comments","statuses_url":"https://api.github.com/repos/ambiata/disorder.hs/statuses/b20ec355d2ac2302a0331ac9b6b3aeab100eeb5b","head":{"label":"ambiata:topic/list-equivalence-property","ref":"topic/list-equivalence-property","sha":"b20ec355d2ac2302a0331ac9b6b3aeab100eeb5b","user":{"login":"ambiata","id":1691023,"avatar_url":"https://avatars.githubusercontent.com/u/1691023?v=3","gravatar_id":"","url":"https://api.github.com/users/ambiata","html_url":"https://github.com/ambiata","followers_url":"https://api.github.com/users/ambiata/followers","following_url":"https://api.github.com/users/ambiata/following{/other_user}","gists_url":"https://api.github.com/users/ambiata/gists{/gist_id}","starred_url":"https://api.github.com/users/ambiata/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ambiata/subscriptions","organizations_url":"https://api.github.com/users/ambiata/orgs","repos_url":"https://api.github.com/users/ambiata/repos","events_url":"https://api.github.com/users/ambiata/events{/privacy}","received_events_url":"https://api.github.com/users/ambiata/received_events","type":"Organization","site_admin":false},"repo":{"id":31634194,"name":"disorder.hs","full_name":"ambiata/disorder.hs","owner":{"login":"ambiata","id":1691023,"avatar_url":"https://avatars.githubusercontent.com/u/1691023?v=3","gravatar_id":"","url":"https://api.github.com/users/ambiata","html_url":"https://github.com/ambiata","followers_url":"https://api.github.com/users/ambiata/followers","following_url":"https://api.github.com/users/ambiata/following{/other_user}","gists_url":"https://api.github.com/users/ambiata/gists{/gist_id}","starred_url":"https://api.github.com/users/ambiata/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ambiata/subscriptions","organizations_url":"https://api.github.com/users/ambiata/orgs","repos_url":"https://api.github.com/users/ambiata/repos","events_url":"https://api.github.com/users/ambiata/events{/privacy}","received_events_url":"https://api.github.com/users/ambiata/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/ambiata/disorder.hs","description":"QuickCheck extras.","fork":false,"url":"https://api.github.com/repos/ambiata/disorder.hs","forks_url":"https://api.github.com/repos/ambiata/disorder.hs/forks","keys_url":"https://api.github.com/repos/ambiata/disorder.hs/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ambiata/disorder.hs/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ambiata/disorder.hs/teams","hooks_url":"https://api.github.com/repos/ambiata/disorder.hs/hooks","issue_events_url":"https://api.github.com/repos/ambiata/disorder.hs/issues/events{/number}","events_url":"https://api.github.com/repos/ambiata/disorder.hs/events","assignees_url":"https://api.github.com/repos/ambiata/disorder.hs/assignees{/user}","branches_url":"https://api.github.com/repos/ambiata/disorder.hs/branches{/branch}","tags_url":"https://api.github.com/repos/ambiata/disorder.hs/tags","blobs_url":"https://api.github.com/repos/ambiata/disorder.hs/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ambiata/disorder.hs/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ambiata/disorder.hs/git/refs{/sha}","trees_url":"https://api.github.com/repos/ambiata/disorder.hs/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ambiata/disorder.hs/statuses/{sha}","languages_url":"https://api.github.com/repos/ambiata/disorder.hs/languages","stargazers_url":"https://api.github.com/repos/ambiata/disorder.hs/stargazers","contributors_url":"https://api.github.com/repos/ambiata/disorder.hs/contributors","subscribers_url":"https://api.github.com/repos/ambiata/disorder.hs/subscribers","subscription_url":"https://api.github.com/repos/ambiata/disorder.hs/subscription","commits_url":"https://api.github.com/repos/ambiata/disorder.hs/commits{/sha}","git_commits_url":"https://api.github.com/repos/ambiata/disorder.hs/git/commits{/sha}","comments_url":"https://api.github.com/repos/ambiata/disorder.hs/comments{/number}","issue_comment_url":"https://api.github.com/repos/ambiata/disorder.hs/issues/comments{/number}","contents_url":"https://api.github.com/repos/ambiata/disorder.hs/contents/{+path}","compare_url":"https://api.github.com/repos/ambiata/disorder.hs/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ambiata/disorder.hs/merges","archive_url":"https://api.github.com/repos/ambiata/disorder.hs/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ambiata/disorder.hs/downloads","issues_url":"https://api.github.com/repos/ambiata/disorder.hs/issues{/number}","pulls_url":"https://api.github.com/repos/ambiata/disorder.hs/pulls{/number}","milestones_url":"https://api.github.com/repos/ambiata/disorder.hs/milestones{/number}","notifications_url":"https://api.github.com/repos/ambiata/disorder.hs/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ambiata/disorder.hs/labels{/name}","releases_url":"https://api.github.com/repos/ambiata/disorder.hs/releases{/id}","created_at":"2015-03-04T02:41:32Z","updated_at":"2015-05-07T22:57:46Z","pushed_at":"2015-12-16T00:05:02Z","git_url":"git://github.com/ambiata/disorder.hs.git","ssh_url":"git@github.com:ambiata/disorder.hs.git","clone_url":"https://github.com/ambiata/disorder.hs.git","svn_url":"https://github.com/ambiata/disorder.hs","homepage":null,"size":174,"stargazers_count":0,"watchers_count":0,"language":"Haskell","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":1,"mirror_url":null,"open_issues_count":11,"forks":1,"open_issues":11,"watchers":0,"default_branch":"master"}},"base":{"label":"ambiata:master","ref":"master","sha":"cda57f616ecdf52b6dc09cbd8532e7b06bff2398","user":{"login":"ambiata","id":1691023,"avatar_url":"https://avatars.githubusercontent.com/u/1691023?v=3","gravatar_id":"","url":"https://api.github.com/users/ambiata","html_url":"https://github.com/ambiata","followers_url":"https://api.github.com/users/ambiata/followers","following_url":"https://api.github.com/users/ambiata/following{/other_user}","gists_url":"https://api.github.com/users/ambiata/gists{/gist_id}","starred_url":"https://api.github.com/users/ambiata/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ambiata/subscriptions","organizations_url":"https://api.github.com/users/ambiata/orgs","repos_url":"https://api.github.com/users/ambiata/repos","events_url":"https://api.github.com/users/ambiata/events{/privacy}","received_events_url":"https://api.github.com/users/ambiata/received_events","type":"Organization","site_admin":false},"repo":{"id":31634194,"name":"disorder.hs","full_name":"ambiata/disorder.hs","owner":{"login":"ambiata","id":1691023,"avatar_url":"https://avatars.githubusercontent.com/u/1691023?v=3","gravatar_id":"","url":"https://api.github.com/users/ambiata","html_url":"https://github.com/ambiata","followers_url":"https://api.github.com/users/ambiata/followers","following_url":"https://api.github.com/users/ambiata/following{/other_user}","gists_url":"https://api.github.com/users/ambiata/gists{/gist_id}","starred_url":"https://api.github.com/users/ambiata/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ambiata/subscriptions","organizations_url":"https://api.github.com/users/ambiata/orgs","repos_url":"https://api.github.com/users/ambiata/repos","events_url":"https://api.github.com/users/ambiata/events{/privacy}","received_events_url":"https://api.github.com/users/ambiata/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/ambiata/disorder.hs","description":"QuickCheck extras.","fork":false,"url":"https://api.github.com/repos/ambiata/disorder.hs","forks_url":"https://api.github.com/repos/ambiata/disorder.hs/forks","keys_url":"https://api.github.com/repos/ambiata/disorder.hs/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ambiata/disorder.hs/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ambiata/disorder.hs/teams","hooks_url":"https://api.github.com/repos/ambiata/disorder.hs/hooks","issue_events_url":"https://api.github.com/repos/ambiata/disorder.hs/issues/events{/number}","events_url":"https://api.github.com/repos/ambiata/disorder.hs/events","assignees_url":"https://api.github.com/repos/ambiata/disorder.hs/assignees{/user}","branches_url":"https://api.github.com/repos/ambiata/disorder.hs/branches{/branch}","tags_url":"https://api.github.com/repos/ambiata/disorder.hs/tags","blobs_url":"https://api.github.com/repos/ambiata/disorder.hs/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ambiata/disorder.hs/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ambiata/disorder.hs/git/refs{/sha}","trees_url":"https://api.github.com/repos/ambiata/disorder.hs/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ambiata/disorder.hs/statuses/{sha}","languages_url":"https://api.github.com/repos/ambiata/disorder.hs/languages","stargazers_url":"https://api.github.com/repos/ambiata/disorder.hs/stargazers","contributors_url":"https://api.github.com/repos/ambiata/disorder.hs/contributors","subscribers_url":"https://api.github.com/repos/ambiata/disorder.hs/subscribers","subscription_url":"https://api.github.com/repos/ambiata/disorder.hs/subscription","commits_url":"https://api.github.com/repos/ambiata/disorder.hs/commits{/sha}","git_commits_url":"https://api.github.com/repos/ambiata/disorder.hs/git/commits{/sha}","comments_url":"https://api.github.com/repos/ambiata/disorder.hs/comments{/number}","issue_comment_url":"https://api.github.com/repos/ambiata/disorder.hs/issues/comments{/number}","contents_url":"https://api.github.com/repos/ambiata/disorder.hs/contents/{+path}","compare_url":"https://api.github.com/repos/ambiata/disorder.hs/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ambiata/disorder.hs/merges","archive_url":"https://api.github.com/repos/ambiata/disorder.hs/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ambiata/disorder.hs/downloads","issues_url":"https://api.github.com/repos/ambiata/disorder.hs/issues{/number}","pulls_url":"https://api.github.com/repos/ambiata/disorder.hs/pulls{/number}","milestones_url":"https://api.github.com/repos/ambiata/disorder.hs/milestones{/number}","notifications_url":"https://api.github.com/repos/ambiata/disorder.hs/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ambiata/disorder.hs/labels{/name}","releases_url":"https://api.github.com/repos/ambiata/disorder.hs/releases{/id}","created_at":"2015-03-04T02:41:32Z","updated_at":"2015-05-07T22:57:46Z","pushed_at":"2015-12-16T00:05:02Z","git_url":"git://github.com/ambiata/disorder.hs.git","ssh_url":"git@github.com:ambiata/disorder.hs.git","clone_url":"https://github.com/ambiata/disorder.hs.git","svn_url":"https://github.com/ambiata/disorder.hs","homepage":null,"size":174,"stargazers_count":0,"watchers_count":0,"language":"Haskell","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":1,"mirror_url":null,"open_issues_count":11,"forks":1,"open_issues":11,"watchers":0,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/ambiata/disorder.hs/pulls/58"},"html":{"href":"https://github.com/ambiata/disorder.hs/pull/58"},"issue":{"href":"https://api.github.com/repos/ambiata/disorder.hs/issues/58"},"comments":{"href":"https://api.github.com/repos/ambiata/disorder.hs/issues/58/comments"},"review_comments":{"href":"https://api.github.com/repos/ambiata/disorder.hs/pulls/58/comments"},"review_comment":{"href":"https://api.github.com/repos/ambiata/disorder.hs/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/ambiata/disorder.hs/pulls/58/commits"},"statuses":{"href":"https://api.github.com/repos/ambiata/disorder.hs/statuses/b20ec355d2ac2302a0331ac9b6b3aeab100eeb5b"}}}}