s c h e m e w i k i . o r g

/ Scm.SslUrl

This Web


WebHome 
WebChanges 
WebTopicList 
WebStatistics 

All Webs


Chicken
Cookbook
Erlang
Know
Main
Plugins
Sandbox
Scm
TWiki  

Schematics


Schematics Home
TWiki Shorthand

Offsite Links


Schemers.org
Lambda the Ultimate
twiki.org
; adapted from url.ss in net collection, but linked with ssl-tcp-unit (module ssl-url mzscheme (require (lib "unit.ss") ; for PLT versions earlier than v371, use "unitsig.ss" (lib "contract.ss") (lib "url-structs.ss" "net") (lib "url-sig.ss" "net") (lib "url-unit.ss" "net") (lib "tcp-sig.ss" "net") (lib "ssl-tcp-unit.ss" "net"))

(define-compound-unit url+tcp@ (import) (export URL) (link [((TCP : tcp^)) (make-ssl-tcp@ #f #f #f #f #f #f #f)] [((URL : url^)) url@ TCP]))

(define-values/invoke-unit/infer url+tcp@)

(provide (struct url (scheme user host port path query fragment)) (struct path/param (path param)))

(provide/contract (string->url ((union bytes? string?) . -> . url?)) (url->string (url? . -> . string?))

(get-pure-port (opt-> (url?) ((listof string?)) input-port?)) (get-impure-port (opt-> (url?) ((listof string?)) input-port?)) (post-pure-port (opt-> (url? (union false/c bytes?)) ((listof string?)) input-port?)) (post-impure-port (opt-> (url? bytes?) ((listof string?)) input-port?)) (display-pure-port (input-port? . -> . void?)) (purify-port (input-port? . -> . string?)) (netscape/string->url (string? . -> . url?)) (call/input-url (opt->* (url? (opt-> (url?) ((listof string?)) input-port?) (input-port? . -> . any)) ((listof string?)) any)) (combine-url/relative (url? string? . -> . url?)) (url-exception? (any/c . -> . boolean?)) (current-proxy-servers (case-> ((union false/c (listof (list/c string? string? number?))) . -> . void?) (-> (union false/c (listof (list/c string? string? number?))))))))

 
 
© 2004 by the contributing authors. / You are Main.guest