Lru.set_lifetime_packed: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/containers/lru.bend as Lru
Lines 580-584 of bend-collections@1.0.0.0/src/containers/lru.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/containers/lru.bend&start_line=580&end_line=584
import Base
import bend-collections@1.0.0.0/src/math/u64.bend as W
# Lifetime in nanoseconds; zero means entries never expire. It is kept in
# milliseconds, so a deadline is one limb addition.
def set_lifetime_packed(a, -V: Kind(a), f: LRU, +ns: W.U64) -> LRU:
F{cap, n, head, tail, free, m, tab, ks, ents, lk} = f
F{cap, n, head, tail, free, set_life(m, W.div_small_signed(ns, 1000000), W.carry(Bool.not(W.is_zero(ns)))), tab, ks, ents, lk}
Uses (7):
https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/lru.bend&name=LRU
https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/lru.bend&name=set_life
https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/u64.bend&name=U64
https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/u64.bend&name=carry
https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/u64.bend&name=div_small_signed
https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/u64.bend&name=is_zero