def poll_many

mylsm-lsm-store@0.6.0.1 · src/coordinator/UnixSocketIo.bend:221

import mylsm-lsm-store@0.6.0.1/src/coordinator/UnixSocketIo.bend as UnixSocketIo
import Base
import mylsm-lsm-store@0.6.0.1/src/coordinator/UnixSocketTypes.bend as SocketTypes

221# Handles poll many.
222def poll_many(
223  interests: List<SocketTypes.PollInterest>,
224  timeout_ms: U32
225) -> IO(List<SocketTypes.PollInterest> &
226  Result<&1, &1, Error, List<&2, SocketTypes.ReadyEvent>>):
227  do IO<List<SocketTypes.PollInterest> &
228    Result<&1, &1, Error, List<&2, SocketTypes.ReadyEvent>>>:
229    pair : List<SocketTypes.PollInterest> &
230      Result<&1, &1, U32 & String, List<&2, SocketTypes.ReadyEvent>> <-
231        unix_socket_poll_many(interests, timeout_ms)
232    return poll_many.result(pair)

Uses (13)

Used by (0)

No other definition uses this definition.