def col.of

bend-kit-postgres@0.3.0.0 · codec.bend:383

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

383def col.of(null: Bool, +n: U32, c: Cur) -> Cur & Maybe<&1, Bytes.Bytes>:
384  match null:
385    case True{}:
386      (c, None{})
387    case False{}:
388      col.some(take(c, n))