Liking cljdoc? Tell your friends :D
Clojure only.

skeptic.analysis.predicates

Shared registry of clojure.core predicates that Skeptic can type. Two consumers:

  • native_fns: each predicate is typed Dyn -> Bool when invoked
  • bridge admission: (s/pred f) and Malli's bare-predicate-as-schema both convert to the predicate's witness type.
Shared registry of clojure.core predicates that Skeptic can type.
Two consumers:
  - native_fns: each predicate is typed Dyn -> Bool when invoked
  - bridge admission: (s/pred f) and Malli's bare-predicate-as-schema
    both convert to the predicate's witness type.
raw docstring

predicate-fn-entriesclj

(predicate-fn-entries)

predicate-fn-typeclj

(predicate-fn-type qualified-sym)

Inputs: [qualified-sym :- s/Symbol] Returns: ats/SemanticType

Inputs: [qualified-sym :- s/Symbol]
Returns: ats/SemanticType
raw docstring

predicate-symbolsclj

predicate?clj

(predicate? sym)

resolve-predicate-symbolclj

(resolve-predicate-symbol sym)

Inputs: [sym :- s/Symbol] Returns: (s/maybe s/Symbol)

Inputs: [sym :- s/Symbol]
Returns: (s/maybe s/Symbol)
raw docstring

witness-typeclj

(witness-type qualified-sym prov)

Inputs: [qualified-sym :- s/Symbol prov :- provs/Provenance] Returns: ats/SemanticType

Inputs: [qualified-sym :- s/Symbol prov :- provs/Provenance]
Returns: ats/SemanticType
raw docstring

cljdoc builds & hosts documentation for Clojure/Script libraries

Keyboard shortcuts
Ctrl+kJump to recent docs
←Move to previous article
→Move to next article
Ctrl+/Jump to the search field
Raise an issueBrowse cljdoc sourceChat on Slack
× close