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С версии. 1.0.0-beta
Возвращает
u64
Эффекты
не объявлены (чистая, пока тело не говорит иное)
Определено в: std/core/stream.oxl:164