| /dports/lang/racket/racket-8.3/collects/racket/ |
| H A D | prefab.rkt | 3 (provide immutable-prefab-struct-key
4 prefab-key-all-fields-immutable?)
6 (define (immutable-prefab-struct-key v)
7 (define k (prefab-struct-key v))
9 (all-fields-immutable? k)
12 (define (prefab-key-all-fields-immutable? k)
13 (unless (prefab-key? k)
14 (raise-argument-error 'prefab-key-all-fields-immutable? "prefab-key?" k))
15 (all-fields-immutable? k))
17 (define (all-fields-immutable? k)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/racket/ |
| H A D | prefab.rkt | 3 (provide immutable-prefab-struct-key
4 prefab-key-all-fields-immutable?)
6 (define (immutable-prefab-struct-key v)
7 (define k (prefab-struct-key v))
9 (all-fields-immutable? k)
12 (define (prefab-key-all-fields-immutable? k)
13 (unless (prefab-key? k)
14 (raise-argument-error 'prefab-key-all-fields-immutable? "prefab-key?" k))
15 (all-fields-immutable? k))
17 (define (all-fields-immutable? k)
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/utils/ |
| H A D | prefab-c.rkt | 13 `(prefab/c ',(prefab-struct-type-key (base-prefab/c-struct-type ctc))
17 (define (prefab-struct-type-key prefab-struct-type)
19 (prefab-struct-key
77 ;; `impersonate-struct` can't wrap immutable fields,
130 immutable-k-list
251 ;; creates a contract for a prefab with key `key`
253 (define (-prefab/c key . args)
256 (unless (prefab-key? key)
257 (raise-arg-error "prefab-key?" 0))
264 (define prefab-struct-type (prefab-key->struct-type key field-count))
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/common/ |
| H A D | prefab.rkt | 2 (require racket/prefab)
4 (provide immutable-prefab-struct-key
5 all-fields-immutable?)
7 (define (all-fields-immutable? k)
8 (prefab-key-all-fields-immutable? k))
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/common/ |
| H A D | prefab.rkt | 2 (require racket/prefab)
4 (provide immutable-prefab-struct-key
5 all-fields-immutable?)
7 (define (all-fields-immutable? k)
8 (prefab-key-all-fields-immutable? k))
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/syntax/ |
| H A D | datum-map.rkt | 2 (require "../common/prefab.rkt"
47 [(or (vector? s) (box? s) (prefab-struct-key s) (hash? s))
75 (f #f (vector->immutable-vector
79 (f #f (box-immutable (loop #f (unbox s) seen)))]
80 [(immutable-prefab-struct-key s)
81 => (lambda (key)
83 (apply make-prefab-struct
84 key
85 (for/list ([e (in-vector (struct->vector s) 1)])
87 [(and (hash? s) (immutable? s))
[all …]
|
| H A D | preserved.rkt | 3 "../common/prefab.rkt")
11 (struct preserved-property-value (content))
27 (immutable-prefab-struct-key v))
|
| /dports/lang/racket/racket-8.3/src/expander/syntax/ |
| H A D | datum-map.rkt | 2 (require "../common/prefab.rkt"
47 [(or (vector? s) (box? s) (prefab-struct-key s) (hash? s))
75 (f #f (vector->immutable-vector
79 (f #f (box-immutable (loop #f (unbox s) seen)))]
80 [(immutable-prefab-struct-key s)
81 => (lambda (key)
83 (apply make-prefab-struct
84 key
85 (for/list ([e (in-vector (struct->vector s) 1)])
87 [(and (hash? s) (immutable? s))
[all …]
|
| H A D | preserved.rkt | 3 "../common/prefab.rkt")
11 (struct preserved-property-value (content))
27 (immutable-prefab-struct-key v))
|
| /dports/lang/racket/racket-8.3/src/cs/demo/ |
| H A D | struct.ss | 162 (check (prefab-struct-key (make-prefab-struct 'a 1)) 'a)
163 (check (prefab-struct-key (make-prefab-struct '(a 1) 1)) 'a)
164 (check (prefab-struct-key (make-prefab-struct 'a 1 2)) 'a)
172 (check (prefab-struct-key (make-prefab-struct '(a 1 (0 #f) #()) 1)) 'a)
173 (check (prefab-struct-key (make-prefab-struct '(a 1 (0 #f)) 1)) 'a)
174 (check (prefab-struct-key (make-prefab-struct '(a 1 #()) 1)) 'a)
175 (check (prefab-struct-key (make-prefab-struct '(a (0 #f) #()) 1)) 'a)
176 (check (prefab-struct-key (make-prefab-struct '(a (0 #f) #(0)) 1)) '(a #(0)))
186 (check (prefab-struct-key (make-f 1)) 'f)
224 [v (vector-immutable p 2 3)]
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/cs/demo/ |
| H A D | struct.ss | 162 (check (prefab-struct-key (make-prefab-struct 'a 1)) 'a)
163 (check (prefab-struct-key (make-prefab-struct '(a 1) 1)) 'a)
164 (check (prefab-struct-key (make-prefab-struct 'a 1 2)) 'a)
172 (check (prefab-struct-key (make-prefab-struct '(a 1 (0 #f) #()) 1)) 'a)
173 (check (prefab-struct-key (make-prefab-struct '(a 1 (0 #f)) 1)) 'a)
174 (check (prefab-struct-key (make-prefab-struct '(a 1 #()) 1)) 'a)
175 (check (prefab-struct-key (make-prefab-struct '(a (0 #f) #()) 1)) 'a)
176 (check (prefab-struct-key (make-prefab-struct '(a (0 #f) #(0)) 1)) '(a #(0)))
186 (check (prefab-struct-key (make-f 1)) 'f)
224 [v (vector-immutable p 2 3)]
[all …]
|
| /dports/lang/racket/racket-8.3/collects/syntax/parse/private/ |
| H A D | 3d-stx.rkt | 53 - (dsd x) always immutable
56 - read always immutable
219 [(prefab-struct-key x)
221 (cond [(and no-mutable-hash/prefab? (mutable-prefab-key? key))
226 (loop (struct->vector x) fuel))]))]
228 (cond [(and no-mutable-hash/prefab? (not (immutable? x)))
239 ;; mutable-prefab-key? : prefab-key -> boolean
240 (define (mutable-prefab-key? key)
241 ;; A prefab-key is either
243 ;; - (list* symbol maybe-nat maybe-list maybe-vector prefab-key)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/syntax/parse/private/ |
| H A D | 3d-stx.rkt | 53 - (dsd x) always immutable
56 - read always immutable
219 [(prefab-struct-key x)
221 (cond [(and no-mutable-hash/prefab? (mutable-prefab-key? key))
226 (loop (struct->vector x) fuel))]))]
228 (cond [(and no-mutable-hash/prefab? (not (immutable? x)))
239 ;; mutable-prefab-key? : prefab-key -> boolean
240 (define (mutable-prefab-key? key)
241 ;; A prefab-key is either
243 ;; - (list* symbol maybe-nat maybe-list maybe-vector prefab-key)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/thread/ |
| H A D | place-message.rkt | 5 racket/prefab)
35 (immutable? v)
46 (and (immutable? v)
52 (and (immutable-prefab-struct-key v)
59 (and (immutable? v)
133 [(immutable-prefab-struct-key v)
140 (apply make-prefab-struct
195 (vector->immutable-vector
198 [(immutable-prefab-struct-key v)
200 (apply make-prefab-struct
[all …]
|
| /dports/lang/racket/racket-8.3/src/thread/ |
| H A D | place-message.rkt | 5 racket/prefab)
35 (immutable? v)
46 (and (immutable? v)
52 (and (immutable-prefab-struct-key v)
59 (and (immutable? v)
133 [(immutable-prefab-struct-key v)
140 (apply make-prefab-struct
195 (vector->immutable-vector
198 [(immutable-prefab-struct-key v)
200 (apply make-prefab-struct
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/read/ |
| H A D | struct.rkt | 2 (require "../common/prefab.rkt"
12 (provide read-struct)
14 (define (read-struct read-one dispatch-c in config)
26 (read-struct-sequence read-one c #\( #\) in config)]
30 (read-struct-sequence read-one c #\[ #\] in config))]
34 (read-struct-sequence read-one c #\{ #\} in config))]
46 (unless (prefab-key? (car seq))
52 (prefab-key->struct-type (car seq) (length (cdr seq)))))
60 (unless (all-fields-immutable? (car seq))
65 (wrap (apply make-prefab-struct seq)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/read/ |
| H A D | struct.rkt | 2 (require "../common/prefab.rkt"
12 (provide read-struct)
14 (define (read-struct read-one dispatch-c in config)
26 (read-struct-sequence read-one c #\( #\) in config)]
30 (read-struct-sequence read-one c #\[ #\] in config))]
34 (read-struct-sequence read-one c #\{ #\} in config))]
46 (unless (prefab-key? (car seq))
52 (prefab-key->struct-type (car seq) (length (cdr seq)))))
60 (unless (all-fields-immutable? (car seq))
65 (wrap (apply make-prefab-struct seq)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/cs/rumble/ |
| H A D | prefab.ss | 1 (define (prefab-struct-key v)
8 (define/who (prefab-key->struct-type key field-count)
13 (define/who (make-prefab-struct key . args)
16 (let ([rtd (prefab-key->struct-type key field-count)])
176 (vector->immutable-vector
203 (check who prefab-key? key)
217 (define (prefab-key+size->prefab-key-tail key+size)
253 (define (prefab-key->parent-prefab-key+count key)
281 (prefab-key+size->prefab-key-tail parent-key+size)
297 (define (prefab-key-mutables prefab-key init+auto-count)
[all …]
|
| /dports/lang/racket/racket-8.3/src/cs/rumble/ |
| H A D | prefab.ss | 1 (define (prefab-struct-key v)
8 (define/who (prefab-key->struct-type key field-count)
13 (define/who (make-prefab-struct key . args)
16 (let ([rtd (prefab-key->struct-type key field-count)])
176 (vector->immutable-vector
203 (check who prefab-key? key)
217 (define (prefab-key+size->prefab-key-tail key+size)
253 (define (prefab-key->parent-prefab-key+count key)
281 (prefab-key+size->prefab-key-tail parent-key+size)
297 (define (prefab-key-mutables prefab-key init+auto-count)
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/ |
| H A D | tc-app-hetero.rkt | 9 "../../utils/prefab.rkt"
32 unsafe-struct-ref unsafe-struct*-ref
33 unsafe-struct-set! unsafe-struct*-set!
34 vector-immutable vector))
130 (tc/hetero-ref #'index flds struct-t "prefab struct" #'op)]
131 [(PrefabTop: key)
133 (build-list (prefab-key->field-count key) (λ (_) Univ))
135 "prefab struct"
175 [(immutable)
180 mask:immutable-vector
[all …]
|
| /dports/lang/racket/racket-8.3/src/cs/ |
| H A D | rumble.sls | 27 (rename [break-enabled-key rumble:break-enabled-key])
223 structure-type-lookup-prefab-uid ; not exported to Racket
247 prefab-key?
248 prefab-struct-key
249 prefab-key->struct-type
250 make-prefab-struct
272 make-immutable-hash make-immutable-hasheqv make-immutable-hasheq
281 unsafe-immutable-hash-iterate-key unsafe-immutable-hash-iterate-value
282 unsafe-immutable-hash-iterate-key+value unsafe-immutable-hash-iterate-pair
382 immutable?
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/cs/ |
| H A D | rumble.sls | 27 (rename [break-enabled-key rumble:break-enabled-key])
223 structure-type-lookup-prefab-uid ; not exported to Racket
247 prefab-key?
248 prefab-struct-key
249 prefab-key->struct-type
250 make-prefab-struct
272 make-immutable-hash make-immutable-hasheqv make-immutable-hasheq
281 unsafe-immutable-hash-iterate-key unsafe-immutable-hash-iterate-value
282 unsafe-immutable-hash-iterate-key+value unsafe-immutable-hash-iterate-pair
382 immutable?
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/macro-debugger-text-lib/macro-debugger/syntax-browser/ |
| H A D | pretty-helper.rkt | 4 racket/struct
30 (struct wrapped-stx (contents mode)
54 [print-struct #t]
60 (define-struct syntax-dummy (val))
142 [(prefab-struct-key obj)
152 (cond [(hash-equal? obj) make-immutable-hash]
153 [(hash-eqv? obj) make-immutable-hasheqv]
154 [(hash-eq? obj) make-immutable-hasheq])])
176 ;; unfold-pstruct : prefab-struct -> (values (list -> prefab-struct) list)
178 (define key (prefab-struct-key obj))
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/typecheck/ |
| H A D | tc-structs.rkt | 302 (immutable-free-id-set property-names))))
351 (define key (Prefab-key pty))
357 …(define raw-poly-prefab (make-Prefab key field-tvar-Fs)) ;; since all prefabs are polymorphic by n…
359 (define prefab-top-type (make-PrefabTop key))
372 ;; for any immutable field).
558 #:prefab? [prefab? #f]
603 (define key
604 (normalize-prefab-key (append key-prefix parent-key)
613 (parsed-struct (make-Prefab key (append parent-fields types))
618 ;; either fully mutable or fully immutable
[all …]
|
| /dports/lang/racket/racket-8.3/collects/racket/private/ |
| H A D | serialize.rkt | 36 (prefab-struct-key v)
170 (not (immutable? o)))
175 (let ([k (prefab-struct-key o)])
263 (prefab-struct-key v))
342 (immutable? v))
355 (prefab-struct-key v))
447 ;; A mutable prefab
448 (cons 'pf (cons (prefab-struct-key v)
549 (bytes->immutable-bytes v)]
558 [(f) (apply make-prefab-struct (cadr v) (map loop (cddr v)))]
[all …]
|