def lines.measured

cswap-bend-cli@0.1.0.0 · clilist.bend:58

import Base
import cswap-bend-cli@0.1.0.0/pollrow.bend as Pollrow
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/render.bend as Render

58def lines.measured(has: Bool, +lg: Json.Json, +fetched: Maybe<&2, U32>, +now: U32, +off: U32, le: Maybe<&2, String>) -> List<&2, String>:
59  match has:
60    case True{}:
61      Render.measured(lg, fetched, Pollrow.age_of(fetched, now), now, off)
62    case False{}:
63      Render.unavailable(le)