Provide struct projection; make projection and gestalt non-transparent
This commit is contained in:
parent
b58c31b4b5
commit
af3a27c3c3
|
@ -8,6 +8,7 @@
|
||||||
(require "route.rkt")
|
(require "route.rkt")
|
||||||
|
|
||||||
(provide (struct-out gestalt)
|
(provide (struct-out gestalt)
|
||||||
|
(struct-out projection)
|
||||||
gestalt-match-value
|
gestalt-match-value
|
||||||
|
|
||||||
project-subs
|
project-subs
|
||||||
|
@ -71,14 +72,14 @@
|
||||||
;; -- Greg Egan, "Diaspora"
|
;; -- Greg Egan, "Diaspora"
|
||||||
;; http://gregegan.customer.netspace.net.au/DIASPORA/01/Orphanogenesis.html
|
;; http://gregegan.customer.netspace.net.au/DIASPORA/01/Orphanogenesis.html
|
||||||
;;
|
;;
|
||||||
(struct gestalt (metalevels) #:prefab)
|
(struct gestalt (metalevels))
|
||||||
|
|
||||||
;; Convention: A GestaltSet is a Gestalt where the Matchers map to #t
|
;; Convention: A GestaltSet is a Gestalt where the Matchers map to #t
|
||||||
;; instead of (NonemptySetof PID) or any other value.
|
;; instead of (NonemptySetof PID) or any other value.
|
||||||
|
|
||||||
;; A GestaltProjection is a single-metalevel, single-level fragment of
|
;; A GestaltProjection is a single-metalevel, single-level fragment of
|
||||||
;; a gestalt with capture-groups. See matcher-project in route.rkt.
|
;; a gestalt with capture-groups. See matcher-project in route.rkt.
|
||||||
(struct projection (metalevel level get-advertisements? spec compiled) #:transparent)
|
(struct projection (metalevel level get-advertisements? spec compiled))
|
||||||
|
|
||||||
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue