{"action":"created","issue":{"url":"https://api.github.com/repos/HuwCampbell/idris-lens/issues/1","repository_url":"https://api.github.com/repos/HuwCampbell/idris-lens","labels_url":"https://api.github.com/repos/HuwCampbell/idris-lens/issues/1/labels{/name}","comments_url":"https://api.github.com/repos/HuwCampbell/idris-lens/issues/1/comments","events_url":"https://api.github.com/repos/HuwCampbell/idris-lens/issues/1/events","html_url":"https://github.com/HuwCampbell/idris-lens/pull/1","id":158382144,"number":1,"title":"Make prisms work","user":{"login":"tswilkinson","id":11042862,"avatar_url":"https://avatars.githubusercontent.com/u/11042862?v=3","gravatar_id":"","url":"https://api.github.com/users/tswilkinson","html_url":"https://github.com/tswilkinson","followers_url":"https://api.github.com/users/tswilkinson/followers","following_url":"https://api.github.com/users/tswilkinson/following{/other_user}","gists_url":"https://api.github.com/users/tswilkinson/gists{/gist_id}","starred_url":"https://api.github.com/users/tswilkinson/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tswilkinson/subscriptions","organizations_url":"https://api.github.com/users/tswilkinson/orgs","repos_url":"https://api.github.com/users/tswilkinson/repos","events_url":"https://api.github.com/users/tswilkinson/events{/privacy}","received_events_url":"https://api.github.com/users/tswilkinson/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2016-06-03T14:38:36Z","updated_at":"2016-06-06T11:20:29Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/HuwCampbell/idris-lens/pulls/1","html_url":"https://github.com/HuwCampbell/idris-lens/pull/1","diff_url":"https://github.com/HuwCampbell/idris-lens/pull/1.diff","patch_url":"https://github.com/HuwCampbell/idris-lens/pull/1.patch"},"body":"This is still a work in progress, but I wanted to make prisms actual prisms, because it seemed a shame that they weren't.  This involves making a wrapper around (->) which I called Arrow, in `Data.Profunctor.Arrow`.  All optics now use this type rather than functions, and since it can have a `Choice` implementation, prisms now just work!\r\n\r\nExcept they don't.  The examples using prisms now fail, which I will try to fix.  Could you also have a look at why they are failing, please?\r\n\r\nIt is no longer true that a user can write a lens without incurring any dependencies, to the long term plan would be to move Data.Profunctor.Arrow into its own tiny package, called `arrow-profunctor` or something.  Then users would only have to depend on that, not the lens library, to write lenses.  Hence this module also has the helpful `lens` function.\r\n\r\nCheers,\r\nTom"},"comment":{"url":"https://api.github.com/repos/HuwCampbell/idris-lens/issues/comments/223931895","html_url":"https://github.com/HuwCampbell/idris-lens/pull/1#issuecomment-223931895","issue_url":"https://api.github.com/repos/HuwCampbell/idris-lens/issues/1","id":223931895,"user":{"login":"tswilkinson","id":11042862,"avatar_url":"https://avatars.githubusercontent.com/u/11042862?v=3","gravatar_id":"","url":"https://api.github.com/users/tswilkinson","html_url":"https://github.com/tswilkinson","followers_url":"https://api.github.com/users/tswilkinson/followers","following_url":"https://api.github.com/users/tswilkinson/following{/other_user}","gists_url":"https://api.github.com/users/tswilkinson/gists{/gist_id}","starred_url":"https://api.github.com/users/tswilkinson/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tswilkinson/subscriptions","organizations_url":"https://api.github.com/users/tswilkinson/orgs","repos_url":"https://api.github.com/users/tswilkinson/repos","events_url":"https://api.github.com/users/tswilkinson/events{/privacy}","received_events_url":"https://api.github.com/users/tswilkinson/received_events","type":"User","site_admin":false},"created_at":"2016-06-06T11:20:29Z","updated_at":"2016-06-06T11:20:29Z","body":"Sounds good!  I'll change that soon then."}}
{"actor":{"display_login":"tswilkinson"}}