def write.some

emerging-ezaudio@0.4.0.0 · src/wav.bend:463

import Base

463def write.some(
464  +rate: U32, +ch: U32, +kind: U32, frames: List<&2, U32>, pcm: List<&2, U32>
465) -> Maybe<&2, List<&2, U32>>:
466  nb = enc.bytes(kind, U32.from_nat(List.length(&2, U32, frames)))
467  Some{enc.cat(enc.head(rate, ch, kind, nb), pcm)}