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

utils: Also generalise the contract of unstringify-pairs.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-02-22 19:14:46 +01:00
parent a2b8df2a67
commit eacd2a07a0
1 changed files with 9 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
utils.rkt
View file

@ -15,10 +15,12 @@
[stringify-variable-mapping (-> variable-mapping? string-variable-mapping?)] [stringify-variable-mapping (-> variable-mapping? string-variable-mapping?)]
[string->any (-> string? any/c)] [string->any (-> string? any/c)]
[read-org-table (-> string? (listof any/c))] [read-org-table (-> string? (listof any/c))]
[unstringify-pairs (-> (listof (list/c string? string?)) (listof (list/c symbol? any/c)))]) [unstringify-pairs (-> (listof (general-pair/c string? string?))
(listof (general-pair/c symbol? any/c)))])
;; Contracts ;; Contracts
(contract-out [variable-mapping? contract?] (contract-out [variable-mapping? contract?]
[string-variable-mapping? contract?]) [string-variable-mapping? contract?]
[general-pair/c (-> contract? contract? contract?)])
;; Syntax ;; Syntax
auto-hash-ref/explicit auto-hash-ref/: sgfy) auto-hash-ref/explicit auto-hash-ref/: sgfy)
@ -174,6 +176,11 @@
;;; table. See example.org for examples. ;;; table. See example.org for examples.
(define (read-org-table str) (string->any str)) (define (read-org-table str) (string->any str))
;;; A contract allowing pairs constructed via cons or via list.
(define (general-pair/c key-contract val-contract)
(or/c (list/c key-contract val-contract)
(cons/c key-contract val-contract)))
;;; Given a list of pairs of strings, converts the first element of ;;; Given a list of pairs of strings, converts the first element of
;;; each pair to a string, and reads the second element with ;;; each pair to a string, and reads the second element with
;;; string->any. ;;; string->any.