From b9b3e1a9b94661ff2f818f13e23cf7a4a6acb0bd Mon Sep 17 00:00:00 2001 From: Benjamin Greenman Date: Wed, 4 Jan 2017 16:48:36 -0500 Subject: [PATCH] add typed/file/glob (#440) * add typed/file/glob * [typed/file/glob] remove unsafe-provide --- typed-racket-more/typed/file/glob.rkt | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 typed-racket-more/typed/file/glob.rkt diff --git a/typed-racket-more/typed/file/glob.rkt b/typed-racket-more/typed/file/glob.rkt new file mode 100644 index 00000000..6714b55a --- /dev/null +++ b/typed-racket-more/typed/file/glob.rkt @@ -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?)