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)}}