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

Add type for regexp-replaces

Browse Source 
Please merge to v6.0

original commit: 1f74a6713907d7e1770dc8422164ef1bb01b904f
This commit is contained in:
Asumu Takikawa 2013-12-05 01:47:41 -05:00
parent d138d2df0c
commit 9ff3fa9ff0
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -333,6 +333,13 @@
(->opt (Un -String -Regexp) -String (Un -String (->* (list -String) -String -String)) [-Bytes] -String)
(->opt (Un -Bytes -Byte-Regexp) (Un -Bytes -String) (Un -Bytes -String (->* (list -Bytes) -Bytes -Bytes)) [-Bytes] -Bytes)
(->opt -Pattern -Bytes (Un -Bytes -String (->* (list -Bytes) -Bytes -Bytes)) [-Bytes] -Bytes))]
[regexp-replaces
(-> (Un -String -Bytes)
(-lst (-lst* (Un -String -Bytes -Regexp -Byte-Regexp)
(Un -String -Bytes
(->* (list -String) -String -String)
(->* (list -Bytes) -Bytes -Bytes))))
(Un -String -Bytes))]
[regexp-replace-quote
(cl->*
[-> -String -String]