Last active
November 15, 2021 16:42
-
-
Save cgrand/4985a7ef80c8c85291213437d06d9169 to your computer and use it in GitHub Desktop.
the SET game in clojure.spec
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
;; the SET game in clojure.spec | |
;; inspired by https://github.com/jgrodziski/set-game | |
(require '[clojure.spec :as s]) | |
(s/def ::shape #{:oval :diamond :squiggle}) | |
(s/def ::color #{:red :purple :green}) | |
(s/def ::value #{1 2 3}) | |
(s/def ::shading #{:solid :striped :outline}) | |
(s/def ::card (s/keys :req [::shape ::color ::value ::shading])) | |
(s/def ::deck (s/coll-of ::card :distinct true :max-count 12 :min-count 12)) | |
(defn unique-or-distinct [feature] | |
#(not= 2 (count (into #{} (map feature) %)))) ; assumes 3-item set | |
(s/def ::set | |
(s/and | |
(s/coll-of ::card :min-count 3 :max-count 3 :distinct true :into #{}) | |
(unique-or-distinct ::shape) | |
(unique-or-distinct ::color) | |
(unique-or-distinct ::value) | |
(unique-or-distinct ::shading))) | |
(defn deal [] | |
(first (clojure.test.check.generators/sample (s/gen ::deck) 1))) | |
(defn sets [deck] | |
(into #{} | |
(for [carda deck cardb deck cardc deck | |
:let [s (hash-set carda cardb cardc)] | |
:when (s/valid? ::set s)] | |
s))) | |
;;;;;; repl | |
=> (sets (deal)) | |
#{#{#:user{:shape :oval, :color :purple, :value 1, :shading :outline} | |
#:user{:shape :diamond, :color :red, :value 3, :shading :solid} | |
#:user{:shape :squiggle, :color :green, :value 2, :shading :striped}} | |
#{#:user{:shape :diamond, :color :green, :value 3, :shading :solid} | |
#:user{:shape :oval, :color :purple, :value 1, :shading :striped} | |
#:user{:shape :squiggle, :color :red, :value 2, :shading :outline}} | |
#{#:user{:shape :diamond, :color :green, :value 3, :shading :solid} | |
#:user{:shape :oval, :color :purple, :value 2, :shading :solid} | |
#:user{:shape :squiggle, :color :red, :value 1, :shading :solid}}} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment