server

Types

JsonRpcError

pub type JsonRpcError {
  JsonRpcError(
    code: Int,
    message: String,
    data: option.Option(json.Json),
  )
}

Constructors

JsonRpcError(
  code: Int,
  message: String,
  data: option.Option(json.Json),
)

JsonRpcRequest

pub type JsonRpcRequest {
  JsonRpcRequest(
    jsonrpc: String,
    id: option.Option(String),
    method: String,
    params: option.Option(json.Json),
  )
}

Constructors

JsonRpcRequest(
  jsonrpc: String,
  id: option.Option(String),
  method: String,
  params: option.Option(json.Json),
)

JsonRpcResponse

pub type JsonRpcResponse {
  JsonRpcResponse(
    jsonrpc: String,
    id: option.Option(String),
    result: option.Option(json.Json),
    error: option.Option(JsonRpcError),
  )
}

Constructors

JsonRpcResponse(
  jsonrpc: String,
  id: option.Option(String),
  result: option.Option(json.Json),
  error: option.Option(JsonRpcError),
)

Values

execute_tool

pub fn execute_tool(
  db: process.Subject(transactor.Message),
  name: String,
  args: dynamic.Dynamic,
) -> Result(json.Json, String)

handle_request

pub fn handle_request(
  db: process.Subject(transactor.Message),
  req: JsonRpcRequest,
) -> JsonRpcResponse

send_response

pub fn send_response(response: JsonRpcResponse) -> Nil

start

pub fn start(db: process.Subject(transactor.Message)) -> Nil