def enc.head

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

import Base

449def enc.head(+rate: U32, +ch: U32, +kind: U32, +nb: U32) -> List<&2, U32>:
450  enc.cat(put.be(tag.riff()),
451    enc.cat(put.u32((36 + nb : U32)),
452      enc.cat(put.be(tag.wave()),
453        enc.cat(put.be(tag.fmt()),
454          enc.cat(put.u32(16),
455            enc.cat(put.u16(kind),
456              enc.cat(put.u16(ch),
457                enc.cat(put.u32(rate),
458                  enc.cat(put.u32((rate * align.of(kind, ch) : U32)),
459                    enc.cat(put.u16(align.of(kind, ch)),
460                      enc.cat(put.u16(width.of(kind)),
461                        enc.cat(put.be(tag.data()), put.u32(nb)))))))))))))