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

Added some Bytes and IO-related stuff to Typed Scheme.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-06-08 12:54:22 -04:00
parent 6b4ca4d7b0
commit 04e618388c
2 changed files with 19 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
collects/typed-scheme/private/base-env.rkt
View File

@ -179,6 +179,7 @@
(-> (Un a (-val #f)) a)))] (-> (Un a (-val #f)) a)))]
[gensym (->opt [Sym] Sym)] [gensym (->opt [Sym] Sym)]
[string-append (->* null -String -String)] [string-append (->* null -String -String)]
[string-copy! (->opt -String -Nat -String -Nat [-Nat -Nat] -Void)]
[open-input-string (-> -String -Input-Port)] [open-input-string (-> -String -Input-Port)]
[open-output-file [open-output-file
(->key -Pathlike (->key -Pathlike
@ -550,8 +551,11 @@
#;[hash-table-index (-poly (a b) ((-HT a b) a b . -> . -Void))] #;[hash-table-index (-poly (a b) ((-HT a b) a b . -> . -Void))]
[bytes (->* (list) -Integer -Bytes)] [bytes (->* (list) -Integer -Bytes)]
[bytes-ref (-> -Bytes -Integer -Integer)] [make-bytes (cl-> [(-Integer -Integer) -Bytes]
[bytes-append (->* (list -Bytes) -Bytes -Bytes)] [(-Integer) -Bytes])]
[bytes-ref (-> -Bytes -Integer -Nat)]
[bytes-set! (-> -Bytes -Integer -Integer -Void)]
[bytes-append (->* (list) -Bytes -Bytes)]
[subbytes (cl-> [(-Bytes -Integer) -Bytes] [(-Bytes -Integer -Integer) -Bytes])] [subbytes (cl-> [(-Bytes -Integer) -Bytes] [(-Bytes -Integer -Integer) -Bytes])]
[bytes-length (-> -Bytes -Nat)] [bytes-length (-> -Bytes -Nat)]
[unsafe-bytes-length (-> -Bytes -Nat)] [unsafe-bytes-length (-> -Bytes -Nat)]
@ -562,7 +566,11 @@
[close-output-port (-> -Output-Port -Void)] [close-output-port (-> -Output-Port -Void)]
[read-line (->opt [-Input-Port Sym] -String)] [read-line (->opt [-Input-Port Sym] -String)]
[copy-file (-> -Pathlike -Pathlike -Void)] [copy-file (-> -Pathlike -Pathlike -Void)]
[file-stream-buffer-mode (cl-> [(-Port) (Un (-val 'none) (-val 'line) (-val 'block) (-val #f))]
[(-Port (Un (-val 'none) (-val 'line) (-val 'block))) -Void])]
[file-position (-> -Port -Nat)]
[bytes->string/utf-8 (-> -Bytes -String)] [bytes->string/utf-8 (-> -Bytes -String)]
[string->bytes/utf-8 (-> -String -Bytes)]
[force (-poly (a) (-> (-Promise a) a))] [force (-poly (a) (-> (-Promise a) a))]
[bytes<? (->* (list -Bytes) -Bytes B)] [bytes<? (->* (list -Bytes) -Bytes B)]
@ -574,6 +582,9 @@
[read-byte [read-byte
(cl->* [-> (Un -Byte (-val eof))] (cl->* [-> (Un -Byte (-val eof))]
[-Input-Port . -> . (Un -Byte (-val eof))])] [-Input-Port . -> . (Un -Byte (-val eof))])]
[read-string (-Nat [-Input-Port] . ->opt . (Un -String (-val eof)))]
[read-string! (-String [-Input-Port -Nat -Nat] . ->opt . (Un -Nat (-val eof)))]
[read-bytes (-Nat [-Input-Port] . ->opt . (Un -Bytes (-val eof)))]
[make-pipe [make-pipe
(cl->* [->opt [N] (-values (list -Input-Port -Output-Port))])] (cl->* [->opt [N] (-values (list -Input-Port -Output-Port))])]
[open-output-bytes [open-output-bytes
@ -713,7 +724,7 @@
[tcp-close (-TCP-Listener . -> . -Void )] [tcp-close (-TCP-Listener . -> . -Void )]
[tcp-connect (-String -Integer . -> . (-values (list -Input-Port -Output-Port)))] [tcp-connect (-String -Integer . -> . (-values (list -Input-Port -Output-Port)))]
[tcp-connect/enable-break (-String -Integer . -> . (-values (list -Input-Port -Output-Port)))] [tcp-connect/enable-break (-String -Integer . -> . (-values (list -Input-Port -Output-Port)))]
[tcp-listen (N . -> . -TCP-Listener)] [tcp-listen (-Nat [-Nat Univ (-opt -String)] . ->opt . -TCP-Listener)]
;; scheme/bool ;; scheme/bool
[boolean=? (B B . -> . B)] [boolean=? (B B . -> . B)]
@ -729,9 +740,12 @@
;; scheme/port ;; scheme/port
[port->lines (cl->* ([-Input-Port] . ->opt . (-lst -String)))] [port->lines (cl->* ([-Input-Port] . ->opt . (-lst -String)))]
[port->bytes (->opt [-Input-Port] -Bytes)]
[with-output-to-string [with-output-to-string
(-> (-> Univ) -String)] (-> (-> Univ) -String)]
[open-output-nowhere (-> -Output-Port)] [open-output-nowhere (-> -Output-Port)]
[input-port? (make-pred-ty -Input-Port)]
[output-port? (make-pred-ty -Output-Port)]
;; scheme/path ;; scheme/path

2
collects/typed-scheme/private/base-types-new.rkt
View File

@ -20,6 +20,8 @@
[Path-String -Pathlike] [Path-String -Pathlike]
[Regexp -Regexp] [Regexp -Regexp]
[PRegexp -PRegexp] [PRegexp -PRegexp]
[Byte-Regexp -Byte-Regexp]
[Byte-PRegexp -Byte-PRegexp]
[Char -Char] [Char -Char]
[Namespace -Namespace] [Namespace -Namespace]
[Input-Port -Input-Port] [Input-Port -Input-Port]