{"action":"created","issue":{"url":"https://api.github.com/repos/valderman/selda/issues/15","repository_url":"https://api.github.com/repos/valderman/selda","labels_url":"https://api.github.com/repos/valderman/selda/issues/15/labels{/name}","comments_url":"https://api.github.com/repos/valderman/selda/issues/15/comments","events_url":"https://api.github.com/repos/valderman/selda/issues/15/events","html_url":"https://github.com/valderman/selda/issues/15","id":223614645,"number":15,"title":"Indexable for (:*:)","user":{"login":"dmjio","id":875324,"avatar_url":"https://avatars3.githubusercontent.com/u/875324?v=3","gravatar_id":"","url":"https://api.github.com/users/dmjio","html_url":"https://github.com/dmjio","followers_url":"https://api.github.com/users/dmjio/followers","following_url":"https://api.github.com/users/dmjio/following{/other_user}","gists_url":"https://api.github.com/users/dmjio/gists{/gist_id}","starred_url":"https://api.github.com/users/dmjio/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dmjio/subscriptions","organizations_url":"https://api.github.com/users/dmjio/orgs","repos_url":"https://api.github.com/users/dmjio/repos","events_url":"https://api.github.com/users/dmjio/events{/privacy}","received_events_url":"https://api.github.com/users/dmjio/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2017-04-23T05:46:50Z","updated_at":"2017-04-26T01:56:17Z","closed_at":null,"body":"Inductively defined tuples can have lenses like normal tuples.\r\n\r\n```haskell\r\ninstance Field1 (a :*: b) (a' :*: b) a a' where\r\n  _1 k ~(a :*: b) = indexed k (0 :: Int) a <&> \\a' -> (a' :*: b)\r\n\r\nresult :: String :*: Int \r\nresult = someTuple & _1 .~ \"wat\"\r\n  where\r\n    someTuple = (\"foo\" :*: 0) \r\n\r\n-- > result\r\n-- > \"wat\" :*: 0\r\n```\r\nThese would be nice to have for updates. But, unless we want to depend on lens, unsure how to make instances w/o introducing orphans. Of course, we could ignore the warnings. \r\n\r\nAn alternative would be to have `selector` return lenses, and have `Selda` implement minimal lens functionality."},"comment":{"url":"https://api.github.com/repos/valderman/selda/issues/comments/297215354","html_url":"https://github.com/valderman/selda/issues/15#issuecomment-297215354","issue_url":"https://api.github.com/repos/valderman/selda/issues/15","id":297215354,"user":{"login":"dmjio","id":875324,"avatar_url":"https://avatars3.githubusercontent.com/u/875324?v=3","gravatar_id":"","url":"https://api.github.com/users/dmjio","html_url":"https://github.com/dmjio","followers_url":"https://api.github.com/users/dmjio/followers","following_url":"https://api.github.com/users/dmjio/following{/other_user}","gists_url":"https://api.github.com/users/dmjio/gists{/gist_id}","starred_url":"https://api.github.com/users/dmjio/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dmjio/subscriptions","organizations_url":"https://api.github.com/users/dmjio/orgs","repos_url":"https://api.github.com/users/dmjio/repos","events_url":"https://api.github.com/users/dmjio/events{/privacy}","received_events_url":"https://api.github.com/users/dmjio/received_events","type":"User","site_admin":false},"created_at":"2017-04-26T01:56:17Z","updated_at":"2017-04-26T01:56:17Z","body":"Yes, `microlens` might be worth it. This issue was mostly created to address the perceived lack of update selectors. I'd say we could backlog this issue."}}
{"actor":{"display_login":"dmjio"}}