skeptic.analysis.value-check — org.clojars.nomicflux/skeptic 0.8.0

contains-key-type-classification clj

(contains-key-type-classification type key)

Inputs: [type :- s/Any key :- s/Any]

exact-value-type? clj

(exact-value-type? type)

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

ground-accepts-value? clj

(ground-accepts-value? type value)

Inputs: [type :- s/Any value :- s/Any] Returns: s/Bool

integral-ground-classes clj

leaf-overlap? clj

(leaf-overlap? source-type target-type)

Inputs: [source-type :- s/Any target-type :- s/Any] Returns: s/Bool

map-contains-key-classification clj

(map-contains-key-classification type key)

Inputs: [type :- s/Any key :- s/Any]

map-value-satisfies-type? clj

(map-value-satisfies-type? value map-type)

Inputs: [value :- s/Any map-type :- s/Any] Returns: s/Bool

non-int-numeric-ground-type? clj

(non-int-numeric-ground-type? type)

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

numeric-ground-type? clj

(numeric-ground-type? type)

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

numeric-leaf-type? clj

(numeric-leaf-type? type)

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

path-key clj

(path-key type)

Inputs: [type :- s/Any]

set-value-satisfies-type? clj

(set-value-satisfies-type? value members)

Inputs: [value :- s/Any members :- s/Any] Returns: s/Bool

type-compatible-map-value? clj

(type-compatible-map-value? value-type expected-type)

Inputs: [value-type :- s/Any expected-type :- s/Any] Returns: s/Bool

value-satisfies-type? clj

(value-satisfies-type? value type)

Inputs: [value :- s/Any type :- s/Any] Returns: s/Bool

with-map-path clj

(with-map-path cast-result key)

Inputs: [cast-result :- csch/CastResult key :- s/Any] Returns: csch/CastResult