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{}

Uses (11)

Used by (1)