clj-kondo.impl.clojure.spec.alpha — clj-kondo 2019.08.22-alpha-SNAPSHOT

& clj macro

(& re & preds)

takes a regex op re, and predicates. Returns a regex-op that consumes input as per re but subjects the resulting value to the conjunction of the predicates, and any conforming they might perform.

* clj macro

(* pred-form)

Returns a regex op that matches zero or more values matching pred. Produces a vector of matches iff there is at least one match

*coll-check-limit* clj

The number of elements validated in a collection spec'ed with 'every'

*coll-error-limit* clj

The number of errors reported by explain in a collection spec'ed with 'every'

*compile-asserts* clj

If true, compiler will enable spec asserts, which are then subject to runtime control via check-asserts? If false, compiler will eliminate all spec assert overhead. See 'assert'.

Initially set to boolean value of clojure.spec.compile-asserts system property. Defaults to true.

*explain-out* clj

*fspec-iterations* clj

The number of times an anonymous fn specified by fspec will be (generatively) tested during conform

*recursion-limit* clj

A soft limit on how many times a branching spec (or/alt/*/opt-keys/multi-spec) can be recursed through during generation. After this a non-recursive branch will be chosen.

+ clj macro

(+ pred-form)

Returns a regex op that matches one or more values matching pred. Produces a vector of matches

? clj macro

(? pred-form)

Returns a regex op that matches zero or one value matching pred. Produces a single value (not a collection) if matched.

abbrev clj

(abbrev form)

alt clj macro

(alt & key-pred-forms)

Takes key+pred pairs, e.g.

(s/alt :even even? :small #(< % 42))

Returns a regex op that returns a map entry containing the key of the first matching pred and the corresponding value. Thus the 'key' and 'val' functions can be used to refer generically to the components of the tagged return

and clj macro

(and & pred-forms)

Takes predicate/spec-forms, e.g.

(s/and even? #(< % 42))

Returns a spec that returns the conformed value. Successive conformed values propagate through rest of predicates.

assert clj macro

(assert spec x)

spec-checking assert expression. Returns x if x is valid? according to spec, else throws an ex-info with explain-data plus ::failure of :assertion-failed.

Can be disabled at either compile time or runtime:

If compile-asserts is false at compile time, compiles to x. Defaults to value of 'clojure.spec.compile-asserts' system property, or true if not set.

If (check-asserts?) is false at runtime, always returns x. Defaults to value of 'clojure.spec.check-asserts' system property, or false if not set. You can toggle check-asserts? with (check-asserts bool).

assert* clj

(assert* spec x)

Do not call this directly, use 'assert'.

cat clj macro

(cat & key-pred-forms)

Takes key+pred pairs, e.g.

(s/cat :e even? :o odd?)

Returns a regex op that matches (all) values in sequence, returning a map containing the keys of each pred and the corresponding value.

check-asserts clj

(check-asserts flag)

Enable or disable spec asserts that have been compiled with 'compile-asserts' true. See 'assert'.

Initially set to boolean value of clojure.spec.check-asserts system property. Defaults to false.

check-asserts? clj

(check-asserts?)

Returns the value set by check-asserts.

coll-of clj macro

(coll-of pred & opts)

Returns a spec for a collection of items satisfying pred. Unlike 'every', coll-of will exhaustively conform every value.

Same options as 'every'. conform will produce a collection corresponding to :into if supplied, else will match the input collection, avoiding rebuilding when possible.

See also - every, map-of

conform clj

(conform spec x)

Given a spec and a value, returns :clojure.spec.alpha/invalid if value does not match spec, else the (possibly destructured) value.

conformer clj macro

(conformer f)

(conformer f unf)

takes a predicate function with the semantics of conform i.e. it should return either a (possibly converted) value or :clojure.spec.alpha/invalid, and returns a spec that uses it as a predicate/conformer. Optionally takes a second fn that does unform of result of first

def clj macro

(def k spec-form)

Given a namespace-qualified keyword or resolvable symbol k, and a spec, spec-name, predicate or regex-op makes an entry in the registry mapping k to the spec. Use nil to remove an entry in the registry for k.

describe clj

(describe spec)

returns an abbreviated description of the spec as data

double-in clj macro

(double-in
  &
  {:keys [infinite? NaN? min max] :or {infinite? true NaN? true} :as m})

Specs a 64-bit floating point number. Options:

:infinite? - whether +/- infinity allowed (default true) :NaN? - whether NaN allowed (default true) :min - minimum value (inclusive, default none) :max - maximum value (inclusive, default none)

every clj macro

(every pred
       &
       {:keys [into kind count max-count min-count distinct gen-max gen]
        :as opts})

takes a pred and validates collection elements against that pred.

Note that 'every' does not do exhaustive checking, rather it samples coll-check-limit elements. Nor (as a result) does it do any conforming of elements. 'explain' will report at most coll-error-limit problems. Thus 'every' should be suitable for potentially large collections.

Takes several kwargs options that further constrain the collection:

:kind - a pred that the collection type must satisfy, e.g. vector? (default nil) Note that if :kind is specified and :into is not, this pred must generate in order for every to generate. :count - specifies coll has exactly this count (default nil) :min-count, :max-count - coll has count (<= min-count count max-count) (defaults nil) :distinct - all the elements are distinct (default nil)

And additional args that control gen

:gen-max - the maximum coll size to generate (default 20) :into - one of [], (), {}, #{} - the default collection to generate into (default: empty coll as generated by :kind pred if supplied, else [])

Optionally takes :gen generator-fn, which must be a fn of no args that returns a test.check generator

See also - coll-of, every-kv

every-kv clj macro

(every-kv kpred vpred & opts)

like 'every' but takes separate key and val preds and works on associative collections.

Same options as 'every', :into defaults to {}

See also - map-of

explain clj

(explain spec x)

Given a spec and a value that fails to conform, prints an explanation to out.

explain-data clj

(explain-data spec x)

Given a spec and a value x which ought to conform, returns nil if x conforms, else a map with at least the key ::problems whose value is a collection of problem-maps, where problem-map has at least :path :pred and :val keys describing the predicate and the value that failed at that path.

explain-data* clj

(explain-data* spec path via in x)

explain-out clj

(explain-out ed)

Prints explanation data (per 'explain-data') to out using the printer in explain-out, by default explain-printer.

explain-printer clj

(explain-printer ed)

Default printer for explain-data. nil indicates a successful validation.

explain-str clj

(explain-str spec x)

Given a spec and a value that fails to conform, returns an explanation as a string.

form clj

(form spec)

returns the spec as data

get-spec clj

(get-spec k)

Returns spec registered for keyword/symbol/var k, or nil.

inst-in clj macro

(inst-in start end)

Returns a spec that validates insts in the range from start (inclusive) to end (exclusive).

inst-in-range? clj

(inst-in-range? start end inst)

Return true if inst at or after start and before end

int-in clj macro

(int-in start end)

Returns a spec that validates fixed precision integers in the range from start (inclusive) to end (exclusive).

int-in-range? clj

(int-in-range? start end val)

Return true if start <= val, val < end and val is a fixed precision integer.

invalid? clj

(invalid? ret)

tests the validity of a conform return value

keys clj macro

(keys & {:keys [req req-un opt opt-un gen]})

Creates and returns a map validating spec. :req and :opt are both vectors of namespaced-qualified keywords. The validator will ensure the :req keys are present. The :opt keys serve as documentation and may be used by the generator.

The :req key vector supports 'and' and 'or' for key groups:

(s/keys :req [::x ::y (or ::secret (and ::user ::pwd))] :opt [::z])

There are also -un versions of :req and :opt. These allow you to connect unqualified keys to specs. In each case, fully qualfied keywords are passed, which name the specs, but unqualified keys (with the same name component) are expected and checked at conform-time, and generated during gen:

(s/keys :req-un [:my.ns/x :my.ns/y])

The above says keys :x and :y are required, and will be validated and generated by specs (if they exist) named :my.ns/x :my.ns/y respectively.

In addition, the values of all namespace-qualified keys will be validated (and possibly destructured) by any registered specs. Note: there is no support for inline value specification, by design.

Optionally takes :gen generator-fn, which must be a fn of no args that returns a test.check generator.

keys* clj macro

(keys* & kspecs)

takes the same arguments as spec/keys and returns a regex op that matches sequences of key/values, converts them into a map, and conforms that map with a corresponding spec/keys call:

user=> (s/conform (s/keys :req-un [::a ::c]) {:a 1 :c 2}) {:a 1, :c 2} user=> (s/conform (s/keys* :req-un [::a ::c]) [:a 1 :c 2]) {:a 1, :c 2}

the resulting regex op can be composed into a larger regex:

user=> (s/conform (s/cat :i1 integer? :m (s/keys* :req-un [::a ::c]) :i2 integer?) [42 :a 1 :c 2 :d 4 99]) {:i1 42, :m {:a 1, :c 2, :d 4}, :i2 99}

map-of clj macro

(map-of kpred vpred & opts)

Returns a spec for a map whose keys satisfy kpred and vals satisfy vpred. Unlike 'every-kv', map-of will exhaustively conform every value.

Same options as 'every', :kind defaults to map?, with the addition of:

:conform-keys - conform keys as well as values (default false)

See also - every-kv

merge clj macro

(merge & pred-forms)

Takes map-validating specs (e.g. 'keys' specs) and returns a spec that returns a conformed map satisfying all of the specs. Unlike 'and', merge can generate maps satisfying the union of the predicates.

multi-spec clj macro

(multi-spec mm retag)

Takes the name of a spec/predicate-returning multimethod and a tag-restoring keyword or fn (retag). Returns a spec that when conforming or explaining data will pass it to the multimethod to get an appropriate spec. You can e.g. use multi-spec to dynamically and extensibly associate specs with 'tagged' data (i.e. data where one of the fields indicates the shape of the rest of the structure).

(defmulti mspec :tag)

The methods should ignore their argument and return a predicate/spec: (defmethod mspec :int [_] (s/keys :req-un [::tag ::i]))

retag is used during generation to retag generated values with matching tags. retag can either be a keyword, at which key the dispatch-tag will be assoc'ed, or a fn of generated value and dispatch-tag that should return an appropriately retagged value.

Note that because the tags themselves comprise an open set, the tag key spec cannot enumerate the values, but can e.g. test for keyword?.

Note also that the dispatch values of the multimethod will be included in the path, i.e. in reporting and gen overrides, even though those values are not evident in the spec.

nilable clj macro

(nilable pred)

returns a spec that accepts nil and values satisfying pred

or clj macro

(or & key-pred-forms)

Takes key+pred pairs, e.g.

(s/or :even even? :small #(< % 42))

Returns a destructuring spec that returns a map entry containing the key of the first matching pred and the corresponding value. Thus the 'key' and 'val' functions can be used to refer generically to the components of the tagged return.

regex? clj

(regex? x)

returns x if x is a (clojure.spec) regex op, else logical false

registry clj

(registry)

returns the registry map, prefer 'get-spec' to lookup a spec by name

spec clj macro

(spec form & {:keys [gen]})

Takes a single predicate form, e.g. can be the name of a predicate, like even?, or a fn literal like #(< % 42). Note that it is not generally necessary to wrap predicates in spec when using the rest of the spec macros, only to attach a unique generator

Can also be passed the result of one of the regex ops - cat, alt, *, +, ?, in which case it will return a regex-conforming spec, useful when nesting an independent regex.

Optionally takes :gen generator-fn, which must be a fn of no args that returns a test.check generator.

Returns a spec.

Spec clj protocol

conform* clj

(conform* spec x)

describe* clj

(describe* spec)

explain* clj

(explain* spec path via in x)

unform* clj

(unform* spec y)

spec? clj

(spec? x)

returns x if x is a spec object, else logical false

Specize clj protocol

specize* clj

(specize* _)

(specize* _ form)

tuple clj macro

(tuple & preds)

takes one or more preds and returns a spec for a tuple, a vector where each element conforms to the corresponding pred. Each element will be referred to in paths using its ordinal.

unform clj

(unform spec x)

Given a spec and a value created by or compliant with a call to 'conform' with the same spec, returns a value with all conform destructuring undone.

valid? clj

(valid? spec x)

(valid? spec x form)

Helper function that returns true when x is valid for spec.