Walks a tree of salt (i.e. clojure) code and transpiles into the corresponding TLA+ code.
Walks a tree of salt (i.e. clojure) code and transpiles into the corresponding TLA+ code.
(reset)Clear the current transpilation state. Used for testing.
Clear the current transpilation state. Used for testing.
(transpile-form f)Pass in a clojure data structure, return a string of the corresponding TLA+ code that has accumulated so far, including past forms. Used for testing.
Pass in a clojure data structure, return a string of the corresponding TLA+ code that has accumulated so far, including past forms. Used for testing.
(transpile-single-form f)Pass in a clojure data structure, returns a string of the corresponding TLA+ code. Clears the transpilation state before running. Used for testing.
Pass in a clojure data structure, returns a string of the corresponding TLA+ code. Clears the transpilation state before running. Used for testing.
(transpile-text text-in)Pass in a string of salt (i.e. clojure code) to produce a string of the corresponding TLA+ code as the return value.
Pass in a string of salt (i.e. clojure code) to produce a string of the corresponding TLA+ code as the return value.
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 |