def Slot.complete.if

bend-kit-cache@0.3.0.0 · cache.bend:81

import Base

81def Slot.complete.if(-V: Data, ok: Bool, n: Nat, f: Nat, m: Maybe<&2, Entry<V>>, g: Nat, e: Entry<V>) -> Slot<V>:
82  match ok:
83    case True{}:
84      Slot{n, 1n+g, Some{e}}
85    case False{}:
86      Slot{n, f, m}