hara.model.annex.spec-lean
!.lean
macro
(!.lean & body)br
macro
break
macro
catch-all-pattern?
added in 4.1
(catch-all-pattern? pattern)returns true for broad variable-style fallback patterns
def$.lean
macro
(def$.lean & body)def.lean
macro
(def.lean & body)defabstract.lean
macro
(defabstract.lean & body)defgen.lean
macro
(defgen.lean & body)defglobal.lean
macro
(defglobal.lean & body)defmacro.lean
macro
(defmacro.lean & body)defn-.lean
macro
(defn-.lean & body)defn.lean
macro
(defn.lean & body)defptr.lean
macro
(defptr.lean & body)defrun.lean
macro
(defrun.lean & body)deftemp.lean
macro
(deftemp.lean & body)guarded-body
added in 4.1
(guarded-body expr {:keys [guard body]} remaining)lowers guarded bodies into nested if and fallback match
lean-invoke
added in 4.1
(lean-invoke [sym & args] grammar mopts)wraps wrappable arguments for function application