Contracts

svn: r6623
This commit is contained in:
Jay McCarthy 2007-06-13 02:00:47 +00:00
parent 2445c88ed8
commit 7ffec913dd
2 changed files with 9 additions and 8 deletions

View File

@ -303,16 +303,14 @@ needs. They are provided by @file{private/util.ss}.
} }
@subsection{Paths} @subsection{Paths}
@; XXX path-element?
@defproc[(explode-path* [p path?]) @defproc[(explode-path* [p path?])
(listof (or/c symbol? path?))]{ (listof path-element?)]{
Like @scheme[normalize-path], but does not resolve symlinks. Like @scheme[normalize-path], but does not resolve symlinks.
} }
@; XXX path-element? or no list?
@defproc[(path-without-base [base path?] @defproc[(path-without-base [base path?]
[p path?]) [p path?])
list?]{ (listof path-element?)]{
Returns, as a list, the portion of @scheme[p] after @scheme[base], Returns, as a list, the portion of @scheme[p] after @scheme[base],
assuming @scheme[base] is a prefix of @scheme[p]. assuming @scheme[base] is a prefix of @scheme[p].
} }
@ -329,9 +327,8 @@ needs. They are provided by @file{private/util.ss}.
Prepends @scheme[base] to @scheme[p], unless @scheme[p] is absolute. Prepends @scheme[base] to @scheme[p], unless @scheme[p] is absolute.
} }
@; XXX path-element? @defproc[(strip-prefix-ups [p (listof path-element?)])
@defproc[(strip-prefix-ups [p list?]) (listof path-element?)]{
list?]{
Removes all the prefix @scheme[".."]s from @scheme[p]. Removes all the prefix @scheme[".."]s from @scheme[p].
} }

View File

@ -10,10 +10,14 @@
(provide/contract (provide/contract
[pretty-print-invalid-xexpr (exn:invalid-xexpr? any/c . -> . void)] [pretty-print-invalid-xexpr (exn:invalid-xexpr? any/c . -> . void)]
[url-replace-path ((list? . -> . list?) url? . -> . url?)] [url-replace-path ((list? . -> . list?) url? . -> . url?)]
; XXX need path-element?
[explode-path* (path? . -> . (listof (or/c symbol? path?)))] [explode-path* (path? . -> . (listof (or/c symbol? path?)))]
; XXX need path-element?
[path-without-base (path? path? . -> . list?)] [path-without-base (path? path? . -> . list?)]
; XXX need path-element?
[list-prefix? (list? list? . -> . boolean?)] [list-prefix? (list? list? . -> . boolean?)]
[strip-prefix-ups (list? . -> . list?)] ; XXX need path-element? ; XXX need path-element?
[strip-prefix-ups (list? . -> . list?)]
[url-path->string ((listof (or/c string? path/param?)) . -> . string?)] [url-path->string ((listof (or/c string? path/param?)) . -> . string?)]
[network-error ((symbol? string?) (listof any/c) . ->* . (void))] [network-error ((symbol? string?) (listof any/c) . ->* . (void))]
[directory-part (path? . -> . path?)] [directory-part (path? . -> . path?)]