2023-05-26 11:02:01 +00:00
|
|
|
|
|
|
|
import
|
|
|
|
preserves
|
|
|
|
|
|
|
|
type
|
2023-05-26 22:59:01 +00:00
|
|
|
Query* {.preservesRecord: "query".} = object
|
|
|
|
`label`*: Preserve[void]
|
2023-05-26 11:02:01 +00:00
|
|
|
`statement`*: string
|
|
|
|
|
2023-05-26 22:59:01 +00:00
|
|
|
proc `$`*(x: Query): string =
|
2023-05-26 11:02:01 +00:00
|
|
|
`$`(toPreserve(x))
|
|
|
|
|
2023-05-26 22:59:01 +00:00
|
|
|
proc encode*(x: Query): seq[byte] =
|
2023-05-26 11:02:01 +00:00
|
|
|
encode(toPreserve(x))
|