is.simm.partial-cps.ioc — is.simm/partial-cps 0.1.54

Inversion of control, i.e. transformation into continuation-passing style (CPS).

add-env-syms clj

(add-env-syms ctx syms)

can-inline? clj

(can-inline? form)

expand-macro clj

(expand-macro form env)

Expand a macro form if it's actually a macro. Returns [expanded changed?]

handle-binding-form clj

(handle-binding-form {:keys [r e env] :as ctx} form)

Handle binding/with-redefs forms to restore bindings in continuations.

Intercepts binding forms BEFORE macro expansion to wrap continuations with binding restoration. This ensures that when continuations fire after the binding scope exits, they restore the outer bindings that were active before the binding form was entered.

has-breakpoints? clj

(has-breakpoints? form
                  {:keys [breakpoints recur-target env expansion-cache
                          breakpoint-cache]
                   :as ctx})

invert clj

(invert ctx form)

CPS inversion with caching. Creates caches that persist across the entire inversion:

• expansion-cache: avoids re-expanding the same macros
• breakpoint-cache: avoids re-traversing the same sub-trees in has-breakpoints? Also tags the env with ::in-cps-transform so macros can detect they are being expanded inside a CPS transformation and skip unnecessary branches.

invert-impl clj

(invert-impl {:keys [r e sync-recur? recur-target breakpoints env expansion-map]
              :as ctx}
             form)

Internal implementation of invert. Assumes expansion-map is already in ctx.

resolve-macro-var-cljs clj

(resolve-macro-var-cljs env sym)

resolve-sequentially clj

(resolve-sequentially ctx coll then)

resolve-var-cljs clj

(resolve-var-cljs env sym)

var-name clj

(var-name env sym)