skeptic.analysis.annotate.coll — org.clojars.nomicflux/skeptic 0.8.0

coll-butlast-output-type clj

(coll-butlast-output-type type)

Inputs: [type :- ats/SemanticType] Returns: (s/maybe ats/SemanticType)

coll-drop-last-output-type clj

(coll-drop-last-output-type type n)

Inputs: [type :- ats/SemanticType n :- s/Int] Returns: (s/maybe ats/SemanticType)

coll-drop-prefix-type clj

(coll-drop-prefix-type type n)

Inputs: [type :- ats/SemanticType n :- s/Int] Returns: (s/maybe ats/SemanticType)

coll-first-type clj

(coll-first-type type)

Inputs: [type :- ats/SemanticType] Returns: (s/maybe ats/SemanticType)

coll-last-type clj

(coll-last-type type)

Inputs: [type :- ats/SemanticType] Returns: (s/maybe ats/SemanticType)

coll-rest-output-type clj

(coll-rest-output-type type)

Inputs: [type :- ats/SemanticType] Returns: (s/maybe ats/SemanticType)

coll-same-element-seq-type clj

(coll-same-element-seq-type type)

Inputs: [type :- ats/SemanticType] Returns: (s/maybe ats/SemanticType)

coll-second-type clj

(coll-second-type type)

Inputs: [type :- ats/SemanticType] Returns: (s/maybe ats/SemanticType)

coll-take-prefix-type clj

(coll-take-prefix-type type n)

Inputs: [type :- ats/SemanticType n :- s/Int] Returns: (s/maybe ats/SemanticType)

concat-output-type clj

(concat-output-type anchor-prov args)

Inputs: [anchor-prov :- provs/Provenance args :- [s/Any]] Returns: (s/maybe ats/SemanticType)

const-long-value clj

(const-long-value node)

for-body-element-type clj

(for-body-element-type body)

Inputs: [body :- s/Any] Returns: (s/maybe ats/SemanticType)

instance-nth-element-type clj

(instance-nth-element-type coll-type idx-node)

Inputs: [coll-type :- ats/SemanticType idx-node :- s/Any] Returns: (s/maybe ats/SemanticType)

into-output-type clj

(into-output-type args)

Inputs: [args :- [s/Any]] Returns: (s/maybe ats/SemanticType)

invoke-nth-output-type clj

(invoke-nth-output-type args)

Inputs: [args :- [s/Any]] Returns: (s/maybe ats/SemanticType)

lazy-seq-new-type clj

(lazy-seq-new-type class-node args)

Inputs: [class-node :- s/Any args :- [s/Any]] Returns: (s/maybe ats/SemanticType)

seqish-element-type clj

(seqish-element-type type)

Inputs: [type :- ats/SemanticType] Returns: (s/maybe ats/SemanticType)

vec-homogeneous-items? clj

(vec-homogeneous-items? items)

Inputs: [items :- [s/Any]] Returns: s/Any

vector-slot-type clj

(vector-slot-type vector-type idx)

Inputs: [vector-type :- ats/SemanticType idx :- s/Int] Returns: (s/maybe ats/SemanticType)

vector-to-homogeneous-seq-type clj

(vector-to-homogeneous-seq-type type)

Inputs: [type :- ats/SemanticType] Returns: (s/maybe ats/SemanticType)