rt.circom.grammar — xyz.zcaudate/rt.circom 4.1.1

!.circom clj macro

(!.circom & body)

+book+ clj

+features+ clj

+grammar+ clj

+init+ clj

+meta+ clj

+template+ clj

break clj macro

component clj macro

component.circom clj macro

(component.circom & body)

def$.circom clj macro

(def$.circom & body)

def.circom clj macro

(def.circom & body)

defabstract.circom clj macro

(defabstract.circom & body)

defgen.circom clj macro

(defgen.circom & body)

defglobal.circom clj macro

(defglobal.circom & body)

defmacro.circom clj macro

(defmacro.circom & body)

defn-.circom clj macro

(defn-.circom & body)

defn.circom clj macro

(defn.circom & body)

defptr.circom clj macro

(defptr.circom & body)

defrun.circom clj macro

(defrun.circom & body)

deftemp.circom clj macro

(deftemp.circom & body)

format-string clj

(format-string x)

include clj macro

include.circom clj macro

(include.circom & body)

main clj macro

main.circom clj macro

(main.circom & body)

pragma clj macro

pragma.circom clj macro

(pragma.circom & body)

return clj macro

signal clj macro

signal.circom clj macro

(signal.circom & body)

template clj macro

template.circom clj macro

(template.circom & body)

tf-component clj

(tf-component [_ name [tmpl & args]])

Transforms component instantiation. (component c (MyTemplate arg1 arg2)) -> component c = MyTemplate(arg1, arg2);

tf-constraint clj

(tf-constraint [op & args])

Transforms constraints to add semicolon

tf-for clj

(tf-for [_ [sym start end step] & body])

Transforms for loop. (for [i 0 10] ...) -> for (var i = 0; i < 10; i++) ...

tf-include clj

(tf-include [_ filename])

Transforms include. (include "filename.circom") -> include "filename.circom";

tf-main clj

(tf-main [_ opts tmpl-call])

Transforms main component definition. (main {public [a b]} MyTemplate) -> component main {public [a,b]} = MyTemplate();

tf-pragma clj

(tf-pragma [_ & args])

Transforms pragma. (pragma circom 2.0.0) -> pragma circom 2.0.0;

tf-signal clj

(tf-signal [_ & args])

Transforms signal declaration. (signal input x) -> signal input x; (signal output y) -> signal output y; (signal z) -> signal z;

tf-template clj

(tf-template [_ sym args & body])

Transforms a template definition. (template MyTemplate [args] body...) -> template MyTemplate(args) { body... }

tf-var clj

(tf-var [_ name val])

Transforms var declaration. (var x 10) -> var x = 10;

var clj macro

var.circom clj macro

(var.circom & body)