{"action":"created","comment":{"url":"https://api.github.com/repos/non/cats/pulls/comments/33967650","id":33967650,"diff_hunk":"@@ -0,0 +1,128 @@\n+package cats\n+package data\n+\n+/**\n+ * [[Func]] is a function `A => F[B]`.\n+ *\n+ * See: [[https://www.cs.ox.ac.uk/jeremy.gibbons/publications/iterator.pdf The Essence of the Iterator Pattern]]\n+ */\n+sealed abstract class Func[F[_], A, B] { self =>","path":"core/src/main/scala/cats/data/Func.scala","position":9,"original_position":9,"commit_id":"43696e1ddcb77f613d35eb81ad82a908c79dd12c","original_commit_id":"43696e1ddcb77f613d35eb81ad82a908c79dd12c","user":{"login":"eed3si9n","id":184683,"avatar_url":"https://avatars.githubusercontent.com/u/184683?v=3","gravatar_id":"","url":"https://api.github.com/users/eed3si9n","html_url":"https://github.com/eed3si9n","followers_url":"https://api.github.com/users/eed3si9n/followers","following_url":"https://api.github.com/users/eed3si9n/following{/other_user}","gists_url":"https://api.github.com/users/eed3si9n/gists{/gist_id}","starred_url":"https://api.github.com/users/eed3si9n/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eed3si9n/subscriptions","organizations_url":"https://api.github.com/users/eed3si9n/orgs","repos_url":"https://api.github.com/users/eed3si9n/repos","events_url":"https://api.github.com/users/eed3si9n/events{/privacy}","received_events_url":"https://api.github.com/users/eed3si9n/received_events","type":"User","site_admin":false},"body":"Yes, the semantics of `product` and `compose` formed around `Func` is different from Kliesli composition, which is described in detail in https://www.cs.ox.ac.uk/jeremy.gibbons/publications/iterator.pdf.","created_at":"2015-07-06T18:40:21Z","updated_at":"2015-07-06T18:40:21Z","html_url":"https://github.com/non/cats/pull/388#discussion_r33967650","pull_request_url":"https://api.github.com/repos/non/cats/pulls/388","_links":{"self":{"href":"https://api.github.com/repos/non/cats/pulls/comments/33967650"},"html":{"href":"https://github.com/non/cats/pull/388#discussion_r33967650"},"pull_request":{"href":"https://api.github.com/repos/non/cats/pulls/388"}}},"pull_request":{"url":"https://api.github.com/repos/non/cats/pulls/388","id":38853879,"html_url":"https://github.com/non/cats/pull/388","diff_url":"https://github.com/non/cats/pull/388.diff","patch_url":"https://github.com/non/cats/pull/388.patch","issue_url":"https://api.github.com/repos/non/cats/issues/388","number":388,"state":"open","locked":false,"title":"Adds cats.data.Prod and cats.data.Func","user":{"login":"eed3si9n","id":184683,"avatar_url":"https://avatars.githubusercontent.com/u/184683?v=3","gravatar_id":"","url":"https://api.github.com/users/eed3si9n","html_url":"https://github.com/eed3si9n","followers_url":"https://api.github.com/users/eed3si9n/followers","following_url":"https://api.github.com/users/eed3si9n/following{/other_user}","gists_url":"https://api.github.com/users/eed3si9n/gists{/gist_id}","starred_url":"https://api.github.com/users/eed3si9n/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eed3si9n/subscriptions","organizations_url":"https://api.github.com/users/eed3si9n/orgs","repos_url":"https://api.github.com/users/eed3si9n/repos","events_url":"https://api.github.com/users/eed3si9n/events{/privacy}","received_events_url":"https://api.github.com/users/eed3si9n/received_events","type":"User","site_admin":false},"body":"This adds `cats.data.Prod`, which represents a product of functor values,\r\nand `cats.data.AppFunc`, which represents applicative functions described in https://www.cs.ox.ac.uk/jeremy.gibbons/publications/iterator.pdf.\r\n\r\nBoth combined allows us to describe monoidal applicative (via `Const`) and monadic applicative effects as `AppFunc[F, A, B]` similar to `Kleisli/ReaderT` but allows applicative composition of `F[B]` and `G[B]`, which is fed to `Traverse` eventually.\r\n","created_at":"2015-06-30T08:36:02Z","updated_at":"2015-07-06T18:40:21Z","closed_at":null,"merged_at":null,"merge_commit_sha":"1936ac69db2f4508e163b8c090a18c93eb9015b7","assignee":null,"milestone":null,"commits_url":"https://api.github.com/repos/non/cats/pulls/388/commits","review_comments_url":"https://api.github.com/repos/non/cats/pulls/388/comments","review_comment_url":"https://api.github.com/repos/non/cats/pulls/comments{/number}","comments_url":"https://api.github.com/repos/non/cats/issues/388/comments","statuses_url":"https://api.github.com/repos/non/cats/statuses/43696e1ddcb77f613d35eb81ad82a908c79dd12c","head":{"label":"eed3si9n:wip/product","ref":"wip/product","sha":"43696e1ddcb77f613d35eb81ad82a908c79dd12c","user":{"login":"eed3si9n","id":184683,"avatar_url":"https://avatars.githubusercontent.com/u/184683?v=3","gravatar_id":"","url":"https://api.github.com/users/eed3si9n","html_url":"https://github.com/eed3si9n","followers_url":"https://api.github.com/users/eed3si9n/followers","following_url":"https://api.github.com/users/eed3si9n/following{/other_user}","gists_url":"https://api.github.com/users/eed3si9n/gists{/gist_id}","starred_url":"https://api.github.com/users/eed3si9n/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eed3si9n/subscriptions","organizations_url":"https://api.github.com/users/eed3si9n/orgs","repos_url":"https://api.github.com/users/eed3si9n/repos","events_url":"https://api.github.com/users/eed3si9n/events{/privacy}","received_events_url":"https://api.github.com/users/eed3si9n/received_events","type":"User","site_admin":false},"repo":{"id":36147751,"name":"cats","full_name":"eed3si9n/cats","owner":{"login":"eed3si9n","id":184683,"avatar_url":"https://avatars.githubusercontent.com/u/184683?v=3","gravatar_id":"","url":"https://api.github.com/users/eed3si9n","html_url":"https://github.com/eed3si9n","followers_url":"https://api.github.com/users/eed3si9n/followers","following_url":"https://api.github.com/users/eed3si9n/following{/other_user}","gists_url":"https://api.github.com/users/eed3si9n/gists{/gist_id}","starred_url":"https://api.github.com/users/eed3si9n/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eed3si9n/subscriptions","organizations_url":"https://api.github.com/users/eed3si9n/orgs","repos_url":"https://api.github.com/users/eed3si9n/repos","events_url":"https://api.github.com/users/eed3si9n/events{/privacy}","received_events_url":"https://api.github.com/users/eed3si9n/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/eed3si9n/cats","description":"Lightweight, modular, and extensible library for functional programming.","fork":true,"url":"https://api.github.com/repos/eed3si9n/cats","forks_url":"https://api.github.com/repos/eed3si9n/cats/forks","keys_url":"https://api.github.com/repos/eed3si9n/cats/keys{/key_id}","collaborators_url":"https://api.github.com/repos/eed3si9n/cats/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/eed3si9n/cats/teams","hooks_url":"https://api.github.com/repos/eed3si9n/cats/hooks","issue_events_url":"https://api.github.com/repos/eed3si9n/cats/issues/events{/number}","events_url":"https://api.github.com/repos/eed3si9n/cats/events","assignees_url":"https://api.github.com/repos/eed3si9n/cats/assignees{/user}","branches_url":"https://api.github.com/repos/eed3si9n/cats/branches{/branch}","tags_url":"https://api.github.com/repos/eed3si9n/cats/tags","blobs_url":"https://api.github.com/repos/eed3si9n/cats/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/eed3si9n/cats/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/eed3si9n/cats/git/refs{/sha}","trees_url":"https://api.github.com/repos/eed3si9n/cats/git/trees{/sha}","statuses_url":"https://api.github.com/repos/eed3si9n/cats/statuses/{sha}","languages_url":"https://api.github.com/repos/eed3si9n/cats/languages","stargazers_url":"https://api.github.com/repos/eed3si9n/cats/stargazers","contributors_url":"https://api.github.com/repos/eed3si9n/cats/contributors","subscribers_url":"https://api.github.com/repos/eed3si9n/cats/subscribers","subscription_url":"https://api.github.com/repos/eed3si9n/cats/subscription","commits_url":"https://api.github.com/repos/eed3si9n/cats/commits{/sha}","git_commits_url":"https://api.github.com/repos/eed3si9n/cats/git/commits{/sha}","comments_url":"https://api.github.com/repos/eed3si9n/cats/comments{/number}","issue_comment_url":"https://api.github.com/repos/eed3si9n/cats/issues/comments{/number}","contents_url":"https://api.github.com/repos/eed3si9n/cats/contents/{+path}","compare_url":"https://api.github.com/repos/eed3si9n/cats/compare/{base}...{head}","merges_url":"https://api.github.com/repos/eed3si9n/cats/merges","archive_url":"https://api.github.com/repos/eed3si9n/cats/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/eed3si9n/cats/downloads","issues_url":"https://api.github.com/repos/eed3si9n/cats/issues{/number}","pulls_url":"https://api.github.com/repos/eed3si9n/cats/pulls{/number}","milestones_url":"https://api.github.com/repos/eed3si9n/cats/milestones{/number}","notifications_url":"https://api.github.com/repos/eed3si9n/cats/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/eed3si9n/cats/labels{/name}","releases_url":"https://api.github.com/repos/eed3si9n/cats/releases{/id}","created_at":"2015-05-23T23:51:59Z","updated_at":"2015-05-23T23:52:00Z","pushed_at":"2015-07-03T20:18:07Z","git_url":"git://github.com/eed3si9n/cats.git","ssh_url":"git@github.com:eed3si9n/cats.git","clone_url":"https://github.com/eed3si9n/cats.git","svn_url":"https://github.com/eed3si9n/cats","homepage":"http://non.github.io/cats/","size":3367,"stargazers_count":0,"watchers_count":0,"language":"Scala","has_issues":false,"has_downloads":true,"has_wiki":true,"has_pages":true,"forks_count":0,"mirror_url":null,"open_issues_count":0,"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"non:master","ref":"master","sha":"7ca3c163ffb6f8fc7228b3cb2a000c2dbbc64a60","user":{"login":"non","id":218045,"avatar_url":"https://avatars.githubusercontent.com/u/218045?v=3","gravatar_id":"","url":"https://api.github.com/users/non","html_url":"https://github.com/non","followers_url":"https://api.github.com/users/non/followers","following_url":"https://api.github.com/users/non/following{/other_user}","gists_url":"https://api.github.com/users/non/gists{/gist_id}","starred_url":"https://api.github.com/users/non/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/non/subscriptions","organizations_url":"https://api.github.com/users/non/orgs","repos_url":"https://api.github.com/users/non/repos","events_url":"https://api.github.com/users/non/events{/privacy}","received_events_url":"https://api.github.com/users/non/received_events","type":"User","site_admin":false},"repo":{"id":29986727,"name":"cats","full_name":"non/cats","owner":{"login":"non","id":218045,"avatar_url":"https://avatars.githubusercontent.com/u/218045?v=3","gravatar_id":"","url":"https://api.github.com/users/non","html_url":"https://github.com/non","followers_url":"https://api.github.com/users/non/followers","following_url":"https://api.github.com/users/non/following{/other_user}","gists_url":"https://api.github.com/users/non/gists{/gist_id}","starred_url":"https://api.github.com/users/non/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/non/subscriptions","organizations_url":"https://api.github.com/users/non/orgs","repos_url":"https://api.github.com/users/non/repos","events_url":"https://api.github.com/users/non/events{/privacy}","received_events_url":"https://api.github.com/users/non/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/non/cats","description":"Lightweight, modular, and extensible library for functional programming.","fork":false,"url":"https://api.github.com/repos/non/cats","forks_url":"https://api.github.com/repos/non/cats/forks","keys_url":"https://api.github.com/repos/non/cats/keys{/key_id}","collaborators_url":"https://api.github.com/repos/non/cats/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/non/cats/teams","hooks_url":"https://api.github.com/repos/non/cats/hooks","issue_events_url":"https://api.github.com/repos/non/cats/issues/events{/number}","events_url":"https://api.github.com/repos/non/cats/events","assignees_url":"https://api.github.com/repos/non/cats/assignees{/user}","branches_url":"https://api.github.com/repos/non/cats/branches{/branch}","tags_url":"https://api.github.com/repos/non/cats/tags","blobs_url":"https://api.github.com/repos/non/cats/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/non/cats/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/non/cats/git/refs{/sha}","trees_url":"https://api.github.com/repos/non/cats/git/trees{/sha}","statuses_url":"https://api.github.com/repos/non/cats/statuses/{sha}","languages_url":"https://api.github.com/repos/non/cats/languages","stargazers_url":"https://api.github.com/repos/non/cats/stargazers","contributors_url":"https://api.github.com/repos/non/cats/contributors","subscribers_url":"https://api.github.com/repos/non/cats/subscribers","subscription_url":"https://api.github.com/repos/non/cats/subscription","commits_url":"https://api.github.com/repos/non/cats/commits{/sha}","git_commits_url":"https://api.github.com/repos/non/cats/git/commits{/sha}","comments_url":"https://api.github.com/repos/non/cats/comments{/number}","issue_comment_url":"https://api.github.com/repos/non/cats/issues/comments{/number}","contents_url":"https://api.github.com/repos/non/cats/contents/{+path}","compare_url":"https://api.github.com/repos/non/cats/compare/{base}...{head}","merges_url":"https://api.github.com/repos/non/cats/merges","archive_url":"https://api.github.com/repos/non/cats/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/non/cats/downloads","issues_url":"https://api.github.com/repos/non/cats/issues{/number}","pulls_url":"https://api.github.com/repos/non/cats/pulls{/number}","milestones_url":"https://api.github.com/repos/non/cats/milestones{/number}","notifications_url":"https://api.github.com/repos/non/cats/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/non/cats/labels{/name}","releases_url":"https://api.github.com/repos/non/cats/releases{/id}","created_at":"2015-01-28T20:26:48Z","updated_at":"2015-07-05T23:44:02Z","pushed_at":"2015-07-06T02:04:30Z","git_url":"git://github.com/non/cats.git","ssh_url":"git@github.com:non/cats.git","clone_url":"https://github.com/non/cats.git","svn_url":"https://github.com/non/cats","homepage":"http://non.github.io/cats/","size":6570,"stargazers_count":433,"watchers_count":433,"language":"Scala","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":true,"forks_count":81,"mirror_url":null,"open_issues_count":58,"forks":81,"open_issues":58,"watchers":433,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/non/cats/pulls/388"},"html":{"href":"https://github.com/non/cats/pull/388"},"issue":{"href":"https://api.github.com/repos/non/cats/issues/388"},"comments":{"href":"https://api.github.com/repos/non/cats/issues/388/comments"},"review_comments":{"href":"https://api.github.com/repos/non/cats/pulls/388/comments"},"review_comment":{"href":"https://api.github.com/repos/non/cats/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/non/cats/pulls/388/commits"},"statuses":{"href":"https://api.github.com/repos/non/cats/statuses/43696e1ddcb77f613d35eb81ad82a908c79dd12c"}}}}