2022-06-09 18:15:13 +00:00
|
|
|
|
|
|
|
import
|
2023-05-16 09:51:56 +00:00
|
|
|
preserves
|
2022-06-09 18:15:13 +00:00
|
|
|
|
|
|
|
type
|
2023-05-16 09:51:56 +00:00
|
|
|
JsonTranslatorConnected* {.preservesRecord: "connected".} = object
|
|
|
|
`path`*: string
|
|
|
|
|
2023-05-05 16:38:04 +00:00
|
|
|
JsonSocketTranslatorArguments* {.preservesDictionary.} = object
|
|
|
|
`dataspace`* {.preservesEmbedded.}: Preserve[void]
|
|
|
|
`socket`*: string
|
|
|
|
|
2023-09-05 10:37:17 +00:00
|
|
|
proc `$`*(x: JsonTranslatorConnected | JsonSocketTranslatorArguments): string =
|
2022-06-09 18:15:13 +00:00
|
|
|
`$`(toPreserve(x))
|
|
|
|
|
2023-09-05 10:37:17 +00:00
|
|
|
proc encode*(x: JsonTranslatorConnected | JsonSocketTranslatorArguments): seq[
|
|
|
|
byte] =
|
2022-06-09 18:15:13 +00:00
|
|
|
encode(toPreserve(x))
|