{"action":"created","issue":{"url":"https://api.github.com/repos/typelevel/cats/issues/2439","repository_url":"https://api.github.com/repos/typelevel/cats","labels_url":"https://api.github.com/repos/typelevel/cats/issues/2439/labels{/name}","comments_url":"https://api.github.com/repos/typelevel/cats/issues/2439/comments","events_url":"https://api.github.com/repos/typelevel/cats/issues/2439/events","html_url":"https://github.com/typelevel/cats/issues/2439","id":353322860,"node_id":"MDU6SXNzdWUzNTMzMjI4NjA=","number":2439,"title":"Rename Ior to Or","user":{"login":"Bhudjo","id":830963,"node_id":"MDQ6VXNlcjgzMDk2Mw==","avatar_url":"https://avatars0.githubusercontent.com/u/830963?v=4","gravatar_id":"","url":"https://api.github.com/users/Bhudjo","html_url":"https://github.com/Bhudjo","followers_url":"https://api.github.com/users/Bhudjo/followers","following_url":"https://api.github.com/users/Bhudjo/following{/other_user}","gists_url":"https://api.github.com/users/Bhudjo/gists{/gist_id}","starred_url":"https://api.github.com/users/Bhudjo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Bhudjo/subscriptions","organizations_url":"https://api.github.com/users/Bhudjo/orgs","repos_url":"https://api.github.com/users/Bhudjo/repos","events_url":"https://api.github.com/users/Bhudjo/events{/privacy}","received_events_url":"https://api.github.com/users/Bhudjo/received_events","type":"User","site_admin":false},"labels":[{"id":575446021,"node_id":"MDU6TGFiZWw1NzU0NDYwMjE=","url":"https://api.github.com/repos/typelevel/cats/labels/API%20Breaking","name":"API Breaking","color":"d93f0b","default":false},{"id":430840127,"node_id":"MDU6TGFiZWw0MzA4NDAxMjc=","url":"https://api.github.com/repos/typelevel/cats/labels/Binary%20Breaking","name":"Binary Breaking","color":"fbca04","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":3,"created_at":"2018-08-23T10:37:18Z","updated_at":"2018-08-23T16:40:11Z","closed_at":null,"author_association":"NONE","body":"To my understanding, there was an historical reason for specifying two kinds of Or:\r\nan inclusive one and an exclusive one (`Either` was not right biased).\r\n\r\nSince `Xor` has been renamed to `Either`, both in stlib and in cats, I'm suggesting that `Ior` could be renamed as `Or`.\r\n\r\nBenefits:\r\n- Immediate understanding of the name to newcomers\r\n    - > what even is this `Ior` thing?\r\n- _Or gate_ is always inclusive, no need to specify that\r\n- _Logical disjunction_ is always inclusive as well\r\n\r\nIssues : \r\n- Breaking compatibility\r\n\r\nI don't see it as a priority issue, but it could be added to the next major release."},"comment":{"url":"https://api.github.com/repos/typelevel/cats/issues/comments/415484256","html_url":"https://github.com/typelevel/cats/issues/2439#issuecomment-415484256","issue_url":"https://api.github.com/repos/typelevel/cats/issues/2439","id":415484256,"node_id":"MDEyOklzc3VlQ29tbWVudDQxNTQ4NDI1Ng==","user":{"login":"Bhudjo","id":830963,"node_id":"MDQ6VXNlcjgzMDk2Mw==","avatar_url":"https://avatars0.githubusercontent.com/u/830963?v=4","gravatar_id":"","url":"https://api.github.com/users/Bhudjo","html_url":"https://github.com/Bhudjo","followers_url":"https://api.github.com/users/Bhudjo/followers","following_url":"https://api.github.com/users/Bhudjo/following{/other_user}","gists_url":"https://api.github.com/users/Bhudjo/gists{/gist_id}","starred_url":"https://api.github.com/users/Bhudjo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Bhudjo/subscriptions","organizations_url":"https://api.github.com/users/Bhudjo/orgs","repos_url":"https://api.github.com/users/Bhudjo/repos","events_url":"https://api.github.com/users/Bhudjo/events{/privacy}","received_events_url":"https://api.github.com/users/Bhudjo/received_events","type":"User","site_admin":false},"created_at":"2018-08-23T16:40:11Z","updated_at":"2018-08-23T16:40:11Z","author_association":"NONE","body":"> Also note that the name Or is taken by org.scalactic.Or.\r\n--\r\nOuch, org.scalactic.Or is even left biased 😓 "}}
{"actor":{"display_login":"Bhudjo"}}