The do/ imperatives: an instruction given to assert, which dispatches it here
(run) before any naming or well-formedness check. The form is never stored. Each
backing fn is resolved by symbol on first use, so loading vaelii.core loads no
vaelii.impl.asp.* namespace. See docs/labeling.md, "The do/ channel".
The `do/` imperatives: an instruction given to `assert`, which dispatches it here (`run`) before any naming or well-formedness check. The form is never stored. Each backing fn is resolved by symbol on first use, so loading `vaelii.core` loads no `vaelii.impl.asp.*` namespace. See docs/labeling.md, "The `do/` channel".
(run kb sentence context)Run a do/ imperative and return its result map, not a handle:
(do/labeling Ctx [Base]) → label/label-dilemmas, (do/label Base Into [mode]) →
solve-context/label, (do/classify Into) → solve-context/classify. Throws
:not-assertible for an unknown imperative or ill-shaped arguments.
Run a `do/` imperative and return its result map, not a handle: `(do/labeling Ctx [Base])` → `label/label-dilemmas`, `(do/label Base Into [mode])` → `solve-context/label`, `(do/classify Into)` → `solve-context/classify`. Throws `:not-assertible` for an unknown imperative or ill-shaped arguments.
cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |