3 Contracts
| (require scramble/contract) | package: scramble-lib |
Added in version 0.4 of package scramble-lib.
procedure
(vectorof/ic elem/c) → contract?
elem/c : contract?
procedure
key/c : contract? value/c : contract?
value
value
> (define the-vector (vector))
> (define/contract install! (-> (vectorof/ic real?) void?) (lambda (v) (set! the-vector v))) > (define v (vector 1 2 3)) > (install! v) > (vector-set! v 0 'apple) > (vector-set! v 1 'banana) > (eq? the-vector v) #f
> (vector-ref the-vector 0) 1
If the original value is suitable, the contract projection returns it unchanged.
> (define imm-vec '#(1 2 3)) > (install! imm-vec) > (eq? the-vector imm-vec) #t
The value produced by a hash/ic contract uses the same key comparison as the original value.
> (define/contract hash-snapshot (-> (hash/ic any/c any/c) any) (lambda (h) h)) > (hash-snapshot (make-hasheqv '((1 . "one") (2 . two)))) '#hasheqv((1 . "one") (2 . two))
> (hash-snapshot (hash '(1 2 3) 6 '(4 5) 9)) '#hash(((4 5) . 9) ((1 2 3) . 6))
procedure
(convert/ic convert [ #:name name] #:exn->lines exn->lines) → contract? convert : (-> any/c any/c) name : any/c = '(convert/ic ....) exn->lines : (lambda (exn) ....)
The convert procedure should be idempotent; that is, (convert (convert value)) should be equal to (convert value).
The exn->lines function must produce a string suitable for adding to the end of a well-formed error message, such as "" or "\n error: went wrong". The default exn->lines produces "\n error: " followed by the first line of the exception’s message, plus "..." if the message was truncated.
> (define (to-string v) (cond [(string? v) v] [(bytes? v) (bytes->string/utf-8 v)] [(symbol? v) (symbol->string v)] [else (error 'to-string "cannot convert to string\n given: ~e" v)]))
> (define stringable/ic (convert/ic to-string #:name 'stringable/ic))
> (define/contract concat (-> (listof stringable/ic) string?) (lambda (strs) (apply string-append strs))) > (concat (list "a" #"b" 'c)) "abc"
> (concat (list "a" #"b" 5)) concat: contract violation
expected: stringable/ic
given: 5
error: to-string: cannot convert to string...
in: an element of
the 1st argument of
(-> (listof stringable/ic) string?)
contract from: (definition concat)
blaming: top-level
(assuming the contract is correct)
at: eval:18:0