def options.from.fields

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

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

101def options.from.fields(
102  fields: List<&2, U32>
103) -> Maybe<&2, ResourceOptions.Options>:
104  match fields:
105    case Con{restore_bytes, Con{index_buffer_bytes,
106      Con{index_page_bytes, Con{retired_files,
107      Con{retained_root_bytes, Con{cursors_per_snapshot,
108      Con{cursors, Con{snapshots, Con{queue_timeout_ms,
109      Con{queue_bytes, Con{requests, Con{response_timeout_ms,
110      Con{frame_timeout_ms, Con{response_bytes, Con{receive_bytes,
111      Con{frame_bytes, Con{connections, Nil{}}}}}}}}}}}}}}}}}}:
112      Some{ResourceOptions.Options{
113        ResourceOptions.TransportLimits{connections, frame_bytes,
114          receive_bytes, response_bytes, frame_timeout_ms,
115          response_timeout_ms},
116        ResourceOptions.QueueLimits{requests, queue_bytes, queue_timeout_ms},
117        ResourceOptions.ReaderLimits{snapshots, cursors,
118          cursors_per_snapshot, retained_root_bytes, retired_files,
119          index_page_bytes, index_buffer_bytes, restore_bytes}}}
120    case _: None{}