def Watcher.page

bend-kube-runtime@0.2.0.0 · src/watcher.bend:110

import bend-kube-runtime@0.2.0.0/src/watcher.bend as Watcher
import Base
import bend-kube-runtime@0.2.0.0/src/core.bend as C

110# A page of the list: the first page opens a relist (Init), the last one
111# (no continue token) closes it (InitDone) and starts the watch.
112def Watcher.page(first: Bool, p: C.Page) -> Step:
113  match p:
114    case C.Page{items, rv, +cont}:
115      Watcher.page.go(first, items, rv, cont, String.is_empty(cont))

Uses (5)

Used by (1)