aide/json_rpc

Types

ErrorObject

pub type ErrorObject {
  ErrorObject(code: Int, message: String, data: utils.Any)
}

Constructors

ErrorObject(code: Int, message: String, data: utils.Any)

Id

</>

pub type Id {
  StringId(String)
  NumberId(Int)
}

Constructors

```
StringId(String)
```
```
NumberId(Int)
```

Request

</>

pub type Request(r, n) {
  Request(version: String, id: Id, value: r)
  Notification(version: String, value: n)
}

Constructors

Request(version: String, id: Id, value: r)

```
Notification(version: String, value: n)
```

Response

</>

pub type Response(t) {
  Response(
    version: String,
    id: Id,
    return: Result(t, ErrorObject),
  )
}

Constructors

Response(version: String, id: Id, return: Result(t, ErrorObject))

Values

notification

</>

pub fn notification(value: a) -> Request(b, a)

request

</>

pub fn request(id: Id, value: a) -> Request(a, b)

request_decoder

</>

pub fn request_decoder(
  request_decoders: List(#(String, decode.Decoder(a))),
  notification_decoders: List(#(String, decode.Decoder(b))),
  zero: b,
) -> decode.Decoder(Request(a, b))

request_encode

</>

pub fn request_encode(
  request: Request(a, b),
  request_encode: fn(a) -> #(String, option.Option(json.Json)),
  notification_encode: fn(b) -> #(
    String,
    option.Option(json.Json),
  ),
) -> json.Json

response

</>

pub fn response(id: Id, return: t) -> Response(t)

response_encode

</>

pub fn response_encode(
  response: Response(a),
  return_encode: fn(a) -> json.Json,
) -> json.Json