{"action":"created","issue":{"url":"https://api.github.com/repos/FormationAI/dhall-bhat/issues/15","repository_url":"https://api.github.com/repos/FormationAI/dhall-bhat","labels_url":"https://api.github.com/repos/FormationAI/dhall-bhat/issues/15/labels{/name}","comments_url":"https://api.github.com/repos/FormationAI/dhall-bhat/issues/15/comments","events_url":"https://api.github.com/repos/FormationAI/dhall-bhat/issues/15/events","html_url":"https://github.com/FormationAI/dhall-bhat/issues/15","id":321355753,"node_id":"MDU6SXNzdWUzMjEzNTU3NTM=","number":15,"title":"stronger Applicative support","user":{"login":"sellout","id":33031,"node_id":"MDQ6VXNlcjMzMDMx","avatar_url":"https://avatars2.githubusercontent.com/u/33031?v=4","gravatar_id":"","url":"https://api.github.com/users/sellout","html_url":"https://github.com/sellout","followers_url":"https://api.github.com/users/sellout/followers","following_url":"https://api.github.com/users/sellout/following{/other_user}","gists_url":"https://api.github.com/users/sellout/gists{/gist_id}","starred_url":"https://api.github.com/users/sellout/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sellout/subscriptions","organizations_url":"https://api.github.com/users/sellout/orgs","repos_url":"https://api.github.com/users/sellout/repos","events_url":"https://api.github.com/users/sellout/events{/privacy}","received_events_url":"https://api.github.com/users/sellout/received_events","type":"User","site_admin":false},"labels":[{"id":916165398,"node_id":"MDU6TGFiZWw5MTYxNjUzOTg=","url":"https://api.github.com/repos/FormationAI/dhall-bhat/labels/OE","name":"OE","color":"0e8a16","default":false}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2018-05-08T21:37:01Z","updated_at":"2018-08-01T22:46:13Z","closed_at":"2018-08-01T22:20:43Z","author_association":"CONTRIBUTOR","body":"We need something Validation-like for RootedGraph. The general solution to this is to\r\n1. have an expression `Applicative/fromMonad` that extracts the corresponding Applicative from a Monad instance,\r\n2. use that to define the existing Applicative instances,\r\n3. create independent `parallelApplicative` instances for types that have an Applicative distinct from the Monad (e.g., `Either` & `List`), and\r\n4. rename the monadic Applicative to `sequentialApplicative` for the types that also have a `parallelApplicative`.\r\n\r\nThen we can update `gameInterface` to use `Either/parallelApplicative (List Natural)` instead of the current `Either/sequentialApplicative Natural`."},"comment":{"url":"https://api.github.com/repos/FormationAI/dhall-bhat/issues/comments/409749587","html_url":"https://github.com/FormationAI/dhall-bhat/issues/15#issuecomment-409749587","issue_url":"https://api.github.com/repos/FormationAI/dhall-bhat/issues/15","id":409749587,"node_id":"MDEyOklzc3VlQ29tbWVudDQwOTc0OTU4Nw==","user":{"login":"FintanH","id":3503528,"node_id":"MDQ6VXNlcjM1MDM1Mjg=","avatar_url":"https://avatars0.githubusercontent.com/u/3503528?v=4","gravatar_id":"","url":"https://api.github.com/users/FintanH","html_url":"https://github.com/FintanH","followers_url":"https://api.github.com/users/FintanH/followers","following_url":"https://api.github.com/users/FintanH/following{/other_user}","gists_url":"https://api.github.com/users/FintanH/gists{/gist_id}","starred_url":"https://api.github.com/users/FintanH/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/FintanH/subscriptions","organizations_url":"https://api.github.com/users/FintanH/orgs","repos_url":"https://api.github.com/users/FintanH/repos","events_url":"https://api.github.com/users/FintanH/events{/privacy}","received_events_url":"https://api.github.com/users/FintanH/received_events","type":"User","site_admin":false},"created_at":"2018-08-01T22:46:13Z","updated_at":"2018-08-01T22:46:13Z","author_association":"COLLABORATOR","body":"It's done in the sense that Either was implemented and we got stuck on\nList. I don't think there were other cases.\n\nOn Wed, 1 Aug 2018, 23:20 Corey, <notifications@github.com> wrote:\n\n> Closed #15 <https://github.com/FormationAI/dhall-bhat/issues/15>.\n>\n> —\n> You are receiving this because you were mentioned.\n> Reply to this email directly, view it on GitHub\n> <https://github.com/FormationAI/dhall-bhat/issues/15#event-1766384444>,\n> or mute the thread\n> <https://github.com/notifications/unsubscribe-auth/ADV1qAKBg-3Qpa2u5KgETtjuCTemP9Oqks5uMim8gaJpZM4T3YK_>\n> .\n>\n\nOn 1 Aug 2018 11:20 p.m., \"Corey\" <notifications@github.com> wrote:\n\nClosed #15 <https://github.com/FormationAI/dhall-bhat/issues/15>.\n\n—\nYou are receiving this because you were mentioned.\nReply to this email directly, view it on GitHub\n<https://github.com/FormationAI/dhall-bhat/issues/15#event-1766384444>, or mute\nthe thread\n<https://github.com/notifications/unsubscribe-auth/ADV1qAKBg-3Qpa2u5KgETtjuCTemP9Oqks5uMim8gaJpZM4T3YK_>\n.\n"}}
{"actor":{"display_login":"FintanH"}}