Open swannodette opened 14 years ago
I note that it's not possible to do the following:
(def my-match {:foo java.lang.Integer}) (if-match [my-match {:foo 1}] true)
This could be cool since you define types ahead of time and use them conveniently in pre/post:
(def typea {:baz java.lang.String}) (def typeb {:woz java.lang.String}) (defn bar [x y] {:pre [(match? [typea x]) (match? [typeb y])] :post [(match? [typea %])]} (merge x y))
I note that it's not possible to do the following:
(def my-match {:foo java.lang.Integer}) (if-match [my-match {:foo 1}] true)This could be cool since you define types ahead of time and use them conveniently in pre/post:
(def typea {:baz java.lang.String}) (def typeb {:woz java.lang.String}) (defn bar [x y] {:pre [(match? [typea x]) (match? [typeb y])] :post [(match? [typea %])]} (merge x y))