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

type infer #2

Open
wants to merge 1 commit into
base: type-infer-base
from
Jump to file or symbol
Failed to load files and symbols.
+272 −1
Diff settings

Always

Just for now

View
@@ -13,6 +13,277 @@
(java.io StringWriter StringReader BufferedReader BufferedWriter
ByteArrayOutputStream OutputStream Reader Writer)))
;; Automatically added requires by core.typed
(require '[clojure.core.typed :as t])
;; Start: Generated by clojure.core.typed - DO NOT EDIT
(declare
AfterArrayValuesBeforeArrayValuesDateFormatMap
BazMap
Foo bazMap
FooBarQuuxMap
MootMap
UluMap
alias__10142
alias__10248
alias__10250
alias__9764
alias__9766
alias__9865
alias__9870
alias__9882)
(t/defalias
AfterArrayValuesBeforeArrayValuesDateFormatMap
(t/HMap
:optional
{:after-array-values t/Str,
:before-array-values t/Str,
:date-format t/Str,
:escape-non-ascii Boolean,
:indent-arrays? false,
:indent-objects? false,
:indentation t/Int,
:key-fn [':foo :-> t/Str],
:object-field-value-separator t/Str,
:pretty (t/U alias__9882 alias__10142)}))
(t/defalias BazMap '{:baz (t/U '[UluMap MootMap t/Int] t/Int)})
(t/defalias Foo bazMap '{:foo baz t/Str})
(t/defalias
FooBarQuuxMap
(t/HMap
:mandatory
{:foo (t/U t/Str java.util.Date t/Int java.sql.Timestamp ':bar)}
:optional
{:quux ':blub, :bar (t/U t/Int alias__9865)}))
(t/defalias MootMap '{:moot t/Str})
(t/defalias UluMap '{:ulu t/Str})
(t/defalias
alias__10142
(t/U
nil
AfterArrayValuesBeforeArrayValuesDateFormatMap
Boolean
(t/Map t/Nothing t/Nothing)
(t/Vec t/Nothing)))
(t/defalias alias__10248 (t/U (t/Set t/Nothing) (t/Vec t/Nothing)))
(t/defalias alias__10250 (t/U (t/Set t/Nothing) (t/Vec t/Nothing)))
(t/defalias alias__9764 (t/U (t/Set t/Nothing) (t/Vec t/Nothing)))
(t/defalias alias__9766 (t/U (t/Set t/Nothing) (t/Vec t/Nothing)))
(t/defalias
alias__9865
(t/U '[alias__9865 ':quux '[t/Int t/Int t/Int]] BazMap))
(t/defalias alias__9870 (t/U FooBarQuuxMap '[alias__9870 alias__9870]))
(t/defalias
alias__9882
(t/U
nil
AfterArrayValuesBeforeArrayValuesDateFormatMap
Boolean
(t/Map t/Nothing t/Nothing)
(t/Vec t/Nothing)))
(t/ann
create-generator
[StringWriter
:->
com.fasterxml.jackson.core.json.WriterBasedJsonGenerator])
(t/ann
create-pretty-printer
[AfterArrayValuesBeforeArrayValuesDateFormatMap
:->
CustomPrettyPrinter])
(t/ann
decode
(t/IFn
[t/Str
false
[t/Str :-> (t/U (t/Set t/Nothing) (t/Vec t/Nothing))]
:->
(t/Map
t/Any
(t/U '[t/Str t/Str] (t/Map t/Any t/Int) (t/Set t/Str)))]
[t/Str :-> t/Any]
[(t/U nil t/Str)
(t/U nil [t/Str :-> ':FOO] [t/Any :-> ':FOO] Boolean)
:->
t/Any]))
(t/ann decode-smile AnyFunction)
(t/ann decode-stream AnyFunction)
(t/ann decode-strict [t/Str :-> (t/Map t/Any t/Int)])
(t/ann
encode
(t/IFn
[alias__9870
AfterArrayValuesBeforeArrayValuesDateFormatMap
:->
t/Str]
[(t/U
java.util.ArrayList
cheshire.test.core.CTestR
java.net.URL
(t/Coll t/Any)
cheshire.test.core.TestR
t/Num
java.util.HashMap
(t/Map t/Any t/Any))
:->
t/Str]))
(t/ann encode-smile AnyFunction)
(t/ann encode-stream AnyFunction)
(t/ann eof Object)
(t/ann generate-cbor AnyFunction)
(t/ann
generate-smile
(t/IFn
[(t/Map t/Any t/Any) nil :-> (Array byte)]
[(t/Map t/Any t/Any) :-> (Array byte)]))
(t/ann
generate-stream
(t/IFn
[(t/Map t/Any t/Str) BufferedWriter nil :-> BufferedWriter]
[(t/Map t/Any t/Str) BufferedWriter :-> BufferedWriter]))
(t/ann
generate-string
(t/IFn
[(t/U
java.util.ArrayList
cheshire.test.core.CTestR
java.net.URL
(t/Coll t/Any)
cheshire.test.core.TestR
t/Num
java.util.HashMap
(t/Map t/Any t/Any))
(t/U nil AfterArrayValuesBeforeArrayValuesDateFormatMap)
:->
t/Str]
[(t/U
java.util.ArrayList
cheshire.test.core.CTestR
java.net.URL
(t/Coll t/Any)
cheshire.test.core.TestR
t/Num
java.util.HashMap
(t/Map t/Any t/Any))
:->
t/Str]))
(t/ann parse-cbor AnyFunction)
(t/ann
parse-smile
(t/IFn
[(Array byte) nil nil :-> (t/Map t/Any t/Any)]
[(Array byte) :-> (t/Map t/Any t/Any)]))
(t/ann
parse-stream
(t/IFn
[StringReader Boolean :-> Foo bazMap]
[(t/U BufferedReader StringReader)
(t/U nil Boolean)
nil
:->
(t/Map t/Any t/Str)]
[BufferedReader :-> (t/Map t/Any t/Str)]))
(t/ann
parse-string
(t/IFn
[(t/U nil t/Str)
(t/U nil [t/Str :-> ':FOO] [t/Any :-> ':FOO] Boolean)
(t/U
nil
[t/Str :-> alias__10248]
[t/Str :-> (t/U alias__10250 alias__10248)])
:->
t/Any]
[t/Str :-> t/Any]
[(t/U nil t/Str)
(t/U nil [t/Str :-> ':FOO] [t/Any :-> ':FOO] Boolean)
:->
t/Any]))
(t/ann
parse-string-strict
(t/IFn
[t/Str nil nil :-> (t/Map t/Any t/Int)]
[t/Str :-> (t/Map t/Any t/Int)]))
(t/ann
parsed-seq
(t/IFn
[BufferedReader
nil
nil
:->
(t/Coll (t/U t/Int (t/Map t/Any (t/U t/Str t/Int))))]
[BufferedReader
:->
(t/Coll (t/U t/Int (t/Map t/Any (t/U t/Str t/Int))))]))
(t/ann
parsed-seq*
[com.fasterxml.jackson.core.json.ReaderBasedJsonParser
nil
nil
:->
(t/Coll (t/U t/Int (t/Map t/Any (t/U t/Str t/Int))))])
(t/ann parsed-smile-seq AnyFunction)
(t/ann
write
(t/IFn
[(t/U t/Str t/Int '[t/Str]) :-> nil]
[t/Any (t/U nil ':end ':all ':start-inner ':bare ':start) :-> nil]))
(t/ann cheshire.factory/*json-factory* (t/U nil JsonFactory))
(t/ann cheshire.factory/*smile-factory* nil)
(t/ann cheshire.factory/default-date-format t/Str)
(t/ann cheshire.factory/json-factory JsonFactory)
(t/ann cheshire.factory/smile-factory SmileFactory)
(t/ann
cheshire.generate/generate
[(t/U
com.fasterxml.jackson.core.json.WriterBasedJsonGenerator
com.fasterxml.jackson.dataformat.smile.SmileGenerator)
(t/U
java.util.ArrayList
cheshire.test.core.CTestR
java.net.URL
(t/Coll t/Any)
cheshire.test.core.TestR
t/Num
java.util.HashMap
(t/Map t/Any t/Any))
t/Str
nil
(t/U nil [':foo :-> t/Str])
:->
nil])
(t/ann
cheshire.generate-seq/generate
[com.fasterxml.jackson.core.json.WriterBasedJsonGenerator
t/Any
t/Str
nil
nil
':wholeness
(t/U nil ':end ':all ':start-inner ':bare ':start)
:->
nil])
(t/ann
cheshire.parse/parse
[(t/U
com.fasterxml.jackson.dataformat.smile.SmileParser
com.fasterxml.jackson.core.json.ReaderBasedJsonParser)
(t/U nil [t/Str :-> ':FOO] [t/Any :-> ':FOO] Boolean)
nil
(t/U
nil
[t/Str :-> (t/U alias__9764 alias__9766)]
[t/Any :-> alias__9766])
:->
t/Any])
(t/ann
cheshire.parse/parse-strict
[com.fasterxml.jackson.core.json.ReaderBasedJsonParser
nil
(t/U nil Object)
nil
:->
(t/U Object t/Int (t/Map t/Any (t/U t/Str t/Int)))])
;; End: Generated by clojure.core.typed - DO NOT EDIT
(defonce default-pretty-print-options
{:indentation " "
:line-break "\n"
@@ -347,4 +618,4 @@
(def decode-stream "Alias to parse-stream for clojure-json users" parse-stream)
(copy-arglists decode-stream parse-stream)
(def decode-smile "Alias to parse-smile for clojure-json users" parse-smile)
(copy-arglists decode-smile parse-smile)
(copy-arglists decode-smile parse-smile)
ProTip! Use n and p to navigate between commits in a pull request.