method stream.offset

Offset of the element delivered last: the server's offset of a @resumable rpc stream (§10.3), else its index (D-3600).

Example:

fn numbers() -> stream<i64> {
  yield 10
  yield 20
}

fn main() io {
  var s = numbers()
  let _ = s.pull()
  let _ = s.pull()
  print("{s.offset()}")
}

1

pub(api) fn offset() -> u64

Since. 1.0.0-beta

Returns

u64

Effects

none declared (pure unless the body says otherwise)

Defined in: std/core/stream.oxl:164