{"action":"created","issue":{"url":"https://api.github.com/repos/UlfNorell/agda-prelude/issues/40","repository_url":"https://api.github.com/repos/UlfNorell/agda-prelude","labels_url":"https://api.github.com/repos/UlfNorell/agda-prelude/issues/40/labels{/name}","comments_url":"https://api.github.com/repos/UlfNorell/agda-prelude/issues/40/comments","events_url":"https://api.github.com/repos/UlfNorell/agda-prelude/issues/40/events","html_url":"https://github.com/UlfNorell/agda-prelude/pull/40","id":167181478,"number":40,"title":"Add some IO operations","user":{"login":"phile314","id":1640697,"avatar_url":"https://avatars.githubusercontent.com/u/1640697?v=3","gravatar_id":"","url":"https://api.github.com/users/phile314","html_url":"https://github.com/phile314","followers_url":"https://api.github.com/users/phile314/followers","following_url":"https://api.github.com/users/phile314/following{/other_user}","gists_url":"https://api.github.com/users/phile314/gists{/gist_id}","starred_url":"https://api.github.com/users/phile314/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/phile314/subscriptions","organizations_url":"https://api.github.com/users/phile314/orgs","repos_url":"https://api.github.com/users/phile314/repos","events_url":"https://api.github.com/users/phile314/events{/privacy}","received_events_url":"https://api.github.com/users/phile314/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":3,"created_at":"2016-07-23T12:05:45Z","updated_at":"2016-07-24T10:40:50Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/UlfNorell/agda-prelude/pulls/40","html_url":"https://github.com/UlfNorell/agda-prelude/pull/40","diff_url":"https://github.com/UlfNorell/agda-prelude/pull/40.diff","patch_url":"https://github.com/UlfNorell/agda-prelude/pull/40.patch"},"body":"This adds basic implementations for bytestrings and file/directory operations.\r\n\r\nI'm not sure yet what the best design for the FilePath type is. Should we index it by relative/absolute type?  Whether it points to a directory or file? The current design is inspired by the Haskell path library [1] . What complicates things is that listing directory contents only gives us the name of the items, but we do not know if an item is a file or a directory [2, 3]. Determining the type is an additional operation for each item.\r\n\r\nWhat do you think?\r\n\r\n[1] https://hackage.haskell.org/package/path-0.5.8/docs/Path.html\r\n[2] http://hackage.haskell.org/package/directory-1.2.6.3/docs/System-Directory.html#v:getDirectoryContents\r\n[3] http://linux.die.net/man/3/readdir"},"comment":{"url":"https://api.github.com/repos/UlfNorell/agda-prelude/issues/comments/234770090","html_url":"https://github.com/UlfNorell/agda-prelude/pull/40#issuecomment-234770090","issue_url":"https://api.github.com/repos/UlfNorell/agda-prelude/issues/40","id":234770090,"user":{"login":"phile314","id":1640697,"avatar_url":"https://avatars.githubusercontent.com/u/1640697?v=3","gravatar_id":"","url":"https://api.github.com/users/phile314","html_url":"https://github.com/phile314","followers_url":"https://api.github.com/users/phile314/followers","following_url":"https://api.github.com/users/phile314/following{/other_user}","gists_url":"https://api.github.com/users/phile314/gists{/gist_id}","starred_url":"https://api.github.com/users/phile314/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/phile314/subscriptions","organizations_url":"https://api.github.com/users/phile314/orgs","repos_url":"https://api.github.com/users/phile314/repos","events_url":"https://api.github.com/users/phile314/events{/privacy}","received_events_url":"https://api.github.com/users/phile314/received_events","type":"User","site_admin":false},"created_at":"2016-07-24T10:40:50Z","updated_at":"2016-07-24T10:40:50Z","body":"I am happy with the current state, will merge it soonish if nobody objects."}}
{"actor":{"display_login":"phile314"}}