fix multi-path + val collection and minor problem in if-path

This commit is contained in:
Nathan Marz 2016-06-16 09:42:24 -04:00
parent 36f0e63d56
commit 66f555ab73
4 changed files with 46 additions and 24 deletions

View file

@ -672,18 +672,25 @@
"A path that branches on multiple paths. For updates,
applies updates to the paths in order."
[& paths]
(variable-pathed-nav [compiled-paths paths]
(select* [this structure next-fn]
(doseqres NONE [c compiled-paths]
(i/compiled-traverse* c next-fn structure)
))
(transform* [this structure next-fn]
(reduce
(fn [structure path]
(compiled-transform path next-fn structure))
structure
compiled-paths
))))
(let [paths-comp (mapv i/comp-paths* (vec paths))
all-needed (mapv i/num-needed-params paths-comp)
idx-deltas (vec (cons 0 (reductions + all-needed)))
extracted (mapv i/extract-rich-tfns paths-comp)
sel-info (mapv vector (mapv first extracted) idx-deltas)
tran-info (mapv vector (mapv second extracted) idx-deltas)]
(richnav (reduce + 0 all-needed)
(select* [params params-idx vals structure next-fn]
(doseqres NONE [[s delta] sel-info]
(s params (+ params-idx delta) vals structure next-fn)
))
(transform* [params params-idx vals structure next-fn]
(reduce
(fn [structure [t delta]]
(t params (+ params-idx delta) vals structure next-fn)
)
structure
tran-info
)))))
(defpathedfn stay-then-continue
"Navigates to the current element and then navigates via the provided path.

View file

@ -1095,7 +1095,7 @@
tran (if test?
then-t
else-t)
idx (if test? params-idx then-params)]
idx (if test? params-idx (+ params-idx then-params))]
(tran params
idx
vals
@ -1507,3 +1507,8 @@
[(:selector tfns) (:transformer tfns)]
))
(defn mk-jump-next-fn [next-fn init-idx total-params]
(let [jumped (+ init-idx total-params)]
(fn [params params-idx vals structure]
(next-fn params jumped vals structure)
)))

View file

@ -130,15 +130,25 @@
the next params index, the collected vals, and finally the next structure.
This is the lowest level way of making navigators."
[num-params impl1 impl2]
(let [[select-impl transform-impl] (determine-params-impls impl1 impl2)]
`(let [tfns# (i/->TransformFunctions
(let [[[s-params & s-body] [t-params & t-body]] (determine-params-impls impl1 impl2)
s-next-fn-sym (last s-params)
s-pidx-sym (second s-params)
t-next-fn-sym (last t-params)
t-pidx-sym (second t-params)
]
`(let [num-params# ~num-params
tfns# (i/->TransformFunctions
i/RichPathExecutor
(fn ~@select-impl)
(fn ~@transform-impl)
(fn ~s-params
(let [~s-next-fn-sym (i/mk-jump-next-fn ~s-next-fn-sym ~s-pidx-sym num-params#)]
~@s-body))
(fn ~t-params
(let [~t-next-fn-sym (i/mk-jump-next-fn ~t-next-fn-sym ~t-pidx-sym num-params#)]
~@t-body))
)]
(if (zero? ~num-params)
(if (zero? num-params#)
(i/no-params-compiled-path tfns#)
(i/->ParamsNeededPath tfns# ~num-params)
(i/->ParamsNeededPath tfns# num-params#)
))))
(defmacro paramsfn [params [structure-sym] & impl]

View file

@ -373,11 +373,11 @@
(is (empty? (select (s/if-path odd? (s/view inc)) 2)))
(is (= [6 2 10 6 14]
(transform [(s/putval 2)
s/ALL
(s/if-path odd? [(s/view inc) (s/view inc)] (s/view dec))]
*
[1 2 3 4 5]
)))
s/ALL
(s/if-path odd? [(s/view inc) (s/view inc)] (s/view dec))]
*
[1 2 3 4 5]
)))
(is (= 2
(transform [(s/putval 2)
(s/if-path odd? (s/view inc))]