hara.runtime.basic.type-verify

(verify-exec-file input-args input-body {:keys [extension trim shell root stderr], :or {trim clojure.string/trim-newline}})

writes the source body to a temp file and runs a file-based checker. returns the original source body when the checker exits 0.

(verify-exec-oneshot input-args input-body {:keys [pipe trim shell root stderr], :or {trim clojure.string/trim-newline}})

runs a pipe-based checker (or inline checker) and returns the original source body when the checker exits 0.

(verify-exec-twostep input-args input-body opts)

alias for verify-exec-file, used for compile-only verification of compiled languages that are registered under the twostep runtime type.

Generated by Codox