def Caps.sets_or

bend-osdev-caps@0.1.0.0 · caps.bend:559

import bend-osdev-caps@0.1.0.0/caps.bend as Caps

import Base

559# the sets after a call, or s if it failed
560def Caps.sets_or(r: Result<&2, &2, CapsError, CapCred>, s: CapState) -> CapState:
561  match r:
562    case Done{x}:
563      CapCred.sets(x)
564    case Fail{e}:
565      s

Uses (5)

Used by (2)