{"action":"created","issue":{"url":"https://api.github.com/repos/jj1bdx/emprng/issues/18","repository_url":"https://api.github.com/repos/jj1bdx/emprng","labels_url":"https://api.github.com/repos/jj1bdx/emprng/issues/18/labels{/name}","comments_url":"https://api.github.com/repos/jj1bdx/emprng/issues/18/comments","events_url":"https://api.github.com/repos/jj1bdx/emprng/issues/18/events","html_url":"https://github.com/jj1bdx/emprng/issues/18","id":176579879,"number":18,"title":"Merging jump functions of exsplus116 and exs1024","user":{"login":"jj1bdx","id":27508,"avatar_url":"https://avatars.githubusercontent.com/u/27508?v=3","gravatar_id":"","url":"https://api.github.com/users/jj1bdx","html_url":"https://github.com/jj1bdx","followers_url":"https://api.github.com/users/jj1bdx/followers","following_url":"https://api.github.com/users/jj1bdx/following{/other_user}","gists_url":"https://api.github.com/users/jj1bdx/gists{/gist_id}","starred_url":"https://api.github.com/users/jj1bdx/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jj1bdx/subscriptions","organizations_url":"https://api.github.com/users/jj1bdx/orgs","repos_url":"https://api.github.com/users/jj1bdx/repos","events_url":"https://api.github.com/users/jj1bdx/events{/privacy}","received_events_url":"https://api.github.com/users/jj1bdx/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/jj1bdx/emprng/labels/enhancement","name":"enhancement","color":"84b6eb"}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":6,"created_at":"2016-09-13T08:24:43Z","updated_at":"2016-09-13T09:47:34Z","closed_at":null,"body":"Jump functions are available for [exsplus116](https://github.com/jj1bdx/exsplus116/) and [exs1024](https://github.com/jj1bdx/exs1024/). The prototypes are completed as `exsplus116:jump/1` and `exs1024:jump/1`.\r\n\r\nPoints to consider:\r\n* Add a handler for jump function\r\n* For exs64 the jump function is not provided (or even useless); how should the API `rand:jump/1` be implemented?\r\n* Should exs64 jump function be considered?"},"comment":{"url":"https://api.github.com/repos/jj1bdx/emprng/issues/comments/246630925","html_url":"https://github.com/jj1bdx/emprng/issues/18#issuecomment-246630925","issue_url":"https://api.github.com/repos/jj1bdx/emprng/issues/18","id":246630925,"user":{"login":"dgud","id":80937,"avatar_url":"https://avatars.githubusercontent.com/u/80937?v=3","gravatar_id":"","url":"https://api.github.com/users/dgud","html_url":"https://github.com/dgud","followers_url":"https://api.github.com/users/dgud/followers","following_url":"https://api.github.com/users/dgud/following{/other_user}","gists_url":"https://api.github.com/users/dgud/gists{/gist_id}","starred_url":"https://api.github.com/users/dgud/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dgud/subscriptions","organizations_url":"https://api.github.com/users/dgud/orgs","repos_url":"https://api.github.com/users/dgud/repos","events_url":"https://api.github.com/users/dgud/events{/privacy}","received_events_url":"https://api.github.com/users/dgud/received_events","type":"User","site_admin":false},"created_at":"2016-09-13T09:47:33Z","updated_at":"2016-09-13T09:47:33Z","body":"{error, not_implemented} in case it does not exist?\nAgree that we don't need the is_jump/1 function.\n\n\nOn Tue, Sep 13, 2016 at 11:06 AM Kenji Rikitake <notifications@github.com>\nwrote:\n\n> @dgud <https://github.com/dgud> So:\n>\n>    - if jump function exists, do the jump and return the jumped state\n>    - if jump function does not exist, return \"undefined\"\n>\n> looks OK to you? (Then we don't need to have the is_jump/1 function)\n>\n> —\n> You are receiving this because you were mentioned.\n>\n>\n> Reply to this email directly, view it on GitHub\n> <https://github.com/jj1bdx/emprng/issues/18#issuecomment-246621018>, or mute\n> the thread\n> <https://github.com/notifications/unsubscribe-auth/AAE8KVrrYw8FXtca3gCBj88g-GdF1sy6ks5qpmecgaJpZM4J7aXA>\n> .\n>\n"}}
{"actor":{"display_login":"dgud"}}