def refresh_opt

cswap-bend-cli@0.1.0.0 · daemon/collect.bend:101

import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/store/base.bend as SBase
import cswap-bend-cli@0.1.0.0/daemon/config.bend as Cfg
import cswap-bend-cli@0.1.0.0/daemon/gather.bend as G

101def refresh_opt(+ctx: SBase.Ctx, +cfg: Cfg.Cfg, +now: U32, +m: Maybe<&2, G.Snap>) -> Act.of(Maybe<&2, G.Snap>):
102  match m:
103    case None{}:
104      Act.pure(Maybe<&2, G.Snap>, None{})
105    case Some{s}:
106      Act.bind(G.Snap, Maybe<&2, G.Snap>, refresh(ctx, cfg, now, s), r => some(r))