{"action":"closed","issue":{"url":"https://api.github.com/repos/jsverify/jsverify/issues/175","repository_url":"https://api.github.com/repos/jsverify/jsverify","labels_url":"https://api.github.com/repos/jsverify/jsverify/issues/175/labels{/name}","comments_url":"https://api.github.com/repos/jsverify/jsverify/issues/175/comments","events_url":"https://api.github.com/repos/jsverify/jsverify/issues/175/events","html_url":"https://github.com/jsverify/jsverify/issues/175","id":170628333,"number":175,"title":"Define an arbitrary and use it in the DSL?","user":{"login":"boris-marinov","id":4872512,"avatar_url":"https://avatars.githubusercontent.com/u/4872512?v=3","gravatar_id":"","url":"https://api.github.com/users/boris-marinov","html_url":"https://github.com/boris-marinov","followers_url":"https://api.github.com/users/boris-marinov/followers","following_url":"https://api.github.com/users/boris-marinov/following{/other_user}","gists_url":"https://api.github.com/users/boris-marinov/gists{/gist_id}","starred_url":"https://api.github.com/users/boris-marinov/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/boris-marinov/subscriptions","organizations_url":"https://api.github.com/users/boris-marinov/orgs","repos_url":"https://api.github.com/users/boris-marinov/repos","events_url":"https://api.github.com/users/boris-marinov/events{/privacy}","received_events_url":"https://api.github.com/users/boris-marinov/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2016-08-11T11:54:25Z","updated_at":"2016-08-16T08:05:38Z","closed_at":"2016-08-16T08:05:38Z","body":"Hello,\r\nCan you give me an example on how to define an arbitrary and use it in the DSL?\r\n\r\nI have: \r\n```\r\njsc.monad = (value) => (bless({\r\n  generator: (num) => Maybe.of(value.generator(num)),\r\n  shrink: () => [],\r\n  show: (maybe) => maybe.toString()\r\n}))\r\n```\r\nIt allows me to do:\r\n```\r\nproperty('ap', jsc.monad(jsc.json), function(m){\r\n```\r\nbut not: \r\n```\r\nproperty('ap', 'monad json', function(m){\r\n```\r\nHow can I make the second example work - tried using`compile`, but I guess I don't understand how it works."}}
{"actor":{"display_login":"boris-marinov"}}