1 Convertible: Data-Conversion Protocol
(require file/convertible) | package: base |
The file/convertible library provides a protocol to mediate between providers of data in different possible formats and consumers of the formats. For example, a datatype that implements prop:convertible might be convertible to a GIF or PDF stream, in which case it would produce data for 'gif-bytes or 'pdf-bytes requests.
Any symbol can be used for a conversion request, but the following should be considered standard:
'text —
a string for human-readable text 'gif-bytes —
a byte string containing a GIF image encoding 'png-bytes —
a byte string containing a PNG image encoding 'png-bytes+bounds —
a list containing a byte string and four numbers; the byte string contains a PNG document, and the four numbers are sizing information for the image: the width, height, descent (included in the height), and extra vertical top space (included in the height), in that order 'png-bytes+bounds8 —
a list containing a byte string and eight numbers; like 'png-bytes+bounds, but where the image encoded that is in the byte string can be padded in each direction (to allow the drawn region to extend beyond its “bounding box”), where the extra four numbers in the list specify the amount of padding that was added to the image: left, right, top, and bottom 'png@2x-bytes —
like 'png-bytes, but for an image that is intended for drawing at 1/2 scale 'png@2x-bytes+bounds —
like 'png-bytes+bounds, but for an image that is intended for drawing at 1/2 scale, where the numbers in the result list are already scaled (e.g, the byte string encodes an image that is twice as wide as the first number in the resulting list) 'png@2x-bytes+bounds8 —
like 'png-bytes+bounds8, but but for an image that is intended for drawing at 1/2 scale, and where the numbers in the result list are already scaled 'svg-bytes —
a byte string containing a SVG image encoding 'svg-bytes+bounds —
like 'png-bytes+bounds, but for an SVG image 'svg-bytes+bounds8 —
like 'png-bytes+bounds8, but for an SVG image 'ps-bytes —
a byte string containing a PostScript document 'eps-bytes —
a byte string containing an Encapsulated PostScript document 'eps-bytes+bounds —
like 'png-bytes+bounds, but, but for an Encapsulated PostScript document 'eps-bytes+bounds8 —
like 'png-bytes+bounds8, but, but for an Encapsulated PostScript document 'pdf-bytes —
a byte string containing a PDF document 'pdf-bytes+bounds —
like 'png-bytes+bounds, but, but for an PDF document 'pdf-bytes+bounds8 —
like 'png-bytes+bounds8, but, but for an PDF document
value
:
(struct-type-property/c (->i ([v convertible?] [request symbol?] [default default/c]) [result (case request [(text) (or/c string? default/c)] [(gif-bytes png-bytes png@2x-bytes ps-bytes eps-bytes pdf-bytes svg-bytes) (or/c bytes? default/c)] [(png-bytes+bounds png@2x-bytes+bounds eps-bytes+bounds pdf-bytes+bounds) (or/c (list/c bytes? (and/c real? (not/c negative?)) (and/c real? (not/c negative?)) (and/c real? (not/c negative?)) (and/c real? (not/c negative?))) default/c)] [(png-bytes+bounds8 png@2x-bytes+bounds8 eps-bytes+bounds8 pdf-bytes+bounds8) (or/c (list/c bytes? (and/c real? (not/c negative?)) (and/c real? (not/c negative?)) (and/c real? (not/c negative?)) (and/c real? (not/c negative?)) (and/c real? (not/c negative?)) (and/c real? (not/c negative?)) (and/c real? (not/c negative?)) (and/c real? (not/c negative?))) default/c)] [else (or/c opaque-default/c any/c)])]))
The v argument to the procedure is the structure, the request argument is a symbol for the requested conversion, and the default argument is a value to return (typically #f if the conversion is not supported). The procedure’s result depends on the requested conversion, as above.
The default/c contract is one generated by new-∀/c.
procedure
(convertible? v) → boolean?
v : any/c
procedure
(convert v request [default])
→
(case request [(text) (or/c string? default/c)] [(gif-bytes png-bytes png@2x-bytes ps-bytes eps-bytes pdf-bytes svg-bytes) (or/c bytes? default/c)] [(png-bytes+bounds png@2x-bytes+bounds eps-bytes+bounds pdf-bytes+bounds) (or/c (list/c bytes? (and/c real? (not/c negative?)) (and/c real? (not/c negative?)) (and/c real? (not/c negative?)) (and/c real? (not/c negative?))) default/c)] [(png-bytes+bounds8 png@2x-bytes+bounds8 eps-bytes+bounds8 pdf-bytes+bounds8) (or/c (list/c bytes? (and/c real? (not/c negative?)) (and/c real? (not/c negative?)) (and/c real? (not/c negative?)) (and/c real? (not/c negative?)) (and/c real? (not/c negative?)) (and/c real? (not/c negative?)) (and/c real? (not/c negative?)) (and/c real? (not/c negative?))) default/c)] [else (or/c opaque-default/c any/c)]) v : convertible? request : symbol? default : any/c = #f
The default/c contract is one created by new-∀/c and it guarantees that the result of convert is the given default argument (or #f if one is not supplied).