~/jendhub

def rz_go

bend-collections@1.0.0.0 · src/containers/lru.bend:748

import bend-collections@1.0.0.0/src/containers/lru.bend as Lru
import Base

748def rz_go(a, -V: Kind(a), fuel: Nat, s: Rz<a, V>, +ev: U32) -> LRU<a, V> & Result<&2, &2, String, U32>:
749  match fuel s:
750    case 0n RzMore{f}:
751      (f, Done{ev})
752    case 0n RzDone{f}:
753      (f, Done{ev})
754    case 1n+p RzMore{f}:
755      rz_go(a, V, p, rz_check(a, V, evict_oldest(a, V, f)), U32.inc(ev))
756    case 1n+p RzDone{f}:
757      (f, Done{ev})

Uses (11)

Used by (1)