{"action":"created","issue":{"url":"https://api.github.com/repos/robrix/Madness/issues/91","labels_url":"https://api.github.com/repos/robrix/Madness/issues/91/labels{/name}","comments_url":"https://api.github.com/repos/robrix/Madness/issues/91/comments","events_url":"https://api.github.com/repos/robrix/Madness/issues/91/events","html_url":"https://github.com/robrix/Madness/pull/91","id":76885489,"number":91,"title":"Applicative ignorance","user":{"login":"robrix","id":59671,"avatar_url":"https://avatars.githubusercontent.com/u/59671?v=3","gravatar_id":"","url":"https://api.github.com/users/robrix","html_url":"https://github.com/robrix","followers_url":"https://api.github.com/users/robrix/followers","following_url":"https://api.github.com/users/robrix/following{/other_user}","gists_url":"https://api.github.com/users/robrix/gists{/gist_id}","starred_url":"https://api.github.com/users/robrix/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/robrix/subscriptions","organizations_url":"https://api.github.com/users/robrix/orgs","repos_url":"https://api.github.com/users/robrix/repos","events_url":"https://api.github.com/users/robrix/events{/privacy}","received_events_url":"https://api.github.com/users/robrix/received_events","type":"User","site_admin":true},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":11,"created_at":"2015-05-15T23:02:50Z","updated_at":"2015-10-15T21:44:35Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/robrix/Madness/pulls/91","html_url":"https://github.com/robrix/Madness/pull/91","diff_url":"https://github.com/robrix/Madness/pull/91.diff","patch_url":"https://github.com/robrix/Madness/pull/91.patch"},"body":"Your comments would be appreciated!\r\n\r\nThis replaces the various overrides of the `++` and `|` operators for concatenation and alternation:\r\n\r\n- `<*>` concatenates.\r\n- `<*` concatenates, dropping the output of the right hand side.\r\n- `*>` concatenates, dropping the output of the left hand side.\r\n- `<||>` alternates.\r\n- `<||` alternates, dropping the output of the right hand side.\r\n- `||>` alternates, dropping the output of the left hand side.\r\n\r\nThe overloads of `++` and `|` which ignored input on both sides are no longer required since this is no longer driven by the types, and instead by the selection of operator. In practice I’m finding it quite pleasant to use.\r\n\r\n~~I’m not thrilled with the selection of `<||>` for alternation; by all rights this ought to be `<|>`, but then there’s ambiguity between the `|>` and `<|` alternation operators and the application operators in Prelude. However, since it is, in practice, quite uncommon to use `<||` and `||>`, we could change `<||>` to `<|>` and either a) leave them as `<||` and `||>` or b) remove them altogether (since their behaviour can be recovered fairly easily with e.g. `map`).~~\r\n\r\n**Edit:** This now uses `<|>` for alternation and omits dropping output on either side. It can be recovered, if desired, with `map`, `<^>`, or `-->`.\r\n\r\n- Fixes #16.\r\n- Closes #25.\r\n- Fixes #36.\r\n- Fixes #90."},"comment":{"url":"https://api.github.com/repos/robrix/Madness/issues/comments/148530017","html_url":"https://github.com/robrix/Madness/pull/91#issuecomment-148530017","issue_url":"https://api.github.com/repos/robrix/Madness/issues/91","id":148530017,"user":{"login":"robrix","id":59671,"avatar_url":"https://avatars.githubusercontent.com/u/59671?v=3","gravatar_id":"","url":"https://api.github.com/users/robrix","html_url":"https://github.com/robrix","followers_url":"https://api.github.com/users/robrix/followers","following_url":"https://api.github.com/users/robrix/following{/other_user}","gists_url":"https://api.github.com/users/robrix/gists{/gist_id}","starred_url":"https://api.github.com/users/robrix/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/robrix/subscriptions","organizations_url":"https://api.github.com/users/robrix/orgs","repos_url":"https://api.github.com/users/robrix/repos","events_url":"https://api.github.com/users/robrix/events{/privacy}","received_events_url":"https://api.github.com/users/robrix/received_events","type":"User","site_admin":true},"created_at":"2015-10-15T21:44:35Z","updated_at":"2015-10-15T21:44:35Z","body":"@joshvera: Gonna poke around a little more first."}}