def fields.of.options

mylsm-lsm-store@0.6.0.1 · src/coordinator/OptionsCodec.bend:79

import Base
import mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend as ResourceOptions

79def fields.of.options(options: ResourceOptions.Options) -> List<&2, U32>:
80  match options:
81    case ResourceOptions.Options{transport, queue, readers}:
82      match transport:
83        case ResourceOptions.TransportLimits{connections, frame_bytes,
84          receive_bytes, response_bytes, frame_timeout_ms, response_timeout_ms}:
85          match queue:
86            case ResourceOptions.QueueLimits{requests, queue_bytes,
87              queue_timeout_ms}:
88              match readers:
89                case ResourceOptions.ReaderLimits{snapshots, cursors,
90                  cursors_per_snapshot, retained_root_bytes, retired_files,
91                  index_page_bytes, index_buffer_bytes, restore_bytes}:
92                  Con{restore_bytes, Con{index_buffer_bytes,
93                    Con{index_page_bytes, Con{retired_files,
94                    Con{retained_root_bytes, Con{cursors_per_snapshot,
95                    Con{cursors, Con{snapshots, Con{queue_timeout_ms,
96                    Con{queue_bytes, Con{requests, Con{response_timeout_ms,
97                    Con{frame_timeout_ms, Con{response_bytes,
98                    Con{receive_bytes, Con{frame_bytes,
99                    Con{connections, Nil{}}}}}}}}}}}}}}}}}}