diff options
Diffstat (limited to 'src/clojure/contrib/types')
-rw-r--r-- | src/clojure/contrib/types/examples.clj | 19 |
1 files changed, 1 insertions, 18 deletions
diff --git a/src/clojure/contrib/types/examples.clj b/src/clojure/contrib/types/examples.clj index e38d6425..8f4f98e4 100644 --- a/src/clojure/contrib/types/examples.clj +++ b/src/clojure/contrib/types/examples.clj @@ -8,7 +8,7 @@ (ns clojure.contrib.types.examples (:use [clojure.contrib.types - :only (deftype defadt match get-value get-values)])) + :only (deftype defadt match)])) ; ; Multisets implemented as maps to integers @@ -133,20 +133,3 @@ (foo-to-int (bar 3 3 1)) (foo-to-int (bar 0 3 1)) (foo-to-int (bar 10 20 30)) - -; -; Value accessors are defined only for algebraic data types that have -; exactly one constructor. get-values is defined if there is at least -; one argument in the constructor; it returns a vector of values. -; get-value is defined only for exactly one argument, it returns -; the value directly. -; - -(get-value (bar 1 2 3)) ; fails -(get-values (bar 1 2 3)) - -(defadt ::sum - (sum x)) - -(get-value (sum 42)) -(get-values (sum 42)) |