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

Spec gen #11

Open
wants to merge 1 commit into
base: spec-gen-prep
from
Jump to file or symbol
Failed to load files and symbols.
+366 −1
Diff settings

Always

Just for now

@@ -32,6 +32,371 @@
java.io.File)
:cljs (:import [goog.string StringBuffer])))
;; Start: Generated by clojure.core.typed - DO NOT EDIT
(defmulti op-multi-spec4772367 :op)
(defmethod
op-multi-spec4772367
:map
[_]
(s/keys
:req-un
[:clojure.core.typed.unqualified-keys/children
:clojure.core.typed.unqualified-keys/env
:clojure.core.typed.unqualified-keys/form
:clojure.core.typed.unqualified-keys/keys
:clojure.core.typed.unqualified-keys/op
:clojure.core.typed.unqualified-keys/tag
:clojure.core.typed.unqualified-keys/vals]))
(defmethod
op-multi-spec4772367
:vector
[_]
(s/keys
:req-un
[:clojure.core.typed.unqualified-keys/children
:clojure.core.typed.unqualified-keys/env
:clojure.core.typed.unqualified-keys/form
:clojure.core.typed.unqualified-keys/items
:clojure.core.typed.unqualified-keys/op
:clojure.core.typed.unqualified-keys/tag]))
(defmethod
op-multi-spec4772367
:var
[_]
(s/keys
:req-un
[:clojure.core.typed.unqualified-keys/env
:clojure.core.typed.unqualified-keys/info
:clojure.core.typed.unqualified-keys/op]
:opt-un
[:clojure.core.typed.unqualified-keys/binding-form?
:clojure.core.typed.unqualified-keys/column
:clojure.core.typed.unqualified-keys/form
:clojure.core.typed.unqualified-keys/init
:clojure.core.typed.unqualified-keys/line
:clojure.core.typed.unqualified-keys/local
:clojure.core.typed.unqualified-keys/name
:clojure.core.typed.unqualified-keys/shadow
:clojure.core.typed.unqualified-keys/tag]))
(defmethod
op-multi-spec4772367
:dot
[_]
(s/keys
:req-un
[:clojure.core.typed.unqualified-keys/children
:clojure.core.typed.unqualified-keys/env
:clojure.core.typed.unqualified-keys/field
:clojure.core.typed.unqualified-keys/form
:clojure.core.typed.unqualified-keys/op
:clojure.core.typed.unqualified-keys/tag
:clojure.core.typed.unqualified-keys/target]))
(defmethod
op-multi-spec4772367
:constant
[_]
(s/keys
:req-un
[:clojure.core.typed.unqualified-keys/env
:clojure.core.typed.unqualified-keys/form
:clojure.core.typed.unqualified-keys/op
:clojure.core.typed.unqualified-keys/tag]))
(defmethod
op-multi-spec4772367
:invoke
[_]
(s/keys
:req-un
[:clojure.core.typed.unqualified-keys/args
:clojure.core.typed.unqualified-keys/children
:clojure.core.typed.unqualified-keys/env
:clojure.core.typed.unqualified-keys/f
:clojure.core.typed.unqualified-keys/form
:clojure.core.typed.unqualified-keys/op
:clojure.core.typed.unqualified-keys/tag]))
(defmethod
op-multi-spec4772367
:if
[_]
(s/keys
:req-un
[:clojure.core.typed.unqualified-keys/children
:clojure.core.typed.unqualified-keys/else
:clojure.core.typed.unqualified-keys/env
:clojure.core.typed.unqualified-keys/form
:clojure.core.typed.unqualified-keys/op
:clojure.core.typed.unqualified-keys/tag
:clojure.core.typed.unqualified-keys/test
:clojure.core.typed.unqualified-keys/then
:clojure.core.typed.unqualified-keys/unchecked]))
(defmethod
op-multi-spec4772367
:do
[_]
(s/keys
:req-un
[:clojure.core.typed.unqualified-keys/children
:clojure.core.typed.unqualified-keys/env
:clojure.core.typed.unqualified-keys/form
:clojure.core.typed.unqualified-keys/op
:clojure.core.typed.unqualified-keys/ret
:clojure.core.typed.unqualified-keys/statements
:clojure.core.typed.unqualified-keys/tag]))
(defmethod
op-multi-spec4772367
:js
[_]
(s/keys
:req-un
[:clojure.core.typed.unqualified-keys/args
:clojure.core.typed.unqualified-keys/children
:clojure.core.typed.unqualified-keys/env
:clojure.core.typed.unqualified-keys/form
:clojure.core.typed.unqualified-keys/js-op
:clojure.core.typed.unqualified-keys/numeric
:clojure.core.typed.unqualified-keys/op
:clojure.core.typed.unqualified-keys/segs
:clojure.core.typed.unqualified-keys/tag]))
(defmethod
op-multi-spec4772367
:let
[_]
(s/keys
:req-un
[:clojure.core.typed.unqualified-keys/bindings
:clojure.core.typed.unqualified-keys/children
:clojure.core.typed.unqualified-keys/env
:clojure.core.typed.unqualified-keys/expr
:clojure.core.typed.unqualified-keys/form
:clojure.core.typed.unqualified-keys/op
:clojure.core.typed.unqualified-keys/tag]))
(s/def :clojure.core.typed.unqualified-keys/statements any?)
(s/def :clojure.core.typed.unqualified-keys/test any?)
(s/def :clojure.core.typed.unqualified-keys/numeric any?)
(s/def :clojure.core.typed.unqualified-keys/then any?)
(s/def :clojure.core.typed.unqualified-keys/init any?)
(s/def :clojure.core.typed.unqualified-keys/ret any?)
(s/def :clojure.core.typed.unqualified-keys/f any?)
(s/def :clojure.core.typed.unqualified-keys/segs any?)
(s/def :clojure.core.typed.unqualified-keys/name any?)
(s/def :clojure.core.typed.unqualified-keys/binding-form? any?)
(s/def :clojure.core.typed.unqualified-keys/env any?)
(s/def :clojure.core.typed.unqualified-keys/keys any?)
(s/def :clojure.core.typed.unqualified-keys/children any?)
(s/def :clojure.core.typed.unqualified-keys/column any?)
(s/def :clojure.core.typed.unqualified-keys/op any?)
(s/def :clojure.core.typed.unqualified-keys/line any?)
(s/def :clojure.core.typed.unqualified-keys/bindings any?)
(s/def :clojure.core.typed.unqualified-keys/info any?)
(s/def :clojure.core.typed.unqualified-keys/expr any?)
(s/def :clojure.core.typed.unqualified-keys/else any?)
(s/def :clojure.core.typed.unqualified-keys/js-op any?)
(s/def :clojure.core.typed.unqualified-keys/field any?)
(s/def :clojure.core.typed.unqualified-keys/target any?)
(s/def :clojure.core.typed.unqualified-keys/form any?)
(s/def :clojure.core.typed.unqualified-keys/unchecked any?)
(s/def :clojure.core.typed.unqualified-keys/local any?)
(s/def :clojure.core.typed.unqualified-keys/vals any?)
(s/def :clojure.core.typed.unqualified-keys/shadow any?)
(s/def :clojure.core.typed.unqualified-keys/args any?)
(s/def :clojure.core.typed.unqualified-keys/items any?)
(s/def :clojure.core.typed.unqualified-keys/tag any?)
(s/def ::op (s/multi-spec op-multi-spec4772367 :op))
(s/fdef
comma-sep
:args
(s/cat :xs (s/coll-of ::op))
:ret
(s/coll-of any?))
(s/fdef distinct-keys? :args (s/cat :keys (s/tuple ::op)) :ret boolean?)
(s/fdef emit :args (s/cat :ast ::op) :ret nil?)
(s/fdef emit-let :args (s/cat :arg-0 ::op :is-loop false?) :ret nil?)
(s/fdef
emitln
:args
(s/alt
:1-arg
(s/cat :xs-0 string?)
:3-args
(s/cat :xs-0 string? :xs-1 ::op :xs-2 string?))
:ret
nil?)
(s/fdef
emits
:args
(s/alt
:1-arg
(s/cat :xs-0 any?)
:3-args
(s/cat :xs-0 any? :xs-1 any? :xs-2 any?)
:4-args
(s/cat
:xs-0
::op
:xs-1
string?
:xs-2
(s/coll-of any?)
:xs-3
string?)
:5-args
(s/cat
:xs-0
string?
:xs-1
int?
:xs-2
string?
:xs-3
(s/coll-of any?)
:xs-4
string?)
:6-args
(s/cat
:xs-0
string?
:xs-1
::op
:xs-2
string?
:xs-3
::op
:xs-4
string?
:xs-5
nil?)
:9-args
(s/cat
:xs-0
string?
:xs-1
nil?
:xs-2
string?
:xs-3
::op
:xs-4
string?
:xs-5
::op
:xs-6
string?
:xs-7
::op
:xs-8
string?))
:ret
nil?)
(s/fdef emits-keyword :args (s/cat :kw #{:a}) :ret nil?)
(s/fdef escape-char :args (s/cat :c char?) :ret char?)
(s/fdef escape-string :args (s/cat :s string?) :ret string?)
(s/fdef falsey-constant? :args (s/cat :arg-0 ::op) :ret false?)
(s/fdef find-ns-starts-with :args (s/cat :needle string?) :ret nil?)
(s/fdef get-first-ns-segment :args (s/cat :ns symbol?) :ret string?)
(s/fdef hash-scope :args (s/cat :s any?) :ret int?)
(s/def :clojure.core.typed.unqualified-keys/meta any?)
(s/def :clojure.core.typed.unqualified-keys/end-line any?)
(s/def :clojure.core.typed.unqualified-keys/arglists any?)
(s/def :clojure.core.typed.unqualified-keys/max-fixed-arity any?)
(s/def :clojure.core.typed.unqualified-keys/doc any?)
(s/def :clojure.core.typed.unqualified-keys/file any?)
(s/def :clojure.core.typed.unqualified-keys/end-column any?)
(s/def :clojure.core.typed.unqualified-keys/protocol-inline any?)
(s/def :clojure.core.typed.unqualified-keys/protocol-impl any?)
(s/def :clojure.core.typed.unqualified-keys/ns any?)
(s/def :clojure.core.typed.unqualified-keys/fn-var any?)
(s/def :clojure.core.typed.unqualified-keys/variadic any?)
(s/def :clojure.core.typed.unqualified-keys/top-fn any?)
(s/def :clojure.core.typed.unqualified-keys/arglists-meta any?)
(s/def :clojure.core.typed.unqualified-keys/method-params any?)
(s/def
::NameNsArglistsMap
(s/keys
:req-un
[:clojure.core.typed.unqualified-keys/name
:clojure.core.typed.unqualified-keys/ns]
:opt-un
[:clojure.core.typed.unqualified-keys/arglists
:clojure.core.typed.unqualified-keys/arglists-meta
:clojure.core.typed.unqualified-keys/column
:clojure.core.typed.unqualified-keys/doc
:clojure.core.typed.unqualified-keys/end-column
:clojure.core.typed.unqualified-keys/end-line
:clojure.core.typed.unqualified-keys/file
:clojure.core.typed.unqualified-keys/fn-var
:clojure.core.typed.unqualified-keys/info
:clojure.core.typed.unqualified-keys/line
:clojure.core.typed.unqualified-keys/max-fixed-arity
:clojure.core.typed.unqualified-keys/meta
:clojure.core.typed.unqualified-keys/method-params
:clojure.core.typed.unqualified-keys/protocol-impl
:clojure.core.typed.unqualified-keys/protocol-inline
:clojure.core.typed.unqualified-keys/top-fn
:clojure.core.typed.unqualified-keys/variadic]))
(s/def
::ColumnLineNameMap
(s/keys
:req-un
[:clojure.core.typed.unqualified-keys/column
:clojure.core.typed.unqualified-keys/line
:clojure.core.typed.unqualified-keys/name]
:opt-un
[:clojure.core.typed.unqualified-keys/arglists
:clojure.core.typed.unqualified-keys/arglists-meta
:clojure.core.typed.unqualified-keys/binding-form?
:clojure.core.typed.unqualified-keys/doc
:clojure.core.typed.unqualified-keys/end-column
:clojure.core.typed.unqualified-keys/end-line
:clojure.core.typed.unqualified-keys/env
:clojure.core.typed.unqualified-keys/file
:clojure.core.typed.unqualified-keys/fn-var
:clojure.core.typed.unqualified-keys/info
:clojure.core.typed.unqualified-keys/init
:clojure.core.typed.unqualified-keys/local
:clojure.core.typed.unqualified-keys/max-fixed-arity
:clojure.core.typed.unqualified-keys/meta
:clojure.core.typed.unqualified-keys/method-params
:clojure.core.typed.unqualified-keys/ns
:clojure.core.typed.unqualified-keys/op
:clojure.core.typed.unqualified-keys/protocol-impl
:clojure.core.typed.unqualified-keys/protocol-inline
:clojure.core.typed.unqualified-keys/shadow
:clojure.core.typed.unqualified-keys/tag
:clojure.core.typed.unqualified-keys/top-fn
:clojure.core.typed.unqualified-keys/variadic]))
(s/fdef
munge
:args
(s/alt
:1-arg
(s/cat
:s
(s/or
:ColumnLineNameMap
::ColumnLineNameMap
:NameNsArglistsMap
::NameNsArglistsMap))
:2-args
(s/cat :s (s/or :string? string? :symbol? symbol?) :reserved set?))
:ret
(s/or :string? string? :symbol? symbol?))
(s/fdef munge-reserved :args (s/cat :reserved set?) :ret ifn?)
(s/fdef safe-test? :args (s/cat :env any? :e ::op) :ret symbol?)
(s/fdef
shadow-depth
:args
(s/cat
:s
(s/or
:ColumnLineNameMap
::ColumnLineNameMap
:NameNsArglistsMap
::NameNsArglistsMap))
:ret
int?)
(s/fdef truthy-constant? :args (s/cat :arg-0 ::op) :ret false?)
(s/fdef wrap-in-double-quotes :args (s/cat :x string?) :ret string?)
;; End: Generated by clojure.core.typed - DO NOT EDIT
#?(:clj (set! *warn-on-reflection* true))
(def js-reserved ana/js-reserved)
@@ -1634,4 +1999,4 @@
(io/make-parents dest)
(with-open [out ^java.io.Writer (io/make-writer dest {})]
(binding [*out* out]
(emit-externs externs)))))
(emit-externs externs)))))
ProTip! Use n and p to navigate between commits in a pull request.