Skip to content

Instantly share code, notes, and snippets.

@jrheard

jrheard/quinto_fdef_example.cljs

Created January 10, 2018 16:46
Show Gist options
  • Save jrheard/7bd6f27cb49240b50a87a391092d2da3 to your computer and use it in GitHub Desktop.
Save jrheard/7bd6f27cb49240b50a87a391092d2da3 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
quinto_fdef_example.cljs
(s/fdef draw-tiles
:args (s/cat :deck ::sp/deck
:hand ::sp/hand
:num-tiles (s/and nat-int? #(<= % MAX-HAND-SIZE)))
:ret (s/cat :new-deck ::sp/deck
:new-hand ::sp/hand))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment