Update for route.rkt -> trie.rkt switch
This commit is contained in:
parent
7cb4223235
commit
0e4473f430
|
@ -291,16 +291,15 @@
|
||||||
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
||||||
;; Various projections
|
;; Various projections
|
||||||
|
|
||||||
(define window-projection1 (compile-projection (at-meta (?! (window ? ?)))))
|
(define window-projection1 (at-meta (?! (window ? ?))))
|
||||||
(define window-projection3 (compile-projection (at-meta (at-meta (at-meta (?! (window ? ?)))))))
|
(define window-projection3 (at-meta (at-meta (at-meta (?! (window ? ?))))))
|
||||||
(define scroll-offset-projection (compile-projection (scroll-offset (?!))))
|
(define scroll-offset-projection (scroll-offset (?!)))
|
||||||
(define key-pressed-projection (compile-projection (at-meta (at-meta (key-pressed (?!))))))
|
(define key-pressed-projection (at-meta (at-meta (key-pressed (?!)))))
|
||||||
(define position-projection (compile-projection (?! (position ? ? ?))))
|
(define position-projection (?! (position ? ? ?)))
|
||||||
(define impulse-projection (compile-projection (?! (impulse ? ?))))
|
(define impulse-projection (?! (impulse ? ?)))
|
||||||
(define game-piece-configuration-projection
|
(define game-piece-configuration-projection (?! (game-piece-configuration ? ? ? ?)))
|
||||||
(compile-projection (?! (game-piece-configuration ? ? ? ?))))
|
(define touching-projection (?! (touching ? ? ?)))
|
||||||
(define touching-projection (compile-projection (?! (touching ? ? ?))))
|
(define level-size-projection (level-size (?!)))
|
||||||
(define level-size-projection (compile-projection (level-size (?!))))
|
|
||||||
|
|
||||||
(define (update-set-from-patch orig p projection)
|
(define (update-set-from-patch orig p projection)
|
||||||
(define-values (added removed) (patch-project/set/single p projection))
|
(define-values (added removed) (patch-project/set/single p projection))
|
||||||
|
|
Loading…
Reference in New Issue