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)
```

ParamsDecoder

</>

pub type ParamsDecoder(t) {
  FromParams(decode.Decoder(t))
  OptionalParams(decode.Decoder(t))
  NoParams(t)
}

Constructors

```
FromParams(decode.Decoder(t))
```
```
OptionalParams(decode.Decoder(t))
```
```
NoParams(t)
```

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

encode_response

</>

pub fn encode_response(
  response: Response(a),
  encode_return: fn(a) -> json.Json,
) -> json.Json

notification

</>

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

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))

response

</>

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