{"action":"created","issue":{"url":"https://api.github.com/repos/acowley/Frames/issues/73","repository_url":"https://api.github.com/repos/acowley/Frames","labels_url":"https://api.github.com/repos/acowley/Frames/issues/73/labels{/name}","comments_url":"https://api.github.com/repos/acowley/Frames/issues/73/comments","events_url":"https://api.github.com/repos/acowley/Frames/issues/73/events","html_url":"https://github.com/acowley/Frames/issues/73","id":195625470,"number":73,"title":"How can you manually build a Record/'Row'?","user":{"login":"codygman","id":225847,"avatar_url":"https://avatars.githubusercontent.com/u/225847?v=3","gravatar_id":"","url":"https://api.github.com/users/codygman","html_url":"https://github.com/codygman","followers_url":"https://api.github.com/users/codygman/followers","following_url":"https://api.github.com/users/codygman/following{/other_user}","gists_url":"https://api.github.com/users/codygman/gists{/gist_id}","starred_url":"https://api.github.com/users/codygman/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/codygman/subscriptions","organizations_url":"https://api.github.com/users/codygman/orgs","repos_url":"https://api.github.com/users/codygman/repos","events_url":"https://api.github.com/users/codygman/events{/privacy}","received_events_url":"https://api.github.com/users/codygman/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":26,"created_at":"2016-12-14T19:38:45Z","updated_at":"2016-12-16T20:04:46Z","closed_at":null,"body":"```haskell\r\ntype Row = Record [\"col_a\" :-> Text]\r\n\r\n-- I figured out how to make something close\r\nbuildRow :: Record '[ColA]\r\nbuildRow = pure (Col \"some text\") :& Nil\r\n```\r\n\r\nHow can I make a buildRow function of type `Row`? Perhaps with `ColFun`? Perhaps something totally different? Something is telling me I could do this by distributing Identity across the record with ColFun.\r\n"},"comment":{"url":"https://api.github.com/repos/acowley/Frames/issues/comments/267683926","html_url":"https://github.com/acowley/Frames/issues/73#issuecomment-267683926","issue_url":"https://api.github.com/repos/acowley/Frames/issues/73","id":267683926,"user":{"login":"acowley","id":124545,"avatar_url":"https://avatars.githubusercontent.com/u/124545?v=3","gravatar_id":"","url":"https://api.github.com/users/acowley","html_url":"https://github.com/acowley","followers_url":"https://api.github.com/users/acowley/followers","following_url":"https://api.github.com/users/acowley/following{/other_user}","gists_url":"https://api.github.com/users/acowley/gists{/gist_id}","starred_url":"https://api.github.com/users/acowley/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/acowley/subscriptions","organizations_url":"https://api.github.com/users/acowley/orgs","repos_url":"https://api.github.com/users/acowley/repos","events_url":"https://api.github.com/users/acowley/events{/privacy}","received_events_url":"https://api.github.com/users/acowley/received_events","type":"User","site_admin":false},"created_at":"2016-12-16T20:04:46Z","updated_at":"2016-12-16T20:04:46Z","body":"A big part of that is the error messages being off-putting.  Once you start breaking it down, they're not actually that bad. The problem is that, for me at least, there is so much text that I don't want to read it.  I think Idris-mode does a good job in this area with collapsible error messages. "}}
{"actor":{"display_login":"acowley"}}