diff options
| author | Aria Shrimpton <me@aria.rip> | 2024-01-25 13:44:49 +0000 |
|---|---|---|
| committer | Aria Shrimpton <me@aria.rip> | 2024-01-25 13:44:49 +0000 |
| commit | 2944298c10918da40a3b4ccbf850029a317375a0 (patch) | |
| tree | d564dcb7d52b757cc65ac4603ba51dde9125519b /src/racket_specs/combinators.rkt | |
| parent | eac6d0a8dea55bc1f190218b8f1a6a9f10059037 (diff) | |
support constraint checking on mappings
Diffstat (limited to 'src/racket_specs/combinators.rkt')
| -rw-r--r-- | src/racket_specs/combinators.rkt | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/racket_specs/combinators.rkt b/src/racket_specs/combinators.rkt index a74296b..016a44f 100644 --- a/src/racket_specs/combinators.rkt +++ b/src/racket_specs/combinators.rkt @@ -74,5 +74,12 @@ [(< (length l) 2) null] [else (append (list (take l 2)) (consecutive-pairs (drop l 1)))])) +; Mapping helpers + +; (is-map? lst) -> boolean? +(define (is-map? l) + (and (list? l) + (andmap pair? l))) + ; Export procedures -(provide for-all-unique-pairs for-all-consecutive-pairs for-all-elems elem-and not-equal? leq? geq? unique-count?)
\ No newline at end of file +(provide for-all-unique-pairs for-all-consecutive-pairs for-all-elems elem-and not-equal? leq? geq? unique-count? is-map?) |