{"action":"created","comment":{"url":"https://api.github.com/repos/plaid/sanctuary-def/pulls/comments/49011080","id":49011080,"diff_hunk":"@@ -124,22 +124,123 @@ add('X');\n \n ### Types\n \n-sanctuary-def defines `Type` values for JavaScript's built-in types:\n+Conceptually, a type is a set of values. One can think of a value of type\n+`Type` as a function of type `Any -> Boolean` (though this is inaccurate).\n \n-  - `$.Array :: Type -> Type`\n-  - `$.Boolean :: Type`\n-  - `$.Date :: Type`\n-  - `$.Error :: Type`\n-  - `$.Function :: Type`\n-  - `$.Null :: Type`\n-  - `$.Number :: Type`\n-  - `$.Object :: Type`\n-  - `$.RegExp :: Type`\n-  - `$.String :: Type`\n-  - `$.Undefined :: Type`\n+#### `Any`\n \n-sanctuary-def also defines `$.Any`, the type of which every JavaScript value\n-is a member.\n+```haskell\n+$.Any :: Type\n+```\n+\n+Type comprising every JavaScript value.\n+\n+#### `Array`\n+\n+```haskell\n+$.Array :: Type -> Type\n+```\n+\n+Constructor for homogeneous Array types.\n+\n+#### `Boolean`\n+\n+```haskell\n+$.Boolean :: Type\n+```\n+\n+Type comprising `true` and `false` (and their object equivalents).\n+\n+#### `Date`\n+\n+```haskell\n+$.Date :: Type\n+```\n+\n+Type comprising every Date value.\n+\n+#### `Error`\n+\n+```haskell\n+$.Error :: Type\n+```\n+\n+Type comprising every Error value, including values of more specific\n+constructors such as [`SyntaxError`][2] and [`TypeError`][3].\n+\n+#### `Function`\n+\n+```haskell\n+$.Function :: Type\n+```\n+\n+Type comprising every Function value.\n+\n+#### `Null`\n+\n+```haskell\n+$.Null :: Type\n+```\n+\n+Type whose sole member is `null`.\n+\n+#### `Number`\n+\n+```haskell\n+$.Number :: Type\n+```\n+\n+Type comprising every Number value (including Number objects).\n+\n+#### `Object`\n+\n+```haskell\n+$.Object :: Type\n+```\n+\n+Type comprising every Object value, including values of more specific","path":"README.md","position":103,"original_position":103,"commit_id":"d4ea6755c1e4657c2327cfb0ea48e6647ebc95ef","original_commit_id":"d4ea6755c1e4657c2327cfb0ea48e6647ebc95ef","user":{"login":"svozza","id":8573472,"avatar_url":"https://avatars.githubusercontent.com/u/8573472?v=3","gravatar_id":"","url":"https://api.github.com/users/svozza","html_url":"https://github.com/svozza","followers_url":"https://api.github.com/users/svozza/followers","following_url":"https://api.github.com/users/svozza/following{/other_user}","gists_url":"https://api.github.com/users/svozza/gists{/gist_id}","starred_url":"https://api.github.com/users/svozza/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/svozza/subscriptions","organizations_url":"https://api.github.com/users/svozza/orgs","repos_url":"https://api.github.com/users/svozza/repos","events_url":"https://api.github.com/users/svozza/events{/privacy}","received_events_url":"https://api.github.com/users/svozza/received_events","type":"User","site_admin":false},"body":"Maybe mention that `null` is an object too.","created_at":"2016-01-06T21:21:11Z","updated_at":"2016-01-06T21:21:11Z","html_url":"https://github.com/plaid/sanctuary-def/pull/14#discussion_r49011080","pull_request_url":"https://api.github.com/repos/plaid/sanctuary-def/pulls/14","_links":{"self":{"href":"https://api.github.com/repos/plaid/sanctuary-def/pulls/comments/49011080"},"html":{"href":"https://github.com/plaid/sanctuary-def/pull/14#discussion_r49011080"},"pull_request":{"href":"https://api.github.com/repos/plaid/sanctuary-def/pulls/14"}}},"pull_request":{"url":"https://api.github.com/repos/plaid/sanctuary-def/pulls/14","id":55159230,"html_url":"https://github.com/plaid/sanctuary-def/pull/14","diff_url":"https://github.com/plaid/sanctuary-def/pull/14.diff","patch_url":"https://github.com/plaid/sanctuary-def/pull/14.patch","issue_url":"https://api.github.com/repos/plaid/sanctuary-def/issues/14","number":14,"state":"open","locked":false,"title":"readme: restructure \"types\" section","user":{"login":"davidchambers","id":210406,"avatar_url":"https://avatars.githubusercontent.com/u/210406?v=3","gravatar_id":"","url":"https://api.github.com/users/davidchambers","html_url":"https://github.com/davidchambers","followers_url":"https://api.github.com/users/davidchambers/followers","following_url":"https://api.github.com/users/davidchambers/following{/other_user}","gists_url":"https://api.github.com/users/davidchambers/gists{/gist_id}","starred_url":"https://api.github.com/users/davidchambers/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/davidchambers/subscriptions","organizations_url":"https://api.github.com/users/davidchambers/orgs","repos_url":"https://api.github.com/users/davidchambers/repos","events_url":"https://api.github.com/users/davidchambers/events{/privacy}","received_events_url":"https://api.github.com/users/davidchambers/received_events","type":"User","site_admin":false},"body":"This structure will accommodate new types such as `$.ValidDate` to be added in #13.\r\n","created_at":"2016-01-05T23:41:53Z","updated_at":"2016-01-06T21:21:11Z","closed_at":null,"merged_at":null,"merge_commit_sha":"3b746be6984d371bfa239429cc17da350dc84ebb","assignee":null,"milestone":null,"commits_url":"https://api.github.com/repos/plaid/sanctuary-def/pulls/14/commits","review_comments_url":"https://api.github.com/repos/plaid/sanctuary-def/pulls/14/comments","review_comment_url":"https://api.github.com/repos/plaid/sanctuary-def/pulls/comments{/number}","comments_url":"https://api.github.com/repos/plaid/sanctuary-def/issues/14/comments","statuses_url":"https://api.github.com/repos/plaid/sanctuary-def/statuses/d4ea6755c1e4657c2327cfb0ea48e6647ebc95ef","head":{"label":"plaid:dc-types","ref":"dc-types","sha":"d4ea6755c1e4657c2327cfb0ea48e6647ebc95ef","user":{"login":"plaid","id":3579888,"avatar_url":"https://avatars.githubusercontent.com/u/3579888?v=3","gravatar_id":"","url":"https://api.github.com/users/plaid","html_url":"https://github.com/plaid","followers_url":"https://api.github.com/users/plaid/followers","following_url":"https://api.github.com/users/plaid/following{/other_user}","gists_url":"https://api.github.com/users/plaid/gists{/gist_id}","starred_url":"https://api.github.com/users/plaid/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/plaid/subscriptions","organizations_url":"https://api.github.com/users/plaid/orgs","repos_url":"https://api.github.com/users/plaid/repos","events_url":"https://api.github.com/users/plaid/events{/privacy}","received_events_url":"https://api.github.com/users/plaid/received_events","type":"Organization","site_admin":false},"repo":{"id":43796926,"name":"sanctuary-def","full_name":"plaid/sanctuary-def","owner":{"login":"plaid","id":3579888,"avatar_url":"https://avatars.githubusercontent.com/u/3579888?v=3","gravatar_id":"","url":"https://api.github.com/users/plaid","html_url":"https://github.com/plaid","followers_url":"https://api.github.com/users/plaid/followers","following_url":"https://api.github.com/users/plaid/following{/other_user}","gists_url":"https://api.github.com/users/plaid/gists{/gist_id}","starred_url":"https://api.github.com/users/plaid/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/plaid/subscriptions","organizations_url":"https://api.github.com/users/plaid/orgs","repos_url":"https://api.github.com/users/plaid/repos","events_url":"https://api.github.com/users/plaid/events{/privacy}","received_events_url":"https://api.github.com/users/plaid/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/plaid/sanctuary-def","description":":guardsman: Run-time type system for JavaScript","fork":false,"url":"https://api.github.com/repos/plaid/sanctuary-def","forks_url":"https://api.github.com/repos/plaid/sanctuary-def/forks","keys_url":"https://api.github.com/repos/plaid/sanctuary-def/keys{/key_id}","collaborators_url":"https://api.github.com/repos/plaid/sanctuary-def/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/plaid/sanctuary-def/teams","hooks_url":"https://api.github.com/repos/plaid/sanctuary-def/hooks","issue_events_url":"https://api.github.com/repos/plaid/sanctuary-def/issues/events{/number}","events_url":"https://api.github.com/repos/plaid/sanctuary-def/events","assignees_url":"https://api.github.com/repos/plaid/sanctuary-def/assignees{/user}","branches_url":"https://api.github.com/repos/plaid/sanctuary-def/branches{/branch}","tags_url":"https://api.github.com/repos/plaid/sanctuary-def/tags","blobs_url":"https://api.github.com/repos/plaid/sanctuary-def/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/plaid/sanctuary-def/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/plaid/sanctuary-def/git/refs{/sha}","trees_url":"https://api.github.com/repos/plaid/sanctuary-def/git/trees{/sha}","statuses_url":"https://api.github.com/repos/plaid/sanctuary-def/statuses/{sha}","languages_url":"https://api.github.com/repos/plaid/sanctuary-def/languages","stargazers_url":"https://api.github.com/repos/plaid/sanctuary-def/stargazers","contributors_url":"https://api.github.com/repos/plaid/sanctuary-def/contributors","subscribers_url":"https://api.github.com/repos/plaid/sanctuary-def/subscribers","subscription_url":"https://api.github.com/repos/plaid/sanctuary-def/subscription","commits_url":"https://api.github.com/repos/plaid/sanctuary-def/commits{/sha}","git_commits_url":"https://api.github.com/repos/plaid/sanctuary-def/git/commits{/sha}","comments_url":"https://api.github.com/repos/plaid/sanctuary-def/comments{/number}","issue_comment_url":"https://api.github.com/repos/plaid/sanctuary-def/issues/comments{/number}","contents_url":"https://api.github.com/repos/plaid/sanctuary-def/contents/{+path}","compare_url":"https://api.github.com/repos/plaid/sanctuary-def/compare/{base}...{head}","merges_url":"https://api.github.com/repos/plaid/sanctuary-def/merges","archive_url":"https://api.github.com/repos/plaid/sanctuary-def/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/plaid/sanctuary-def/downloads","issues_url":"https://api.github.com/repos/plaid/sanctuary-def/issues{/number}","pulls_url":"https://api.github.com/repos/plaid/sanctuary-def/pulls{/number}","milestones_url":"https://api.github.com/repos/plaid/sanctuary-def/milestones{/number}","notifications_url":"https://api.github.com/repos/plaid/sanctuary-def/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/plaid/sanctuary-def/labels{/name}","releases_url":"https://api.github.com/repos/plaid/sanctuary-def/releases{/id}","created_at":"2015-10-07T05:29:16Z","updated_at":"2016-01-03T10:20:28Z","pushed_at":"2016-01-06T21:09:30Z","git_url":"git://github.com/plaid/sanctuary-def.git","ssh_url":"git@github.com:plaid/sanctuary-def.git","clone_url":"https://github.com/plaid/sanctuary-def.git","svn_url":"https://github.com/plaid/sanctuary-def","homepage":"","size":51,"stargazers_count":13,"watchers_count":13,"language":"JavaScript","has_issues":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":1,"mirror_url":null,"open_issues_count":6,"forks":1,"open_issues":6,"watchers":13,"default_branch":"master"}},"base":{"label":"plaid:master","ref":"master","sha":"d64188212839b91755702f4e57051231f99ddb7f","user":{"login":"plaid","id":3579888,"avatar_url":"https://avatars.githubusercontent.com/u/3579888?v=3","gravatar_id":"","url":"https://api.github.com/users/plaid","html_url":"https://github.com/plaid","followers_url":"https://api.github.com/users/plaid/followers","following_url":"https://api.github.com/users/plaid/following{/other_user}","gists_url":"https://api.github.com/users/plaid/gists{/gist_id}","starred_url":"https://api.github.com/users/plaid/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/plaid/subscriptions","organizations_url":"https://api.github.com/users/plaid/orgs","repos_url":"https://api.github.com/users/plaid/repos","events_url":"https://api.github.com/users/plaid/events{/privacy}","received_events_url":"https://api.github.com/users/plaid/received_events","type":"Organization","site_admin":false},"repo":{"id":43796926,"name":"sanctuary-def","full_name":"plaid/sanctuary-def","owner":{"login":"plaid","id":3579888,"avatar_url":"https://avatars.githubusercontent.com/u/3579888?v=3","gravatar_id":"","url":"https://api.github.com/users/plaid","html_url":"https://github.com/plaid","followers_url":"https://api.github.com/users/plaid/followers","following_url":"https://api.github.com/users/plaid/following{/other_user}","gists_url":"https://api.github.com/users/plaid/gists{/gist_id}","starred_url":"https://api.github.com/users/plaid/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/plaid/subscriptions","organizations_url":"https://api.github.com/users/plaid/orgs","repos_url":"https://api.github.com/users/plaid/repos","events_url":"https://api.github.com/users/plaid/events{/privacy}","received_events_url":"https://api.github.com/users/plaid/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/plaid/sanctuary-def","description":":guardsman: Run-time type system for JavaScript","fork":false,"url":"https://api.github.com/repos/plaid/sanctuary-def","forks_url":"https://api.github.com/repos/plaid/sanctuary-def/forks","keys_url":"https://api.github.com/repos/plaid/sanctuary-def/keys{/key_id}","collaborators_url":"https://api.github.com/repos/plaid/sanctuary-def/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/plaid/sanctuary-def/teams","hooks_url":"https://api.github.com/repos/plaid/sanctuary-def/hooks","issue_events_url":"https://api.github.com/repos/plaid/sanctuary-def/issues/events{/number}","events_url":"https://api.github.com/repos/plaid/sanctuary-def/events","assignees_url":"https://api.github.com/repos/plaid/sanctuary-def/assignees{/user}","branches_url":"https://api.github.com/repos/plaid/sanctuary-def/branches{/branch}","tags_url":"https://api.github.com/repos/plaid/sanctuary-def/tags","blobs_url":"https://api.github.com/repos/plaid/sanctuary-def/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/plaid/sanctuary-def/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/plaid/sanctuary-def/git/refs{/sha}","trees_url":"https://api.github.com/repos/plaid/sanctuary-def/git/trees{/sha}","statuses_url":"https://api.github.com/repos/plaid/sanctuary-def/statuses/{sha}","languages_url":"https://api.github.com/repos/plaid/sanctuary-def/languages","stargazers_url":"https://api.github.com/repos/plaid/sanctuary-def/stargazers","contributors_url":"https://api.github.com/repos/plaid/sanctuary-def/contributors","subscribers_url":"https://api.github.com/repos/plaid/sanctuary-def/subscribers","subscription_url":"https://api.github.com/repos/plaid/sanctuary-def/subscription","commits_url":"https://api.github.com/repos/plaid/sanctuary-def/commits{/sha}","git_commits_url":"https://api.github.com/repos/plaid/sanctuary-def/git/commits{/sha}","comments_url":"https://api.github.com/repos/plaid/sanctuary-def/comments{/number}","issue_comment_url":"https://api.github.com/repos/plaid/sanctuary-def/issues/comments{/number}","contents_url":"https://api.github.com/repos/plaid/sanctuary-def/contents/{+path}","compare_url":"https://api.github.com/repos/plaid/sanctuary-def/compare/{base}...{head}","merges_url":"https://api.github.com/repos/plaid/sanctuary-def/merges","archive_url":"https://api.github.com/repos/plaid/sanctuary-def/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/plaid/sanctuary-def/downloads","issues_url":"https://api.github.com/repos/plaid/sanctuary-def/issues{/number}","pulls_url":"https://api.github.com/repos/plaid/sanctuary-def/pulls{/number}","milestones_url":"https://api.github.com/repos/plaid/sanctuary-def/milestones{/number}","notifications_url":"https://api.github.com/repos/plaid/sanctuary-def/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/plaid/sanctuary-def/labels{/name}","releases_url":"https://api.github.com/repos/plaid/sanctuary-def/releases{/id}","created_at":"2015-10-07T05:29:16Z","updated_at":"2016-01-03T10:20:28Z","pushed_at":"2016-01-06T21:09:30Z","git_url":"git://github.com/plaid/sanctuary-def.git","ssh_url":"git@github.com:plaid/sanctuary-def.git","clone_url":"https://github.com/plaid/sanctuary-def.git","svn_url":"https://github.com/plaid/sanctuary-def","homepage":"","size":51,"stargazers_count":13,"watchers_count":13,"language":"JavaScript","has_issues":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":1,"mirror_url":null,"open_issues_count":6,"forks":1,"open_issues":6,"watchers":13,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/plaid/sanctuary-def/pulls/14"},"html":{"href":"https://github.com/plaid/sanctuary-def/pull/14"},"issue":{"href":"https://api.github.com/repos/plaid/sanctuary-def/issues/14"},"comments":{"href":"https://api.github.com/repos/plaid/sanctuary-def/issues/14/comments"},"review_comments":{"href":"https://api.github.com/repos/plaid/sanctuary-def/pulls/14/comments"},"review_comment":{"href":"https://api.github.com/repos/plaid/sanctuary-def/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/plaid/sanctuary-def/pulls/14/commits"},"statuses":{"href":"https://api.github.com/repos/plaid/sanctuary-def/statuses/d4ea6755c1e4657c2327cfb0ea48e6647ebc95ef"}}}}