def rec.fetched

cswap-bend-cli@0.1.0.0 · collectrun.bend:68

import Base
import cswap-bend-cli@0.1.0.0/urec.bend as Urec
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/ustore.bend as Ustore
import cswap-bend-cli@0.1.0.0/usage.bend as Usage

68def rec.fetched(f: Usage.Fetched, +id: Ustore.Id, +claim: String, +row: Json.Json, +active: Bool, +models: List<&2, String>, +threshold: U32, +now: U32) -> IO(Urec.Rec):
69  match f:
70    case Usage.Fetched{+o, cred}:
71      IO.bind(Json.Json, Urec.Rec, struck_json(outcome_struck(o)), sj => IO.pure(Urec.Rec, rec.of(o, id, claim, row, active, models, threshold, now, sj)))