def delim.pick

bend-toon-codec@0.1.0.0 · src/hdr.bend:114

import Base
import bend-toon-codec@0.1.0.0/src/head.bend as Hd

114def delim.pick(+tab: Bool, +pipe: Bool, +comma: Bool, +n: U32, +s: String) -> Result<&2, &2, String, Hdr>:
115  match tab pipe comma:
116    case True{} _ _:
117      after(n, 9, Hd.drop(Hd.drop(s)))
118    case False{} True{} _:
119      after(n, 124, Hd.drop(Hd.drop(s)))
120    case False{} False{} True{}:
121      after(n, 44, Hd.drop(s))
122    case False{} False{} False{}:
123      bad("invalid array length")