def open.riff

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

import Base

359def open.riff(xs: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
360  match xs:
361    case +a <> +b <> +c <> +d <> +s0 <> +s1 <> +s2 <> +s3 <> +w0 <> +w1 <> +w2 <> +w3 <> rest:
362      open.ok(
363        U32.is_eq(be.u32(a, b, c, d), tag.riff()) && U32.is_eq(be.u32(w0, w1, w2, w3), tag.wave()),
364        rest)
365    case _:
366      None{}