{"action":"created","comment":{"url":"https://api.github.com/repos/sanctuary-js/sanctuary/pulls/comments/77461104","id":77461104,"diff_hunk":"@@ -0,0 +1,21 @@\n+'use strict';\n+\n+var jsc = require('jsverify');\n+var R = require('ramda');\n+\n+exports.idempotent = function(f) {\n+  return jsc.checkForall(useful, function(x) {\n+    return R.equals(f(f(x)), f(x));\n+  });\n+};\n+\n+exports.involution = function(f) {\n+  return jsc.checkForall(useful, function(x) {\n+    return R.equals(f(f(x)), x);\n+  });\n+};\n+\n+\n+var basic = jsc.sum([jsc.integer, jsc.string, jsc.bool, jsc.falsy]);\n+\n+var useful = jsc.sum([basic, jsc.array(basic), jsc.dict(basic), jsc.fn(basic)]);","path":"test/properties.js","position":21,"original_position":21,"commit_id":"a17c205d45266d65a897ab8e40afae252894e948","original_commit_id":"a17c205d45266d65a897ab8e40afae252894e948","user":{"login":"rjmk","id":12041390,"avatar_url":"https://avatars.githubusercontent.com/u/12041390?v=3","gravatar_id":"","url":"https://api.github.com/users/rjmk","html_url":"https://github.com/rjmk","followers_url":"https://api.github.com/users/rjmk/followers","following_url":"https://api.github.com/users/rjmk/following{/other_user}","gists_url":"https://api.github.com/users/rjmk/gists{/gist_id}","starred_url":"https://api.github.com/users/rjmk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rjmk/subscriptions","organizations_url":"https://api.github.com/users/rjmk/orgs","repos_url":"https://api.github.com/users/rjmk/repos","events_url":"https://api.github.com/users/rjmk/events{/privacy}","received_events_url":"https://api.github.com/users/rjmk/received_events","type":"User","site_admin":false},"body":"> If this seems reasonable to you, please move these definitions.\r\n\r\nConsistency is king!\r\n\r\n> I like to leave two empty lines between imports and the rest of the code in a module.\r\n\r\nI like it\r\n\r\nWill sort tomorrow","created_at":"2016-09-05T00:03:19Z","updated_at":"2016-09-05T00:03:19Z","html_url":"https://github.com/sanctuary-js/sanctuary/pull/251#discussion_r77461104","pull_request_url":"https://api.github.com/repos/sanctuary-js/sanctuary/pulls/251","_links":{"self":{"href":"https://api.github.com/repos/sanctuary-js/sanctuary/pulls/comments/77461104"},"html":{"href":"https://github.com/sanctuary-js/sanctuary/pull/251#discussion_r77461104"},"pull_request":{"href":"https://api.github.com/repos/sanctuary-js/sanctuary/pulls/251"}}},"pull_request":{"url":"https://api.github.com/repos/sanctuary-js/sanctuary/pulls/251","id":83881085,"html_url":"https://github.com/sanctuary-js/sanctuary/pull/251","diff_url":"https://github.com/sanctuary-js/sanctuary/pull/251.diff","patch_url":"https://github.com/sanctuary-js/sanctuary/pull/251.patch","issue_url":"https://api.github.com/repos/sanctuary-js/sanctuary/issues/251","number":251,"state":"open","locked":false,"title":"Adds property tests for `S.I`","user":{"login":"rjmk","id":12041390,"avatar_url":"https://avatars.githubusercontent.com/u/12041390?v=3","gravatar_id":"","url":"https://api.github.com/users/rjmk","html_url":"https://github.com/rjmk","followers_url":"https://api.github.com/users/rjmk/followers","following_url":"https://api.github.com/users/rjmk/following{/other_user}","gists_url":"https://api.github.com/users/rjmk/gists{/gist_id}","starred_url":"https://api.github.com/users/rjmk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rjmk/subscriptions","organizations_url":"https://api.github.com/users/rjmk/orgs","repos_url":"https://api.github.com/users/rjmk/repos","events_url":"https://api.github.com/users/rjmk/events{/privacy}","received_events_url":"https://api.github.com/users/rjmk/received_events","type":"User","site_admin":false},"body":"I imagine that there's a lot of stuff here that people feel\r\nstrongly about. Is a `properties` file OK? The naming of the\r\narbitraries? Using \"is idempotent\" rather than \"satisfies\r\nidempotency\"? I thought it would be useful to have a concrete\r\nexample to discuss","created_at":"2016-09-03T00:57:28Z","updated_at":"2016-09-05T00:03:19Z","closed_at":null,"merged_at":null,"merge_commit_sha":"331ca2c421d10353a25de1b697ea0b1511ac7ccd","assignee":null,"assignees":[],"milestone":null,"commits_url":"https://api.github.com/repos/sanctuary-js/sanctuary/pulls/251/commits","review_comments_url":"https://api.github.com/repos/sanctuary-js/sanctuary/pulls/251/comments","review_comment_url":"https://api.github.com/repos/sanctuary-js/sanctuary/pulls/comments{/number}","comments_url":"https://api.github.com/repos/sanctuary-js/sanctuary/issues/251/comments","statuses_url":"https://api.github.com/repos/sanctuary-js/sanctuary/statuses/a17c205d45266d65a897ab8e40afae252894e948","head":{"label":"rjmk:i-combinator-laws","ref":"i-combinator-laws","sha":"a17c205d45266d65a897ab8e40afae252894e948","user":{"login":"rjmk","id":12041390,"avatar_url":"https://avatars.githubusercontent.com/u/12041390?v=3","gravatar_id":"","url":"https://api.github.com/users/rjmk","html_url":"https://github.com/rjmk","followers_url":"https://api.github.com/users/rjmk/followers","following_url":"https://api.github.com/users/rjmk/following{/other_user}","gists_url":"https://api.github.com/users/rjmk/gists{/gist_id}","starred_url":"https://api.github.com/users/rjmk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rjmk/subscriptions","organizations_url":"https://api.github.com/users/rjmk/orgs","repos_url":"https://api.github.com/users/rjmk/repos","events_url":"https://api.github.com/users/rjmk/events{/privacy}","received_events_url":"https://api.github.com/users/rjmk/received_events","type":"User","site_admin":false},"repo":{"id":56550368,"name":"sanctuary","full_name":"rjmk/sanctuary","owner":{"login":"rjmk","id":12041390,"avatar_url":"https://avatars.githubusercontent.com/u/12041390?v=3","gravatar_id":"","url":"https://api.github.com/users/rjmk","html_url":"https://github.com/rjmk","followers_url":"https://api.github.com/users/rjmk/followers","following_url":"https://api.github.com/users/rjmk/following{/other_user}","gists_url":"https://api.github.com/users/rjmk/gists{/gist_id}","starred_url":"https://api.github.com/users/rjmk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rjmk/subscriptions","organizations_url":"https://api.github.com/users/rjmk/orgs","repos_url":"https://api.github.com/users/rjmk/repos","events_url":"https://api.github.com/users/rjmk/events{/privacy}","received_events_url":"https://api.github.com/users/rjmk/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/rjmk/sanctuary","description":":see_no_evil: Refuge from unsafe JavaScript","fork":true,"url":"https://api.github.com/repos/rjmk/sanctuary","forks_url":"https://api.github.com/repos/rjmk/sanctuary/forks","keys_url":"https://api.github.com/repos/rjmk/sanctuary/keys{/key_id}","collaborators_url":"https://api.github.com/repos/rjmk/sanctuary/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/rjmk/sanctuary/teams","hooks_url":"https://api.github.com/repos/rjmk/sanctuary/hooks","issue_events_url":"https://api.github.com/repos/rjmk/sanctuary/issues/events{/number}","events_url":"https://api.github.com/repos/rjmk/sanctuary/events","assignees_url":"https://api.github.com/repos/rjmk/sanctuary/assignees{/user}","branches_url":"https://api.github.com/repos/rjmk/sanctuary/branches{/branch}","tags_url":"https://api.github.com/repos/rjmk/sanctuary/tags","blobs_url":"https://api.github.com/repos/rjmk/sanctuary/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/rjmk/sanctuary/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/rjmk/sanctuary/git/refs{/sha}","trees_url":"https://api.github.com/repos/rjmk/sanctuary/git/trees{/sha}","statuses_url":"https://api.github.com/repos/rjmk/sanctuary/statuses/{sha}","languages_url":"https://api.github.com/repos/rjmk/sanctuary/languages","stargazers_url":"https://api.github.com/repos/rjmk/sanctuary/stargazers","contributors_url":"https://api.github.com/repos/rjmk/sanctuary/contributors","subscribers_url":"https://api.github.com/repos/rjmk/sanctuary/subscribers","subscription_url":"https://api.github.com/repos/rjmk/sanctuary/subscription","commits_url":"https://api.github.com/repos/rjmk/sanctuary/commits{/sha}","git_commits_url":"https://api.github.com/repos/rjmk/sanctuary/git/commits{/sha}","comments_url":"https://api.github.com/repos/rjmk/sanctuary/comments{/number}","issue_comment_url":"https://api.github.com/repos/rjmk/sanctuary/issues/comments{/number}","contents_url":"https://api.github.com/repos/rjmk/sanctuary/contents/{+path}","compare_url":"https://api.github.com/repos/rjmk/sanctuary/compare/{base}...{head}","merges_url":"https://api.github.com/repos/rjmk/sanctuary/merges","archive_url":"https://api.github.com/repos/rjmk/sanctuary/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/rjmk/sanctuary/downloads","issues_url":"https://api.github.com/repos/rjmk/sanctuary/issues{/number}","pulls_url":"https://api.github.com/repos/rjmk/sanctuary/pulls{/number}","milestones_url":"https://api.github.com/repos/rjmk/sanctuary/milestones{/number}","notifications_url":"https://api.github.com/repos/rjmk/sanctuary/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/rjmk/sanctuary/labels{/name}","releases_url":"https://api.github.com/repos/rjmk/sanctuary/releases{/id}","deployments_url":"https://api.github.com/repos/rjmk/sanctuary/deployments","created_at":"2016-04-18T23:55:55Z","updated_at":"2016-04-18T23:55:56Z","pushed_at":"2016-09-03T11:37:50Z","git_url":"git://github.com/rjmk/sanctuary.git","ssh_url":"git@github.com:rjmk/sanctuary.git","clone_url":"https://github.com/rjmk/sanctuary.git","svn_url":"https://github.com/rjmk/sanctuary","homepage":"http://sanctuary.js.org","size":652,"stargazers_count":0,"watchers_count":0,"language":"JavaScript","has_issues":false,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":0,"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"sanctuary-js:master","ref":"master","sha":"567812f5b21f33ac595ae58a94adc02826103ed6","user":{"login":"sanctuary-js","id":18357498,"avatar_url":"https://avatars.githubusercontent.com/u/18357498?v=3","gravatar_id":"","url":"https://api.github.com/users/sanctuary-js","html_url":"https://github.com/sanctuary-js","followers_url":"https://api.github.com/users/sanctuary-js/followers","following_url":"https://api.github.com/users/sanctuary-js/following{/other_user}","gists_url":"https://api.github.com/users/sanctuary-js/gists{/gist_id}","starred_url":"https://api.github.com/users/sanctuary-js/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sanctuary-js/subscriptions","organizations_url":"https://api.github.com/users/sanctuary-js/orgs","repos_url":"https://api.github.com/users/sanctuary-js/repos","events_url":"https://api.github.com/users/sanctuary-js/events{/privacy}","received_events_url":"https://api.github.com/users/sanctuary-js/received_events","type":"Organization","site_admin":false},"repo":{"id":29455960,"name":"sanctuary","full_name":"sanctuary-js/sanctuary","owner":{"login":"sanctuary-js","id":18357498,"avatar_url":"https://avatars.githubusercontent.com/u/18357498?v=3","gravatar_id":"","url":"https://api.github.com/users/sanctuary-js","html_url":"https://github.com/sanctuary-js","followers_url":"https://api.github.com/users/sanctuary-js/followers","following_url":"https://api.github.com/users/sanctuary-js/following{/other_user}","gists_url":"https://api.github.com/users/sanctuary-js/gists{/gist_id}","starred_url":"https://api.github.com/users/sanctuary-js/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sanctuary-js/subscriptions","organizations_url":"https://api.github.com/users/sanctuary-js/orgs","repos_url":"https://api.github.com/users/sanctuary-js/repos","events_url":"https://api.github.com/users/sanctuary-js/events{/privacy}","received_events_url":"https://api.github.com/users/sanctuary-js/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/sanctuary-js/sanctuary","description":":see_no_evil: Refuge from unsafe JavaScript","fork":false,"url":"https://api.github.com/repos/sanctuary-js/sanctuary","forks_url":"https://api.github.com/repos/sanctuary-js/sanctuary/forks","keys_url":"https://api.github.com/repos/sanctuary-js/sanctuary/keys{/key_id}","collaborators_url":"https://api.github.com/repos/sanctuary-js/sanctuary/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/sanctuary-js/sanctuary/teams","hooks_url":"https://api.github.com/repos/sanctuary-js/sanctuary/hooks","issue_events_url":"https://api.github.com/repos/sanctuary-js/sanctuary/issues/events{/number}","events_url":"https://api.github.com/repos/sanctuary-js/sanctuary/events","assignees_url":"https://api.github.com/repos/sanctuary-js/sanctuary/assignees{/user}","branches_url":"https://api.github.com/repos/sanctuary-js/sanctuary/branches{/branch}","tags_url":"https://api.github.com/repos/sanctuary-js/sanctuary/tags","blobs_url":"https://api.github.com/repos/sanctuary-js/sanctuary/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/sanctuary-js/sanctuary/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/sanctuary-js/sanctuary/git/refs{/sha}","trees_url":"https://api.github.com/repos/sanctuary-js/sanctuary/git/trees{/sha}","statuses_url":"https://api.github.com/repos/sanctuary-js/sanctuary/statuses/{sha}","languages_url":"https://api.github.com/repos/sanctuary-js/sanctuary/languages","stargazers_url":"https://api.github.com/repos/sanctuary-js/sanctuary/stargazers","contributors_url":"https://api.github.com/repos/sanctuary-js/sanctuary/contributors","subscribers_url":"https://api.github.com/repos/sanctuary-js/sanctuary/subscribers","subscription_url":"https://api.github.com/repos/sanctuary-js/sanctuary/subscription","commits_url":"https://api.github.com/repos/sanctuary-js/sanctuary/commits{/sha}","git_commits_url":"https://api.github.com/repos/sanctuary-js/sanctuary/git/commits{/sha}","comments_url":"https://api.github.com/repos/sanctuary-js/sanctuary/comments{/number}","issue_comment_url":"https://api.github.com/repos/sanctuary-js/sanctuary/issues/comments{/number}","contents_url":"https://api.github.com/repos/sanctuary-js/sanctuary/contents/{+path}","compare_url":"https://api.github.com/repos/sanctuary-js/sanctuary/compare/{base}...{head}","merges_url":"https://api.github.com/repos/sanctuary-js/sanctuary/merges","archive_url":"https://api.github.com/repos/sanctuary-js/sanctuary/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/sanctuary-js/sanctuary/downloads","issues_url":"https://api.github.com/repos/sanctuary-js/sanctuary/issues{/number}","pulls_url":"https://api.github.com/repos/sanctuary-js/sanctuary/pulls{/number}","milestones_url":"https://api.github.com/repos/sanctuary-js/sanctuary/milestones{/number}","notifications_url":"https://api.github.com/repos/sanctuary-js/sanctuary/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/sanctuary-js/sanctuary/labels{/name}","releases_url":"https://api.github.com/repos/sanctuary-js/sanctuary/releases{/id}","deployments_url":"https://api.github.com/repos/sanctuary-js/sanctuary/deployments","created_at":"2015-01-19T05:52:10Z","updated_at":"2016-09-02T18:42:18Z","pushed_at":"2016-09-04T21:48:22Z","git_url":"git://github.com/sanctuary-js/sanctuary.git","ssh_url":"git@github.com:sanctuary-js/sanctuary.git","clone_url":"https://github.com/sanctuary-js/sanctuary.git","svn_url":"https://github.com/sanctuary-js/sanctuary","homepage":"https://sanctuary.js.org","size":925,"stargazers_count":407,"watchers_count":407,"language":"JavaScript","has_issues":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":25,"mirror_url":null,"open_issues_count":27,"forks":25,"open_issues":27,"watchers":407,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/sanctuary-js/sanctuary/pulls/251"},"html":{"href":"https://github.com/sanctuary-js/sanctuary/pull/251"},"issue":{"href":"https://api.github.com/repos/sanctuary-js/sanctuary/issues/251"},"comments":{"href":"https://api.github.com/repos/sanctuary-js/sanctuary/issues/251/comments"},"review_comments":{"href":"https://api.github.com/repos/sanctuary-js/sanctuary/pulls/251/comments"},"review_comment":{"href":"https://api.github.com/repos/sanctuary-js/sanctuary/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/sanctuary-js/sanctuary/pulls/251/commits"},"statuses":{"href":"https://api.github.com/repos/sanctuary-js/sanctuary/statuses/a17c205d45266d65a897ab8e40afae252894e948"}}}}
{"actor":{"display_login":"rjmk"}}