skeptic.provenance — org.clojars.nomicflux/skeptic 0.8.0

inferred clj

(inferred {:keys [name ns]})

Inputs: [{:keys [name ns]} :- {:name (s/maybe s/Symbol), :ns (s/maybe (s/cond-pre s/Symbol clojure.lang.Namespace))}] Returns: provs/Provenance

make-provenance clj

(make-provenance source qualified-sym declared-in var-meta)

(make-provenance source qualified-sym declared-in var-meta refs)

Inputs: ([source :- provs/Source qualified-sym :- (s/maybe s/Symbol) declared-in :- (s/maybe (s/cond-pre s/Symbol clojure.lang.Namespace)) var-meta :- (s/maybe #:s{Keyword s/Any})] [source :- provs/Source qualified-sym :- (s/maybe s/Symbol) declared-in :- (s/maybe (s/cond-pre s/Symbol clojure.lang.Namespace)) var-meta :- (s/maybe #:s{Keyword s/Any}) refs :- [provs/Provenance]]) Returns: provs/Provenance

merge-provenances clj

(merge-provenances p1 p2)

Inputs: [p1 :- provs/Provenance p2 :- provs/Provenance] Returns: provs/Provenance

of clj

(of t)

Inputs: [t :- ats/SemanticType] Returns: provs/Provenance

provenance? clj

(provenance? x)

Inputs: [x :- s/Any] Returns: s/Bool

set-ctx clj

(set-ctx ctx prov)

Inputs: [ctx :- #:s{Keyword s/Any} prov :- provs/Provenance] Returns: #:s{Keyword s/Any}

Return ctx with the given provenance installed.

source clj

(source {:keys [source]})

Inputs: [{:keys [source]} :- provs/Provenance] Returns: provs/Source

with-ctx clj

(with-ctx ctx)

Inputs: [ctx :- #:s{Keyword s/Any}] Returns: provs/Provenance

Read the current provenance from an analyzer ctx.

with-refs clj

(with-refs prov refs)

Inputs: [prov :- provs/Provenance refs :- [provs/Provenance]] Returns: provs/Provenance

Return prov with :refs replaced by the given constituent provs.