def pace.reset

cswap-bend-cli@0.1.0.0 · view.bend:134

import Base

134def pace.reset(p: Maybe<&2, U32>, r: Maybe<&2, U32>, +fetched: U32) -> Maybe<&2, Pace>:
135  match p r:
136    case Some{x} Some{t}:
137      pace.mk(x, elapsed_of(t, fetched), fetched)
138    case _ _:
139      None{}