gradual.spec — gradual 0.1.2

>seq-destructuring-spec clj/s

(>seq-destructuring-spec positional-destructurer
                         most-complex-positional-destructurer
                         kv-spec
                         or|conformer
                         seq-spec
                         {:as opts generate-from-seq-spec? :gen?})

Creates a spec that performs seq destructuring, and provides a default generator for such based on the generators of the destructured args.

arglist>spec-form|arglist clj/s

(arglist>spec-form|arglist args+varargs kw-args)

defn clj macro

(defn & args)

Like gradual.type/defn, but relies entirely on runtime spec checks. Ignores type inference requests, but allows them for compatibility with gradual.type/defn.

defn- clj macro

(defn- & args)

defn : defn- :: core/defn : core/defn-

fn clj macro

(fn & args)

Like gradual.type/fn, but relies entirely on runtime spec checks. Ignores type inference requests, but allows them for compatibility with gradual.type/defn.

fn|code clj/s

(fn|code kind lang args)

map-destructure clj macro

(map-destructure map-spec kv-specs)

seq-destructure clj macro

(seq-destructure seq-spec args & [varargs])

If generate-from-seq-spec? is true, generates from seq-spec's generator instead of the default generation strategy based on the generators of the destructured args.

speced-binding>arg-ident clj/s

(speced-binding>arg-ident {[kind binding-] :binding-form} & [i|arg])

speced-binding>binding clj/s

(speced-binding>binding {[kind binding-] :binding-form})

speced-binding>spec clj/s

(speced-binding>spec
  {:as speced-binding [kind binding-] :binding-form [spec-kind spec] :spec})