package tiny_libs

  1. Overview
  2. Docs
From-scratch libraries for teaching: graphics, audio, compression, crypto, networking and more

Install

dune-project
 Dependency

Authors

Maintainers

Sources

0.3.6.tar.gz
md5=7c636383d146d30ac6f2fa234a6253c8
sha512=c79f3823c5f8f57e5038eb640d487c61168b84aa07c61999d6622ef9fd0c890e2b03b4c6a7cdbbe9352a49e25dda00ac7bb14693cee8e3d7beeed251351a2af0

doc/src/tiny_libs.audio_mpeg/Mpeg_audio.ml.html

Source file Mpeg_audio.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
(* Claude Code
 *
 * Copyright (C) 2026 Yoann Padioleau
 *
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Library General Public License
 * (LGPL) as published by the Free Software Foundation; either version
 * 2 of the License, or (at your option) any later version.
 *)

(* See Mpeg_audio.mli *)

let decode (s : string) : (Mpeg_audio_header.t * Signal.stereo, string) result =
  match Mpeg_audio_header.frames s with
  | [] -> Error "no MPEG audio frame"
  | (_, first) :: _ when first.layer = 1 -> Error "MPEG audio Layer I: not read"
  | (_, first) :: _ as frames ->
      let total = List.fold_left (fun n (_, (h : Mpeg_audio_header.t)) -> n + h.samples) 0 frames in
      let left = Array.make total 0. and right = Array.make total 0. in
      let filters = [| Polyphase.create (); Polyphase.create () |] in
      let bits = Bits.of_string s in
      let layer3 = Layer3.create () in
      let at = ref 0 in
      List.iter
        (fun (pos, (h : Mpeg_audio_header.t)) ->
          Bits.seek bits (8 * (pos + 4 + if h.crc then 2 else 0));
          (* the subband samples, per channel, time slot after time slot *)
          let subbands = if h.layer = 2 then Layer2.decode h bits else Layer3.decode layer3 h s pos in
          let slots = h.samples / 32 in
          Array.iteri
            (fun ch samples ->
              let out = if ch = 0 then left else right in
              for t = 0 to slots - 1 do
                Polyphase.synthesize filters.(ch) (Array.sub samples (t * 32) 32) out (!at + (t * 32))
              done)
            subbands;
          if h.channels = 1 then Array.blit left !at right !at h.samples;
          at := !at + h.samples)
        frames;
      Ok (first, { Signal.left; right })