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

add typed/file/glob (#440)

Browse Source 
* add typed/file/glob

* [typed/file/glob] remove unsafe-provide
This commit is contained in:
Benjamin Greenman 2017-01-04 16:48:36 -05:00 committed by GitHub
parent 2bb0698388
commit b9b3e1a9b9
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
typed-racket-more/typed/file/glob.rkt Normal file
View File

@ -0,0 +1,16 @@
#lang typed/racket/base
(require typed/racket/unsafe)
(define-type Glob (U Path-String (Sequenceof Path-String)))
(unsafe-require/typed file/glob
[glob (->* [Glob] [#:capture-dotfiles? Boolean] (Listof Path-String))]
[in-glob (->* [Glob] [#:capture-dotfiles? Boolean] (Sequenceof Path-String))]
[glob-match? (->* [Glob Path-String] [#:capture-dotfiles? Boolean] Boolean)]
[glob-capture-dotfiles? (Parameterof Boolean)])
(provide glob
in-glob
glob-match?
glob-capture-dotfiles?)