New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

infer types #1

Open
wants to merge 1 commit into
from
Jump to file or symbol
Failed to load files and symbols.
+152 −7
Diff settings

Always

Just for now

View
@@ -13,6 +13,149 @@
[clojure.spec.test :as stest])
(:import [java.io File FilenameFilter]))
;; Start: Generated by clojure.core.typed - DO NOT EDIT
(declare
AsFileAsUrlMap
DocImplsMethodBuildersMap
LPnodesPpathMap
alias__17025
alias__17433)
(t/defalias AsFileAsUrlMap '{:as-file t/Any, :as-url t/Any})
(t/defalias
DocImplsMethodBuildersMap
'{:doc t/Str,
:impls (t/Map (t/U nil Class) AsFileAsUrlMap),
:method-builders (t/Map clojure.lang.Var AnyFunction),
:method-map AsFileAsUrlMap,
:on t/Sym,
:on-interface Class,
:sigs AsFileAsUrlMap,
:var clojure.lang.Var})
(t/defalias
LPnodesPpathMap
'{:l (t/Vec File),
:pnodes (t/Vec File),
:ppath (t/U nil alias__17433 alias__17025),
:r (t/U nil (t/Coll File))})
(t/defalias alias__17025 (t/U nil LPnodesPpathMap))
(t/defalias alias__17433 (t/U nil LPnodesPpathMap))
(t/ann clojure.java.io/Coercions DocImplsMethodBuildersMap)
(t/ann clojure.java.io/copy [File File :-> nil])
(t/ann
clojure.java.io/file
(t/IFn
[(t/U t/Str File) (t/U t/Str File) :-> File]
[File t/Str t/Str :-> File]
[(t/U t/Str File sun.nio.fs.UnixPath) :-> File]))
(t/ann clojure.zip/end? ['[File t/Any] :-> Boolean])
(t/ann clojure.zip/next ['[File alias__17433] :-> '[File t/Any]])
(t/ann clojure.zip/node ['[File alias__17025] :-> File])
(t/ann
clojure.zip/zipper
[[File :-> Boolean] [File :-> (Array File)] nil File :-> '[File nil]])
(t/ann *cwd* File)
(t/ann absolute [t/Str :-> File])
(t/ann absolute? [t/Str :-> Boolean])
(t/ann as-path [(t/U t/Str File) :-> sun.nio.fs.UnixPath])
(t/ann assert-exists [(t/U t/Str File) :-> nil])
(t/ann
base-name
(t/IFn
[(t/U t/Str File) :-> t/Str]
[t/Str (t/U t/Str Boolean) :-> t/Str]))
(t/ann char-to-int [Character :-> t/Int])
(t/ann chdir [t/Str :-> File])
(t/ann child-of? [t/Str t/Str :-> (t/U nil File)])
(t/ann chmod [t/Str (t/U t/Str File) :-> (t/U t/Str File)])
(t/ann chmod-octal [t/Str (t/U t/Str File) :-> (t/U t/Str File)])
(t/ann chmod-octal-digit [File t/Int Boolean :-> Boolean])
(t/ann copy [File File :-> File])
(t/ann copy+ [File File :-> File])
(t/ann copy-dir [File File :-> File])
(t/ann copy-dir-into [File File :-> nil])
(t/ann create [File :-> Boolean])
(t/ann delete [(t/U t/Str File) :-> Boolean])
(t/ann
delete-dir
(t/IFn [(t/U t/Str File) :-> Boolean] [File LinkOption :-> Boolean]))
(t/ann
directory?
(t/IFn [File LinkOption :-> false] [(t/U t/Str File) :-> Boolean]))
(t/ann exec AnyFunction)
(t/ann executable? [(t/U t/Str File) :-> Boolean])
(t/ann exists? [(t/U t/Str File) :-> Boolean])
(t/ann expand-home [t/Str :-> File])
(t/ann extension [t/Str :-> (t/U nil t/Str)])
(t/ann f-children [File :-> (Array File)])
(t/ann f-dir? [File :-> Boolean])
(t/ann
file
(t/IFn
[(t/U t/Str File) t/Str :-> File]
[(t/U t/Str File sun.nio.fs.UnixPath) :-> File]
[File t/Str t/Str :-> File]))
(t/ann file? [(t/U t/Str File) :-> Boolean])
(t/ann
find-files
[t/Str java.util.regex.Pattern :-> (t/Coll t/Nothing)])
(t/ann find-files* [t/Str [File :-> nil] :-> (t/Coll t/Nothing)])
(t/ann glob AnyFunction)
(t/ann glob->regex AnyFunction)
(t/ann hidden? [File :-> Boolean])
(t/ann home (t/IFn [t/Str :-> File] [:-> File]))
(t/ann
iterate-dir
[File :-> (t/Coll '[File (t/Set t/Str) (t/Set t/Str)])])
(t/ann iterate-dir* [File :-> (t/Coll File)])
(t/ann iterzip ['[File t/Any] :-> (t/U nil (t/Coll File))])
(t/ann link [File File :-> File])
(t/ann link? [File :-> Boolean])
(t/ann list-dir [(t/U t/Str File) :-> (t/Coll File)])
(t/ann mkdir [File :-> Boolean])
(t/ann mkdirs [File :-> Boolean])
(t/ann mod-time [File :-> t/Int])
(t/ann
move
(t/IFn
[File
File
java.nio.file.StandardCopyOption
:->
sun.nio.fs.UnixPath]
[File File :-> sun.nio.fs.UnixPath]))
(t/ann name [t/Str :-> t/Str])
(t/ann normalized [t/Str :-> File])
(t/ann ns-path [t/Sym :-> File])
(t/ann parent [File :-> (t/U nil File)])
(t/ann parents [(t/U t/Str File) :-> (t/U nil (t/Coll File))])
(t/ann path-ns [t/Str :-> t/Sym])
(t/ann read-sym-link [File :-> File])
(t/ann readable? [(t/U t/Str File) :-> Boolean])
(t/ann rename [(t/U t/Str File) t/Str :-> Boolean])
(t/ann size [File :-> t/Int])
(t/ann split [(t/U t/Str File) :-> (t/Coll t/Str)])
(t/ann split-ext [t/Str :-> '[t/Str (t/U nil t/Str)]])
(t/ann sym-link [File (t/U t/Str File) :-> File])
(t/ann temp-create [t/Str t/Str t/Int [File :-> Boolean] :-> File])
(t/ann temp-dir (t/IFn [t/Str t/Str t/Int :-> File] [t/Str :-> File]))
(t/ann temp-file (t/IFn [t/Str :-> File] [t/Str t/Str t/Int :-> File]))
(t/ann temp-name [t/Str t/Str :-> t/Str])
(t/ann tmpdir [:-> t/Str])
(t/ann touch (t/IFn [File t/Int :-> File] [File :-> File]))
(t/ann unix-root t/Str)
(t/ann
walk
[[File
(t/Set t/Str)
(t/Set t/Str)
:->
(t/U nil '[File (t/Set t/Str) (t/Set t/Str)])]
File
:->
(t/Coll (t/U nil '[File (t/Set t/Str) (t/Set t/Str)]))])
(t/ann walk-map-fn [File :-> '[File (t/Set t/Str) (t/Set t/Str)]])
(t/ann writeable? [(t/U t/Str File) :-> Boolean])
;; End: Generated by clojure.core.typed - DO NOT EDIT
;; Once you've started a JVM, that JVM's working directory is set in stone
;; and cannot be changed. This library will provide a way to simulate a
;; working directory change. `cwd` is considered to be the current working
@@ -510,12 +653,14 @@
dest #(file to (subs (str %) trim-size))]
(mkdirs to)
(dorun
(walk (fn [root dirs files]
(doseq [dir dirs]
(when-not (directory? dir)
(-> root (file dir) dest mkdirs)))
(doseq [f files]
(copy+ (file root f) (dest (file root f)))))
(walk (t/ann-form
(fn [root dirs files]
(doseq [dir dirs]
(when-not (directory? dir)
(-> root (file dir) dest mkdirs)))
(doseq [f files]
(copy+ (file root f) (dest (file root f)))))
[File (t/Set t/Str) (t/Set t/Str) :-> nil])
from))
to))))
@@ -591,4 +736,4 @@
"set!s the value of `*cwd*` to `path`. Only works inside of
[[with-mutable-cwd]]"
[path]
(set! *cwd* (file path)))
(set! *cwd* (file path)))