def Record.problem

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

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

112# The record back, and the first business rule it breaks.
113def Record.problem(r: Record) -> Record & Maybe<&2, Key>:
114  match r:
115    case R1{V1{i, Bytes.Bytes{+len, buf}, +c, a}}:
116      (R1{V1{i, Bytes.Bytes{len, buf}, c, a}}, Terms.problem(len, c))
117    case R2{V2{i, Bytes.Bytes{+len, buf}, +c, pe, s, n}}:
118      (R2{V2{i, Bytes.Bytes{len, buf}, c, pe, s, n}}, Terms.problem(len, c))
119    case R3{V3{i, Bytes.Bytes{+len, buf}, +c, pe, s}}:
120      (R3{V3{i, Bytes.Bytes{len, buf}, c, pe, s}}, Terms.problem(len, c))