{"action":"created","issue":{"url":"https://api.github.com/repos/DavidArno/SuccincT/issues/12","repository_url":"https://api.github.com/repos/DavidArno/SuccincT","labels_url":"https://api.github.com/repos/DavidArno/SuccincT/issues/12/labels{/name}","comments_url":"https://api.github.com/repos/DavidArno/SuccincT/issues/12/comments","events_url":"https://api.github.com/repos/DavidArno/SuccincT/issues/12/events","html_url":"https://github.com/DavidArno/SuccincT/pull/12","id":177519963,"number":12,"title":"Enable equality comparison between Option and Maybe without casting","user":{"login":"chamook","id":7334226,"avatar_url":"https://avatars.githubusercontent.com/u/7334226?v=3","gravatar_id":"","url":"https://api.github.com/users/chamook","html_url":"https://github.com/chamook","followers_url":"https://api.github.com/users/chamook/followers","following_url":"https://api.github.com/users/chamook/following{/other_user}","gists_url":"https://api.github.com/users/chamook/gists{/gist_id}","starred_url":"https://api.github.com/users/chamook/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/chamook/subscriptions","organizations_url":"https://api.github.com/users/chamook/orgs","repos_url":"https://api.github.com/users/chamook/repos","events_url":"https://api.github.com/users/chamook/events{/privacy}","received_events_url":"https://api.github.com/users/chamook/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-09-16T21:02:01Z","updated_at":"2016-09-19T22:05:35Z","closed_at":"2016-09-19T22:01:56Z","pull_request":{"url":"https://api.github.com/repos/DavidArno/SuccincT/pulls/12","html_url":"https://github.com/DavidArno/SuccincT/pull/12","diff_url":"https://github.com/DavidArno/SuccincT/pull/12.diff","patch_url":"https://github.com/DavidArno/SuccincT/pull/12.patch"},"body":"So, I did this one a while ago, and I think I stopped while trying to come up with some kind of optimization for this and then got distracted by a million other things - now I've opened it up again (thanks to your reminder) and I'm honestly not sure what I was hoping to achieve. \r\n\r\nAFAICT it passes the tests I setup, and seems to work as it should - but maybe I've missed something? Anyways, here is the code I have - I'll leave the judgement up to you :)"},"comment":{"url":"https://api.github.com/repos/DavidArno/SuccincT/issues/comments/248141997","html_url":"https://github.com/DavidArno/SuccincT/pull/12#issuecomment-248141997","issue_url":"https://api.github.com/repos/DavidArno/SuccincT/issues/12","id":248141997,"user":{"login":"DavidArno","id":196899,"avatar_url":"https://avatars.githubusercontent.com/u/196899?v=3","gravatar_id":"","url":"https://api.github.com/users/DavidArno","html_url":"https://github.com/DavidArno","followers_url":"https://api.github.com/users/DavidArno/followers","following_url":"https://api.github.com/users/DavidArno/following{/other_user}","gists_url":"https://api.github.com/users/DavidArno/gists{/gist_id}","starred_url":"https://api.github.com/users/DavidArno/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DavidArno/subscriptions","organizations_url":"https://api.github.com/users/DavidArno/orgs","repos_url":"https://api.github.com/users/DavidArno/repos","events_url":"https://api.github.com/users/DavidArno/events{/privacy}","received_events_url":"https://api.github.com/users/DavidArno/received_events","type":"User","site_admin":false},"created_at":"2016-09-19T22:05:35Z","updated_at":"2016-09-19T22:05:35Z","body":"Merged PR, then made further enhancements to both keep Adam's additions working (now no need to cast between `Option<T>` and `Maybe<T>` when comparing them) and to enable all other tests still to pass."}}
{"actor":{"display_login":"DavidArno"}}