541 lines
16 KiB
TypeScript
Raw Normal View History

/**
*
* This file is auto-generated. Do not edit manually: changes may be erased.
* Generated by Aqua compiler: https://github.com/fluencelabs/aqua/.
* If you find any bugs, please write an issue on GitHub: https://github.com/fluencelabs/aqua/issues
2022-03-16 19:05:11 +03:00
* Aqua version: 0.7.0-SNAPSHOT
*
*/
import { Fluence, FluencePeer } from '@fluencelabs/fluence';
import {
2022-03-16 19:05:11 +03:00
CallParams,
callFunction,
registerService,
2022-03-14 13:14:39 +03:00
} from '@fluencelabs/fluence/dist/internal/compilerSupport/v3';
// Services
export interface MoreMembersDef {
member1: (callParams: CallParams<null>) => void | Promise<void>;
member2: (s1: string, callParams: CallParams<'s1'>) => void | Promise<void>;
member3: (s1: string, s2: string, callParams: CallParams<'s1' | 's2'>) => void | Promise<void>;
member4: (s1: string, s2: string, i: number, callParams: CallParams<'s1' | 's2' | 'i'>) => number | Promise<number>;
member5: (s1: string, s2: string, i: number, callParams: CallParams<'s1' | 's2' | 'i'>) => number | Promise<number>;
}
export function registerMoreMembers(serviceId: string, service: MoreMembersDef): void;
export function registerMoreMembers(peer: FluencePeer, serviceId: string, service: MoreMembersDef): void;
export function registerMoreMembers(...args: any) {
registerService(
args,
{
2022-03-14 13:14:39 +03:00
"functions" : {
"tag" : "labeledProduct",
"fields" : {
"member1" : {
"tag" : "arrow",
"domain" : {
"tag" : "nil"
},
2022-03-14 13:14:39 +03:00
"codomain" : {
"tag" : "nil"
}
2022-03-14 13:14:39 +03:00
},
"member2" : {
"tag" : "arrow",
"domain" : {
"tag" : "labeledProduct",
"fields" : {
"s1" : {
"tag" : "scalar",
"name" : "string"
}
}
},
2022-03-14 13:14:39 +03:00
"codomain" : {
"tag" : "nil"
}
},
"member3" : {
"tag" : "arrow",
"domain" : {
"tag" : "labeledProduct",
"fields" : {
"s1" : {
"tag" : "scalar",
"name" : "string"
},
"s2" : {
"tag" : "scalar",
"name" : "string"
}
}
},
2022-03-14 13:14:39 +03:00
"codomain" : {
"tag" : "nil"
}
2022-03-14 13:14:39 +03:00
},
"member4" : {
"tag" : "arrow",
"domain" : {
"tag" : "labeledProduct",
"fields" : {
"s1" : {
"tag" : "scalar",
"name" : "string"
},
"s2" : {
"tag" : "scalar",
"name" : "string"
},
"i" : {
"tag" : "scalar",
"name" : "i32"
}
}
},
2022-03-14 13:14:39 +03:00
"codomain" : {
"tag" : "unlabeledProduct",
"items" : [
{
"tag" : "scalar",
"name" : "i32"
}
]
}
},
"member5" : {
"tag" : "arrow",
"domain" : {
"tag" : "labeledProduct",
"fields" : {
"s1" : {
"tag" : "scalar",
"name" : "string"
},
"s2" : {
"tag" : "scalar",
"name" : "string"
},
"i" : {
"tag" : "scalar",
"name" : "i32"
}
}
},
2022-03-14 13:14:39 +03:00
"codomain" : {
"tag" : "unlabeledProduct",
"items" : [
{
"tag" : "scalar",
"name" : "i32"
}
]
}
}
}
2022-03-14 13:14:39 +03:00
}
}
);
}
export interface ServiceWithOUTDefaultIdDef {
hello: (s: string, callParams: CallParams<'s'>) => void | Promise<void>;
}
export function registerServiceWithOUTDefaultId(serviceId: string, service: ServiceWithOUTDefaultIdDef): void;
export function registerServiceWithOUTDefaultId(peer: FluencePeer, serviceId: string, service: ServiceWithOUTDefaultIdDef): void;
export function registerServiceWithOUTDefaultId(...args: any) {
registerService(
args,
{
2022-03-14 13:14:39 +03:00
"functions" : {
"tag" : "labeledProduct",
"fields" : {
"hello" : {
"tag" : "arrow",
"domain" : {
"tag" : "labeledProduct",
"fields" : {
"s" : {
"tag" : "scalar",
"name" : "string"
}
}
2022-03-14 13:14:39 +03:00
},
"codomain" : {
"tag" : "nil"
}
}
}
2022-03-14 13:14:39 +03:00
}
}
);
}
export interface ServiceWithDefaultIdDef {
hello: (s: string, callParams: CallParams<'s'>) => void | Promise<void>;
}
export function registerServiceWithDefaultId(service: ServiceWithDefaultIdDef): void;
export function registerServiceWithDefaultId(serviceId: string, service: ServiceWithDefaultIdDef): void;
export function registerServiceWithDefaultId(peer: FluencePeer, service: ServiceWithDefaultIdDef): void;
export function registerServiceWithDefaultId(peer: FluencePeer, serviceId: string, service: ServiceWithDefaultIdDef): void;
export function registerServiceWithDefaultId(...args: any) {
registerService(
args,
{
"defaultServiceId" : "defaultId",
2022-03-14 13:14:39 +03:00
"functions" : {
"tag" : "labeledProduct",
"fields" : {
"hello" : {
"tag" : "arrow",
"domain" : {
"tag" : "labeledProduct",
"fields" : {
"s" : {
"tag" : "scalar",
"name" : "string"
}
}
2022-03-14 13:14:39 +03:00
},
"codomain" : {
"tag" : "nil"
}
}
}
2022-03-14 13:14:39 +03:00
}
}
);
}
// Functions
export function callBackZeroArgs(
callback: (callParams: CallParams<null>) => void | Promise<void>,
config?: {ttl?: number}
): Promise<void>;
export function callBackZeroArgs(
peer: FluencePeer,
callback: (callParams: CallParams<null>) => void | Promise<void>,
config?: {ttl?: number}
): Promise<void>;
export function callBackZeroArgs(...args: any) {
let script = `
(xor
(seq
(call %init_peer_id% ("getDataSrv" "-relay-") [] -relay-)
(xor
(call %init_peer_id% ("callbackSrv" "callback") [])
(call %init_peer_id% ("errorHandlingSrv" "error") [%last_error% 1])
)
)
(call %init_peer_id% ("errorHandlingSrv" "error") [%last_error% 2])
)
`
return callFunction(
args,
{
"functionName" : "callBackZeroArgs",
2022-03-14 13:14:39 +03:00
"arrow" : {
"tag" : "arrow",
"domain" : {
"tag" : "labeledProduct",
"fields" : {
"callback" : {
2022-03-14 13:14:39 +03:00
"tag" : "arrow",
"domain" : {
"tag" : "nil"
},
"codomain" : {
"tag" : "nil"
}
}
}
2022-03-14 13:14:39 +03:00
},
"codomain" : {
"tag" : "nil"
}
2022-03-14 13:14:39 +03:00
},
"names" : {
"relay" : "-relay-",
"getDataSrv" : "getDataSrv",
"callbackSrv" : "callbackSrv",
"responseSrv" : "callbackSrv",
"responseFnName" : "response",
"errorHandlingSrv" : "errorHandlingSrv",
"errorFnName" : "error"
}
},
script
)
}
export function f1(
callback: (arg0: string, arg1: number, callParams: CallParams<'arg0' | 'arg1'>) => void | Promise<void>,
config?: {ttl?: number}
): Promise<void>;
export function f1(
peer: FluencePeer,
callback: (arg0: string, arg1: number, callParams: CallParams<'arg0' | 'arg1'>) => void | Promise<void>,
config?: {ttl?: number}
): Promise<void>;
export function f1(...args: any) {
let script = `
(xor
(seq
(call %init_peer_id% ("getDataSrv" "-relay-") [] -relay-)
(xor
(call %init_peer_id% ("callbackSrv" "callback") ["hello, world" 42])
(call %init_peer_id% ("errorHandlingSrv" "error") [%last_error% 1])
)
)
(call %init_peer_id% ("errorHandlingSrv" "error") [%last_error% 2])
)
`
return callFunction(
args,
{
"functionName" : "f1",
2022-03-14 13:14:39 +03:00
"arrow" : {
"tag" : "arrow",
"domain" : {
"tag" : "labeledProduct",
"fields" : {
"callback" : {
2022-03-14 13:14:39 +03:00
"tag" : "arrow",
"domain" : {
"tag" : "unlabeledProduct",
"items" : [
{
"tag" : "scalar",
"name" : "string"
},
{
"tag" : "scalar",
"name" : "i32"
}
2022-03-14 13:14:39 +03:00
]
},
"codomain" : {
"tag" : "nil"
}
}
}
2022-03-14 13:14:39 +03:00
},
"codomain" : {
"tag" : "nil"
}
2022-03-14 13:14:39 +03:00
},
"names" : {
"relay" : "-relay-",
"getDataSrv" : "getDataSrv",
"callbackSrv" : "callbackSrv",
"responseSrv" : "callbackSrv",
"responseFnName" : "response",
"errorHandlingSrv" : "errorHandlingSrv",
"errorFnName" : "error"
}
},
script
)
}
export function f3(
num: number,
callback: (arg0: string, arg1: number, callParams: CallParams<'arg0' | 'arg1'>) => void | Promise<void>,
config?: {ttl?: number}
): Promise<string>;
export function f3(
peer: FluencePeer,
num: number,
callback: (arg0: string, arg1: number, callParams: CallParams<'arg0' | 'arg1'>) => void | Promise<void>,
config?: {ttl?: number}
): Promise<string>;
export function f3(...args: any) {
let script = `
(xor
(seq
(seq
(seq
(call %init_peer_id% ("getDataSrv" "-relay-") [] -relay-)
(call %init_peer_id% ("getDataSrv" "num") [] num)
)
(xor
(call %init_peer_id% ("callbackSrv" "callback") ["hello, world" 42])
(call %init_peer_id% ("errorHandlingSrv" "error") [%last_error% 1])
)
)
(xor
(call %init_peer_id% ("callbackSrv" "response") ["hello world"])
(call %init_peer_id% ("errorHandlingSrv" "error") [%last_error% 2])
)
)
(call %init_peer_id% ("errorHandlingSrv" "error") [%last_error% 3])
)
`
return callFunction(
args,
{
"functionName" : "f3",
2022-03-14 13:14:39 +03:00
"arrow" : {
"tag" : "arrow",
"domain" : {
"tag" : "labeledProduct",
"fields" : {
"num" : {
"tag" : "scalar",
"name" : "i32"
},
"callback" : {
2022-03-14 13:14:39 +03:00
"tag" : "arrow",
"domain" : {
"tag" : "unlabeledProduct",
"items" : [
{
"tag" : "scalar",
"name" : "string"
},
{
"tag" : "scalar",
"name" : "i32"
}
2022-03-14 13:14:39 +03:00
]
},
"codomain" : {
"tag" : "nil"
}
}
}
2022-03-14 13:14:39 +03:00
},
"codomain" : {
"tag" : "unlabeledProduct",
"items" : [
{
"tag" : "scalar",
"name" : "string"
}
]
}
2022-03-14 13:14:39 +03:00
},
"names" : {
"relay" : "-relay-",
"getDataSrv" : "getDataSrv",
"callbackSrv" : "callbackSrv",
"responseSrv" : "callbackSrv",
"responseFnName" : "response",
"errorHandlingSrv" : "errorHandlingSrv",
"errorFnName" : "error"
}
},
script
)
}
export function f2(
num: number,
callback: (arg0: string, arg1: number, callParams: CallParams<'arg0' | 'arg1'>) => void | Promise<void>,
config?: {ttl?: number}
): Promise<void>;
export function f2(
peer: FluencePeer,
num: number,
callback: (arg0: string, arg1: number, callParams: CallParams<'arg0' | 'arg1'>) => void | Promise<void>,
config?: {ttl?: number}
): Promise<void>;
export function f2(...args: any) {
let script = `
(xor
(seq
(seq
(call %init_peer_id% ("getDataSrv" "-relay-") [] -relay-)
(call %init_peer_id% ("getDataSrv" "num") [] num)
)
(xor
(call %init_peer_id% ("callbackSrv" "callback") ["hello, world" 42])
(call %init_peer_id% ("errorHandlingSrv" "error") [%last_error% 1])
)
)
(call %init_peer_id% ("errorHandlingSrv" "error") [%last_error% 2])
)
`
return callFunction(
args,
{
"functionName" : "f2",
2022-03-14 13:14:39 +03:00
"arrow" : {
"tag" : "arrow",
"domain" : {
"tag" : "labeledProduct",
"fields" : {
"num" : {
"tag" : "scalar",
"name" : "i32"
},
"callback" : {
2022-03-14 13:14:39 +03:00
"tag" : "arrow",
"domain" : {
"tag" : "unlabeledProduct",
"items" : [
{
"tag" : "scalar",
"name" : "string"
},
{
"tag" : "scalar",
"name" : "i32"
}
2022-03-14 13:14:39 +03:00
]
},
"codomain" : {
"tag" : "nil"
}
}
}
2022-03-14 13:14:39 +03:00
},
"codomain" : {
"tag" : "nil"
}
2022-03-14 13:14:39 +03:00
},
"names" : {
"relay" : "-relay-",
"getDataSrv" : "getDataSrv",
"callbackSrv" : "callbackSrv",
"responseSrv" : "callbackSrv",
"responseFnName" : "response",
"errorHandlingSrv" : "errorHandlingSrv",
"errorFnName" : "error"
}
},
script
)
}