hara.model.spec-solidity
!.sol
macro
(!.sol & body)break
macro
def$.sol
macro
(def$.sol & body)def.sol
macro
(def.sol & body)defabstract.sol
macro
(defabstract.sol & body)defaddress.sol
macro
(defaddress.sol & body)defclass.sol
macro
(defclass.sol & body)defconstructor.sol
macro
(defconstructor.sol & body)defcontract.sol
macro
(defcontract.sol & body)defenum.sol
macro
(defenum.sol & body)deferror.sol
macro
(deferror.sol & body)defevent.sol
macro
(defevent.sol & body)defgen.sol
macro
(defgen.sol & body)defglobal.sol
macro
(defglobal.sol & body)definterface.sol
macro
(definterface.sol & body)deflibrary.sol
macro
(deflibrary.sol & body)defmacro.sol
macro
(defmacro.sol & body)defmapping.sol
macro
(defmapping.sol & body)defmodifier.sol
macro
(defmodifier.sol & body)defn-.sol
macro
(defn-.sol & body)defn.sol
macro
(defn.sol & body)defptr.sol
macro
(defptr.sol & body)defrun.sol
macro
(defrun.sol & body)defstruct.sol
macro
(defstruct.sol & body)deftemp.sol
macro
(deftemp.sol & body)return
macro
sol-defconstructor
added in 4.0
(sol-defconstructor [_ sym args & body :as form] grammar mopts)creates the constructor
sol-defcontract
added in 4.0
(sol-defcontract [_ sym & body] grammar mopts)creates a contract
sol-deferror
added in 4.0
(sol-deferror [_ sym args] grammar mopts)creates an error definition
sol-definterface
added in 4.0
(sol-definterface [_ sym body] grammar mopts)transforms a definterface call
sol-deflibrary
added in 4.0
(sol-deflibrary [_ sym & body] grammar mopts)creates a library
sol-defmodifier
added in 4.0
(sol-defmodifier [_ sym args & body] grammar mopts)creates a modifier
sol-defn
added in 4.0
(sol-defn [_ sym args & body :as form] grammar mopts)creates def contstructor form
sol-emit-block
added in 4.0
(sol-emit-block key block body grammar mopts)emits block with braces and binding
sol-emit-body
added in 4.0
(sol-emit-body body grammar mopts)emits body without extra braces
sol-fn-elements
added in 4.0
(sol-fn-elements sym args body grammar mopts)creates elements for function
sol-keyword-fn
added in 4.0
(sol-keyword-fn form grammar mopts)no typecast, straight forward print