def Slots.set

bend-kit-migrate@0.3.0.0 · migrate.bend:384

import Base

384def Slots.set(k: Key, x: Scalar, s: Slots) -> Result<&1, &1, Error, Slots>:
385  match k:
386    case KVersion{}:
387      Slots{ve, i, p, mc, a, c, pe, st, n} = s
388      Result.map(&1, &1, Error, Maybe<&1, Scalar>, Slots, m => Slots{m, i, p, mc, a, c, pe, st, n}, slot.fill(ve, x, KVersion{}))
389    case KId{}:
390      Slots{ve, i, p, mc, a, c, pe, st, n} = s
391      Result.map(&1, &1, Error, Maybe<&1, Scalar>, Slots, m => Slots{ve, m, p, mc, a, c, pe, st, n}, slot.fill(i, x, KId{}))
392    case KPlan{}:
393      Slots{ve, i, p, mc, a, c, pe, st, n} = s
394      Result.map(&1, &1, Error, Maybe<&1, Scalar>, Slots, m => Slots{ve, i, m, mc, a, c, pe, st, n}, slot.fill(p, x, KPlan{}))
395    case KMonthlyCents{}:
396      Slots{ve, i, p, mc, a, c, pe, st, n} = s
397      Result.map(&1, &1, Error, Maybe<&1, Scalar>, Slots, m => Slots{ve, i, p, m, a, c, pe, st, n}, slot.fill(mc, x, KMonthlyCents{}))
398    case KActive{}:
399      Slots{ve, i, p, mc, a, c, pe, st, n} = s
400      Result.map(&1, &1, Error, Maybe<&1, Scalar>, Slots, m => Slots{ve, i, p, mc, m, c, pe, st, n}, slot.fill(a, x, KActive{}))
401    case KCents{}:
402      Slots{ve, i, p, mc, a, c, pe, st, n} = s
403      Result.map(&1, &1, Error, Maybe<&1, Scalar>, Slots, m => Slots{ve, i, p, mc, a, m, pe, st, n}, slot.fill(c, x, KCents{}))
404    case KPeriod{}:
405      Slots{ve, i, p, mc, a, c, pe, st, n} = s
406      Result.map(&1, &1, Error, Maybe<&1, Scalar>, Slots, m => Slots{ve, i, p, mc, a, c, m, st, n}, slot.fill(pe, x, KPeriod{}))
407    case KStatus{}:
408      Slots{ve, i, p, mc, a, c, pe, st, n} = s
409      Result.map(&1, &1, Error, Maybe<&1, Scalar>, Slots, m => Slots{ve, i, p, mc, a, c, pe, m, n}, slot.fill(st, x, KStatus{}))
410    case KNote{}:
411      Slots{ve, i, p, mc, a, c, pe, st, n} = s
412      Result.map(&1, &1, Error, Maybe<&1, Scalar>, Slots, m => Slots{ve, i, p, mc, a, c, pe, st, m}, slot.fill(n, x, KNote{}))