def pace.pick

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

import cswap-bend-cli@0.1.0.0/view.bend as View
import Base
import cswap-bend-cli@0.1.0.0/poll.bend as Poll

123def pace.pick(early: Bool, +p: U32, +elapsed: U32, +fetched: U32) -> Maybe<&2, Pace>:
124  match early:
125    case True{}:
126      None{}
127    case False{}:
128      Some{Pace{Poll.min_u(1000, ((elapsed * 1000 * 2 + 604800) / 1209600 : U32)),
129        U32.is_ge((p * 604800 : U32), ((elapsed * 1000 + 150 * 604800) : U32)), eta.of(p, elapsed, fetched), last.of(p, elapsed)}}

Uses (11)

Used by (1)