scolobb/dds
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

utils/typed: Explicitly provide Variable and VariableMapping.

Browse Source 
These are not useful outside of utils/typed as of yet, but the time
will come.
This commit is contained in:
Sergiu Ivanov 2022-01-23 16:01:09 +01:00
parent 69a7234665
commit c1967816b4
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
utils.rkt
View File

@ -14,9 +14,12 @@
(require typed/graph typed/rackunit
(for-syntax syntax/parse racket/list))
(provide eval-with eval1-with auto-hash-ref/explicit auto-hash-ref/:
extract-symbols any->string stringify-variable-mapping string->any
handle-org-booleans map-sexp read-org-sexp unorg)
(provide
Variable VariableMapping
eval-with eval1-with auto-hash-ref/explicit auto-hash-ref/:
extract-symbols any->string stringify-variable-mapping string->any
handle-org-booleans map-sexp read-org-sexp unorg)
(define-type Variable Symbol)
(define-type (VariableMapping A) (Immutable-HashTable Variable A))