| /dports/lang/racket/racket-8.3/doc/raco/ |
| H A D | blueboxes.rktd | 19 managed-compiled-context-key : any/c
998 (find-relevant-directory-records syms key)
1001 key : (or/c 'preferred 'all-available 'no-planet 'no-user)
1019 cache : (or/c #f (and/c hash? (not/c immutable?)))
1029 cache : (or/c #f (and/c hash? (not/c immutable?)))
1055 cache : (or/c #f (and/c hash? (not/c immutable?))) = #f
1063 cache : (or/c #f (and/c hash? (not/c immutable?))) = #f
1387 (struct with-cont-mark expr (key val body)
1390 key : (or/c expr? seq? any/c)
1425 (struct with-immed-mark expr (key def-val body)
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/racket-doc/scribblings/reference/ |
| H A D | serialization.scrbl | 52 @item{@techlink{prefab} structures;}
78 only if the cycle includes a mutable value, where a @tech{prefab}
237 @item{a string, representing an immutable string.}
261 represents an instance of a @tech{prefab} structure
262 type. The @racket[cadr] of the pair is a @tech{prefab}
263 structure type key, and the @racket[cddr] is a list of
297 immutable pair.}
311 immutable vector.}
335 (mutable or immutable, respectively), whose
341 hash-table key and the @racket[cdr] is a serial for
[all …]
|
| H A D | stx-props.scrbl | 76 immutable list of identifiers from the disappeared bindings, as a
79 @item{When a subtyping @racket[struct] form is expanded, the
81 expansion. Therefore, the @racket[struct] transformer adds the
126 an arbitrary property value @racket[v] with the key @racket[key]; the
134 to @racket[stx] with the key @racket[key], or @racket[#f] if no value
145 @item{a @tech{vector} (unmarshaled as immutable) containing allowed preserved-property values;}
147 @item{a @tech{box} (unmarshaled as immutable) containing allowed preserved-property values;}
149 @item{an immutable @tech{prefab} structure containing allowed preserved-property values;}
151 @item{an immutable @tech{hash table} whose keys and values are allowed preserved-property values;}
172 any) for @racket[key].
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/run/ |
| H A D | cache.rkt | 17 (struct cache (dir
22 (struct entry (key ; sha1 of filename
24 dependencies) ; list of key
25 #:prefab)
72 ;; Convert back to immutable:
84 (entry-key e))))
96 (hash-ref (cache-in-memory cache) (entry-key e) #f))
111 (define key (sha1 (open-input-bytes (path->bytes path))))
114 (entry key
124 (build-path (cache-dir cache) key)
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/run/ |
| H A D | cache.rkt | 17 (struct cache (dir
22 (struct entry (key ; sha1 of filename
24 dependencies) ; list of key
25 #:prefab)
72 ;; Convert back to immutable:
84 (entry-key e))))
96 (hash-ref (cache-in-memory cache) (entry-key e) #f))
111 (define key (sha1 (open-input-bytes (path->bytes path))))
114 (entry key
124 (build-path (cache-dir cache) key)
[all …]
|
| /dports/lang/racket/racket-8.3/collects/racket/private/ |
| H A D | qq-and-or.rkt | 377 (if (struct? (syntax-e x))
378 (prefab-struct-key (syntax-e x))
381 ;; pre-fab struct
383 (((l) (cdr (vector->list (struct->vector (syntax-e x))))))
389 (quote-syntax make-prefab-struct)
391 (prefab-struct-key (syntax-e x)))
430 (quote-syntax make-immutable-hasheq)
432 … (quote-syntax make-immutable-hasheqv)
433 … (quote-syntax make-immutable-hash)))
|
| /dports/lang/racket-minimal/racket-8.3/collects/racket/private/ |
| H A D | qq-and-or.rkt | 377 (if (struct? (syntax-e x))
378 (prefab-struct-key (syntax-e x))
381 ;; pre-fab struct
383 (((l) (cdr (vector->list (struct->vector (syntax-e x))))))
389 (quote-syntax make-prefab-struct)
391 (prefab-struct-key (syntax-e x)))
430 (quote-syntax make-immutable-hasheq)
432 … (quote-syntax make-immutable-hasheqv)
433 … (quote-syntax make-immutable-hash)))
|
| /dports/lang/racket/racket-8.3/src/cs/rumble/ |
| H A D | equal.ss | 12 ;; For immutable hashes, it's ok for the two objects to not be eq,
55 (and (immutable-vector? a)
56 (immutable-vector? b)))
86 (and (immutable-box? a)
87 (immutable-box? b)))
145 (and (not (eq? 0 (struct-type-mpm rtd)))
146 (if (struct-type-prefab? rtd)
220 ;; The `key-equal-hash-code` and `key-equal?` functions allow
223 ;; continuation maps `key-equality-wrap-key` to a key-wrapping
237 (with-continuation-mark key-equality-wrap-key #f
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/cs/rumble/ |
| H A D | equal.ss | 12 ;; For immutable hashes, it's ok for the two objects to not be eq,
55 (and (immutable-vector? a)
56 (immutable-vector? b)))
86 (and (immutable-box? a)
87 (immutable-box? b)))
145 (and (not (eq? 0 (struct-type-mpm rtd)))
146 (if (struct-type-prefab? rtd)
220 ;; The `key-equal-hash-code` and `key-equal?` functions allow
223 ;; continuation maps `key-equality-wrap-key` to a key-wrapping
237 (with-continuation-mark key-equality-wrap-key #f
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/rep/ |
| H A D | type-rep.rkt | 11 "../utils/prefab.rkt"
227 [#:mask mask:immutable-vector])
350 [#:mask mask:immutable-hash])
450 [#:mask mask:immutable-vector])
844 ;; key : prefab key encoding mutability, auto-fields, etc.
846 (def-type Prefab ([key prefab-key?]
851 [#:mask mask:prefab])
853 (def-type PrefabTop ([key prefab-key?])
855 [#:mask mask:prefab]
858 [(prefab-key/mutable-fields? key)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/compile/ |
| H A D | serialize.rkt | 333 (if (or (immutable? v)
342 (if (immutable? v)
348 (if (immutable? v)
357 [(prefab-struct-key v)
530 [(prefab-struct-key v)
534 (ser-push! 'tag '#:prefab)
804 (decode* (box-immutable v))]
835 [(#:prefab)
841 (values (apply make-prefab-struct key (reverse r))
908 (hash-set! v key val)
[all …]
|
| H A D | side-effect.rkt | 101 (known-satisfies (known-predicate-key d)))))
134 … [key (in-list (known-function-of-satisfying-arg-predicate-keys d))])
136 (satisfies? e key defns locals)))))
151 (define (satisfies? e key defns locals)
156 (eq? key (known-satisfies-predicate-key d))))
267 (eq? 'struct-type (known-struct-op-type o))))))
296 (eq? 'prefab (quoted-value v)))
323 (immutable-field? val-expr immutables-expr))]
325 (immutable-field? val-expr immutables-expr))]
335 (immutable-field? 1 immutables-expr))]
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/compile/ |
| H A D | serialize.rkt | 333 (if (or (immutable? v)
342 (if (immutable? v)
348 (if (immutable? v)
357 [(prefab-struct-key v)
530 [(prefab-struct-key v)
534 (ser-push! 'tag '#:prefab)
804 (decode* (box-immutable v))]
835 [(#:prefab)
841 (values (apply make-prefab-struct key (reverse r))
908 (hash-set! v key val)
[all …]
|
| H A D | side-effect.rkt | 101 (known-satisfies (known-predicate-key d)))))
134 … [key (in-list (known-function-of-satisfying-arg-predicate-keys d))])
136 (satisfies? e key defns locals)))))
151 (define (satisfies? e key defns locals)
156 (eq? key (known-satisfies-predicate-key d))))
267 (eq? 'struct-type (known-struct-op-type o))))))
296 (eq? 'prefab (quoted-value v)))
323 (immutable-field? val-expr immutables-expr))]
325 (immutable-field? val-expr immutables-expr))]
335 (immutable-field? 1 immutables-expr))]
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/typecheck/ |
| H A D | def-binding.rkt | 6 racket/struct-info
13 "../utils/struct-info.rkt"
14 "../types/struct-table.rkt"
32 …aps ids defined in this module to an identifier which is the possibly-contracted version of the key
41 (-> providable? identifier? (free-id-table/c identifier? binding? #:immutable #t)
68 (-> providable? identifier? (free-id-table/c identifier? binding? #:immutable #t)
88 (define-struct (def-struct-stx-binding def-stx-binding)
94 (-> providable? identifier? (free-id-table/c identifier? binding? #:immutable #t)
183 (-> identifier? (free-id-table/c identifier? binding? #:immutable #t) identifier? identifier?
192 [(prefab-struct-field-operator? internal-id)
[all …]
|
| H A D | tc-expr-unit.rkt | 45 (for-label (only-in '#%paramz [parameterization-key pz:pk])
237 (define key-t (single-value #'e1))
238 (match key-t
247 [(tc-result1: key-t)
248 ;(check-below key-t -Symbol)
254 … (tc-error/expr "with-continuation-mark requires a continuation-mark-key, but got ~a" key-t)])]
358 #:declare s-kp (id-from 'struct:keyword-procedure 'racket/private/kw)
456 [(immutable? v)
497 [(? prefab-struct-key prefab-val) (tc-prefab find-stx-type prefab-val expected-type)]
|
| /dports/lang/racket/racket-8.3/src/ChezScheme/rktboot/ |
| H A D | r6rs-lang.rkt | 490 (syntax-case f (mutable immutable)
498 [(immutable id)
502 [(immutable id ref)
545 [maybe-prefab (if uid #''prefab #'#f)]
563 (make-struct-type 'uid super num-fields 0 #f null maybe-prefab))
753 (define (hash-ref/pair ht key def-v)
756 (define (hash-set!/pair ht key val)
757 (hash-set! ht key (cons (and (not (hash-weak? ht)) key) val)))
759 (define (hash-ref-cell ht key def-v)
760 (or (hash-ref ht key #f)
[all …]
|
| H A D | scheme-lang.rkt | 20 "scheme-struct.rkt"
34 (for-syntax "scheme-struct.rkt"
388 ;; types are prefab structs.
471 (struct-type-info rtd))
503 (struct-type-info rtd))
986 (define (hash-ref/pair/dict ht key def-v)
988 (hash-ref/pair ht key def-v)
989 (dict-ref ht key def-v)))
991 (define (hash-set!/pair/dict ht key v)
993 (hash-set!/pair ht key v)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/ChezScheme/rktboot/ |
| H A D | r6rs-lang.rkt | 490 (syntax-case f (mutable immutable)
498 [(immutable id)
502 [(immutable id ref)
545 [maybe-prefab (if uid #''prefab #'#f)]
563 (make-struct-type 'uid super num-fields 0 #f null maybe-prefab))
753 (define (hash-ref/pair ht key def-v)
756 (define (hash-set!/pair ht key val)
757 (hash-set! ht key (cons (and (not (hash-weak? ht)) key) val)))
759 (define (hash-ref-cell ht key def-v)
760 (or (hash-ref ht key #f)
[all …]
|
| H A D | scheme-lang.rkt | 20 "scheme-struct.rkt"
34 (for-syntax "scheme-struct.rkt"
388 ;; types are prefab structs.
471 (struct-type-info rtd))
503 (struct-type-info rtd))
986 (define (hash-ref/pair/dict ht key def-v)
988 (hash-ref/pair ht key def-v)
989 (dict-ref ht key def-v)))
991 (define (hash-set!/pair/dict ht key v)
993 (hash-set!/pair ht key v)
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/private/ |
| H A D | type-contract.rkt | 14 "../utils/prefab.rkt"
83 (struct contract-def (type flat? maker? typed-side) #:prefab)
209 typed-racket/utils/prefab-c
357 (define (struct->recursive-sc name-base key flds sc-ctor)
538 (immutable-vectorof/sc (t->sc t))]
768 [(Prefab: (and key (list key-sym rst ...)) (list flds ...))
772 (struct->recursive-sc key-sym key flds
774 (prefab/sc key ftsc)))])]
777 (prefab-key->struct-type (quote #,(abbreviate-prefab-key key))
778 #,(prefab-key->field-count key))))]
[all …]
|
| /dports/lang/racket/racket-8.3/src/cs/primitive/ |
| H A D | kernel.ss | 47 [box-immutable (known-procedure/allocates 2)]
60 [bytes->immutable-bytes (known-procedure/no-prompt 2)]
190 [continuation-mark-key? (known-procedure/pure/folding 2)]
420 [hash-iterate-key (known-procedure/single-valued 12)]
421 [hash-iterate-key+value (known-procedure 12)]
429 [hash-ref-key (known-procedure 12)]
440 [immutable? (known-procedure/pure/folding 2)]
536 [make-prefab-struct (known-procedure/single-valued -2)]
646 [prefab-key->struct-type (known-procedure/no-prompt 4)]
647 [prefab-key? (known-procedure/no-prompt 2)] ; not pure, the argument may have a mutable vector
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/cs/primitive/ |
| H A D | kernel.ss | 47 [box-immutable (known-procedure/allocates 2)]
60 [bytes->immutable-bytes (known-procedure/no-prompt 2)]
190 [continuation-mark-key? (known-procedure/pure/folding 2)]
420 [hash-iterate-key (known-procedure/single-valued 12)]
421 [hash-iterate-key+value (known-procedure 12)]
429 [hash-ref-key (known-procedure 12)]
440 [immutable? (known-procedure/pure/folding 2)]
536 [make-prefab-struct (known-procedure/single-valued -2)]
646 [prefab-key->struct-type (known-procedure/no-prompt 4)]
647 [prefab-key? (known-procedure/no-prompt 2)] ; not pure, the argument may have a mutable vector
[all …]
|
| /dports/lang/racket/racket-8.3/doc/reference/ |
| H A D | blueboxes.rktd | 3747 (hash-set hash key v) -> (and/c hash? immutable?)
3804 (hash-remove hash key) -> (and/c hash? immutable?)
4421 (dict-set dict key v) -> (and/c dict? immutable?)
5171 | #:prefab
5390 (prefab-struct-key v) -> (or/c #f symbol? list?)
5393 (make-prefab-struct key v ...) -> struct?
5394 key : prefab-key?
5397 (prefab-key->struct-type key field-count) -> struct-type?
5398 key : prefab-key?
5401 (prefab-key? v) -> boolean?
[all …]
|
| /dports/lang/racket/racket-8.3/doc/syntax/ |
| H A D | blueboxes.rktd | 238 #s(prefab-struct-key pattern-part ...)
494 (syntax-parse-state-ref key [default]) -> any/c
495 key : any/c
498 (syntax-parse-state-set! key value) -> void?
499 key : any/c
502 (syntax-parse-state-update! key
505 key : any/c
510 key : any/c
778 key-ctc : flat-contract?
899 key-ctc : flat-contract?
[all …]
|