suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

added contracts

Browse Source 
svn: r4340
This commit is contained in:
Robby Findler 2006-09-14 21:47:32 +00:00
parent 4c41e5515d
commit b71e372c49
1 changed files with 19 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
collects/texpict/utils.ss
View File

@ -41,10 +41,6 @@
desktop-machine desktop-machine
standard-fish standard-fish
pin-line
pin-arrow-line
pin-arrows-line
add-line add-line
add-arrow-line add-arrow-line
add-arrows-line add-arrows-line
@ -64,6 +60,25 @@
clip clip
hyperlinkize) hyperlinkize)
(provide/contract
[pin-line (opt-> (pict?
pict? (-> pict? pict? (values number? number?))
pict? (-> pict? pict? (values number? number?)))
(number? string? boolean?)
pict?)]
[pin-arrow-line (opt-> (number? pict?
pict? (-> pict? pict? (values number? number?))
pict? (-> pict? pict? (values number? number?)))
(number? string? boolean? boolean?)
pict?)]
[pin-arrows-line (opt-> (number? pict?
pict? (-> pict? pict? (values number? number?))
pict? (-> pict? pict? (values number? number?)))
(number? string? boolean? boolean?)
pict?)])
(define (re-pict box naya) (define (re-pict box naya)
(let ([w (pict-width box)] (let ([w (pict-width box)]