read_buffer.pony

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
primitive ReadBufferResized
  """
  A successful read buffer operation.
  """

primitive ReadBufferResizeBelowBufferSize
  """
  The requested read buffer size or minimum is smaller than the current
  buffer-until value. The buffer-until value sets a hard floor — the buffer must
  be able to hold at least that many bytes to satisfy the framing contract.
  """

primitive ReadBufferResizeBelowUsed
  """
  The requested read buffer size is smaller than the amount of unprocessed
  data currently in the buffer. Honoring the request would truncate data.
  """

type ReadBufferResizeResult is
  ( ReadBufferResized
  | ReadBufferResizeBelowBufferSize
  | ReadBufferResizeBelowUsed )

primitive BufferUntilSet
  """
  A successful buffer_until operation.
  """

primitive BufferSizeAboveMinimum
  """
  The requested `BufferSize` value exceeds the current read buffer minimum.
  Raise the buffer minimum first, then set buffer_until.
  """

type BufferUntilResult is
  (BufferUntilSet | BufferSizeAboveMinimum)