JAR: Join-Accumulate Refine

12.8. Host-Call Interface🔗

🔗inductive type
Jar.Services.HostCall : Type
Jar.Services.HostCall : Type

Host-call identifiers available during accumulation. GP §12.

Constructors

gas : HostCall
lookup : HostCall
read : HostCall
write : HostCall
info : HostCall
bless : HostCall
assign : HostCall
designate : HostCall
checkpoint : HostCall
newService : HostCall
upgrade : HostCall
transfer : HostCall
quit : HostCall
solicit : HostCall
forget : HostCall
historicalLookup : HostCall
fetch : HostCall
yield : HostCall
provide : HostCall
empower : HostCall