Liking cljdoc? Tell your friends :D
salt.transpiler
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.
resetclj
(reset)Clear the current transpilation state. Used for testing.
Clear the current transpilation state. Used for testing.
transpile-formclj
(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-formclj
(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-textclj
(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 is a website building & hosting documentation for Clojure/Script libraries
× close