def fmt.ok
emerging-ezaudio@0.4.0.0 · src/wav.bend:96
import emerging-ezaudio@0.4.0.0/src/wav.bend as Wav
import Base
96def fmt.ok(+kind: U32, +ch: U32, +rate: U32, +br: U32, +al: U32, +bits: U32) -> Maybe<&2, Fm>:
97 match kind ch bits:
98 case 1 1 16:
99 fmt.rate(U32.is_eq(al, 2) && U32.is_eq(br, (rate * 2 : U32)) && U32.is_ne(rate, 0), kind, ch, rate)
100 case 1 2 16:
101 fmt.rate(U32.is_eq(al, 4) && U32.is_eq(br, (rate * 4 : U32)) && U32.is_ne(rate, 0), kind, ch, rate)
102 case 3 1 32:
103 fmt.rate(U32.is_eq(al, 4) && U32.is_eq(br, (rate * 4 : U32)) && U32.is_ne(rate, 0), kind, ch, rate)
104 case 3 2 32:
105 fmt.rate(U32.is_eq(al, 8) && U32.is_eq(br, (rate * 8 : U32)) && U32.is_ne(rate, 0), kind, ch, rate)
106 case _ _ _:
107 None{}