Move anaphoric macros to contrib module

This commit is contained in:
agentultra 2013-11-28 23:53:02 -05:00
parent 20df6a5532
commit 179017b9bd
4 changed files with 119 additions and 66 deletions

56
hy/contrib/anaphoric.hy Normal file
View File

@ -0,0 +1,56 @@
;;; Hy anaphoric macros
;;
;; Copyright (c) 2013 James King <james@agentultra.com>
;;
;; Permission is hereby granted, free of charge, to any person obtaining a
;; copy of this software and associated documentation files (the "Software"),
;; to deal in the Software without restriction, including without limitation
;; the rights to use, copy, modify, merge, publish, distribute, sublicense,
;; and/or sell copies of the Software, and to permit persons to whom the
;; Software is furnished to do so, subject to the following conditions:
;;
;; The above copyright notice and this permission notice shall be included in
;; all copies or substantial portions of the Software.
;;
;; THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
;; IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
;; FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
;; THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
;; LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
;; FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
;; DEALINGS IN THE SOFTWARE.
;;
;;; These macros make writing functional programs more concise
(defmacro ap-each [lst &rest body]
`(foreach [it ~list] ~@body))
(defmacro ap-each-while [lst pred &rest body]
`(let [[p (lambda [it] ~pred)]]
(foreach [it ~lst]
(if (p it)
~@body
(break)))))
(defmacro ap-map [form lst]
`(let [[f (lambda [it] ~form)]]
(foreach [v ~lst]
(yield (f v)))))
(defmacro ap-map-when [predfn rep lst]
`(let [[f (lambda [it] ~rep)]]
(foreach [it ~lst]
(if (~pred it)
(yield (f it))
(yield it)))))
(defmacro ap-filter [form lst]
`(let [[pred (lambda [it] ~form)]]
(foreach [val ~lst]
(if (pred val)
(yield val)))))

View File

@ -117,36 +117,3 @@
;; TODO: this needs some gensym love
`(foreach [_hy_yield_from_x ~iterable]
(yield _hy_yield_from_x)))
(defmacro --each [lst &rest body]
`(foreach [it ~list] ~@body))
(defmacro --each-while [lst pred &rest body]
`(let [[p (lambda [it] ~pred)]]
(foreach [it ~lst]
(if (p it)
~@body
(break)))))
(defmacro --map [form lst]
`(let [[f (lambda [it] ~form)]]
(foreach [v ~lst]
(yield (f v)))))
(defmacro --map-when [predfn rep lst]
`(let [[f (lambda [it] ~rep)]]
(foreach [it ~lst]
(if (~pred it)
(yield (f it))
(yield it)))))
(defmacro --filter [form lst]
`(let [[pred (lambda [it] ~form)]]
(foreach [val ~lst]
(if (pred val)
(yield val)))))

View File

@ -0,0 +1,63 @@
;; Copyright (c) 2013 James King <james@agentultra.com>
;; Permission is hereby granted, free of charge, to any person obtaining a
;; copy of this software and associated documentation files (the "Software"),
;; to deal in the Software without restriction, including without limitation
;; the rights to use, copy, modify, merge, publish, distribute, sublicense,
;; and/or sell copies of the Software, and to permit persons to whom the
;; Software is furnished to do so, subject to the following conditions:
;; The above copyright notice and this permission notice shall be included in
;; all copies or substantial portions of the Software.
;; THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
;; IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
;; FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
;; THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
;; LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
;; FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
;; DEALINGS IN THE SOFTWARE.
;;;; some simple helpers
(require hy.contrib.anaphoric)
(defn assert-true [x]
(assert (= True x)))
(defn assert-false [x]
(assert (= False x)))
(defn assert-equal [x y]
(assert (= x y)))
(defn test-ap-each []
"NATIVE: testing anaphoric each"
(setv res [])
(ap-each [1 2 3 4] (.append res it))
(assert-equal res [1 2 3 4]))
(defn test-ap-each-while []
"NATIVE: testing anaphoric each-while"
(setv res [])
(ap-each-while [2 2 4 3 4 5 6] (even? it) (.append res it))
(assert-equal res [2 2 4]))
(defn test-ap-map []
"NATIVE: testing anaphoric map"
(assert-equal (list (ap-map (* it 3) [1 2 3]))
[3 6 9])
(assert-equal (list (ap-map (* it 3) []))
[]))
(defn test-ap-map-when []
"NATIVE: testing anaphoric map-when"
(assert-equal (list (ap-map-when even? (* it 2) [1 2 3 4]))
[1 4 3 8]))
(defn test-ap-filter []
"NATIVE: testing anaphoric filter"
(assert-equal (list (ap-filter (> it 2) [1 2 3 4]))
[3 4])
(assert-equal (list (ap-filter (even? it) [1 2 3 4]))
[2 4]))

View File

@ -1,6 +1,5 @@
;; Copyright (c) 2013 Paul Tagliamonte <paultag@debian.org>
;; Copyright (c) 2013 Bob Tolbert <bob@tolbert.org>
;; Copyright (c) 2013 James King <james@agentultra.com>
;; Permission is hereby granted, free of charge, to any person obtaining a
;; copy of this software and associated documentation files (the "Software"),
@ -392,35 +391,3 @@
(assert-equal res [None None])
(setv res (list (take-while (fn [x] (not (none? x))) [1 2 3 4 None 5 6 None 7])))
(assert-equal res [1 2 3 4]))
(defn test-anaphoric-each []
"NATIVE: testing anaphoric each"
(setv res [])
(--each [1 2 3 4] (.append res it))
(assert-equal res [1 2 3 4]))
(defn test-anaphoric-each-while []
"NATIVE: testing anaphoric each-while"
(setv res [])
(--each-while [2 2 4 3 4 5 6] (even? it) (.append res it))
(assert-equal res [2 2 4]))
(defn test-anaphoric-map []
"NATIVE: testing anaphoric map"
(assert-equal (list (--map (* it 3) [1 2 3]))
[3 6 9])
(assert-equal (list (--map (* it 3) []))
[]))
(defn test-anaphoric-map-when []
"NATIVE: testing anaphoric map-when"
(assert-equal (list (--map-when even? (* it 2) [1 2 3 4]))
[1 4 3 8]))
(defn test-anaphoric-filter []
"NATIVE: testing anaphoric filter"
(assert-equal (list (--filter (> it 2) [1 2 3 4]))
[3 4])
(assert-equal (list (--filter (even? it) [1 2 3 4]))
[2 4]))