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

binary-integral-locals-narrow? clj

(binary-integral-locals-narrow? arg-nodes arg-types)

Inputs: [arg-nodes :- [s/Any] arg-types :- [ats/SemanticType]] Returns: s/Bool

bool-type clj

(bool-type prov)

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

inc-dec-output-type clj

(inc-dec-output-type arg-type)

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

integral-arg-classes clj

integral-ground-type? clj

integral-type? clj

(integral-type? type)

Inputs: [type :- ats/SemanticType] Returns: s/Bool

invoke-integral-math-narrow-type clj

(invoke-integral-math-narrow-type anchor-prov call-sym args actual-argtypes)

Inputs: [anchor-prov :- provs/Provenance call-sym :- (s/maybe s/Symbol) args :- [s/Any] actual-argtypes :- [ats/SemanticType]] Returns: (s/maybe ats/SemanticType)

narrow-static-numbers-output clj

(narrow-static-numbers-output anchor-prov node args actual-argtypes native-info)

Inputs: [anchor-prov :- provs/Provenance node :- s/Any args :- [s/Any] actual-argtypes :- [ats/SemanticType] native-info :- s/Any] Returns: (s/maybe ats/SemanticType)

non-int-numeric-type? clj

(non-int-numeric-type? type)

Inputs: [type :- ats/SemanticType] Returns: s/Bool

numeric-type? clj

(numeric-type? type)

Inputs: [type :- ats/SemanticType] Returns: s/Bool