skeptic.analysis.map-ops.algebra — org.clojars.nomicflux/skeptic 0.8.0

assoc-type clj

(assoc-type m-type key-lit value-type)

Inputs: [m-type :- ats/SemanticType key-lit :- s/Any value-type :- ats/SemanticType] Returns: ats/SemanticType

dissoc-type clj

(dissoc-type m-type key-lit)

Inputs: [m-type :- ats/SemanticType key-lit :- s/Any] Returns: ats/SemanticType

merge-types clj

(merge-types anchor-prov types)

Inputs: [anchor-prov :- provs/Provenance types :- [ats/SemanticType]] Returns: ats/SemanticType

update-type clj

(update-type m-type key-lit fn-type)

Inputs: [m-type :- ats/SemanticType key-lit :- s/Any fn-type :- ats/SemanticType] Returns: ats/SemanticType