def flat_then

bend-lint-rules@0.2.0.0 · layout/format.bend:1308

import bend-lint-rules@0.2.0.0/layout/format.bend as Format
import Base

1308# The Flat of a doc a, then of what follows it.
1309def flat_then(a: Flat, rest: Flat) -> Flat:
1310  match a rest:
1311    case Flat{w, True{}} r:
1312      Flat{w, True{}}
1313    case Flat{w, False{}} Flat{v, b}:
1314      Flat{(w + v: U32), b}

Uses (4)

Used by (1)