@@ -2,55 +2,62 @@ open WebAudioTypes
22open DOMTypes
33open MediaCaptureAndStreamsTypes
44
5- include BaseAudioContext .Impl ({type t = audioContext })
5+ type t = audioContext = {... audioContext }
6+ type baseAudioContext = WebAudioTypes .baseAudioContext = {... WebAudioTypes .baseAudioContext }
7+ type audioContextOptions = WebAudioTypes .audioContextOptions = {
8+ ... WebAudioTypes .audioContextOptions ,
9+ }
10+ type audioTimestamp = WebAudioTypes .audioTimestamp = {... WebAudioTypes .audioTimestamp }
11+
12+ include BaseAudioContext .Impl ({type t = t })
613
714/**
815[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AudioContext)
916*/
1017@new
11- external make : (~contextOptions : audioContextOptions = ?) => audioContext = "AudioContext"
18+ external make : (~contextOptions : audioContextOptions = ?) => t = "AudioContext"
1219
1320/**
1421[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AudioContext/getOutputTimestamp)
1522*/
1623@send
17- external getOutputTimestamp : audioContext => audioTimestamp = "getOutputTimestamp"
24+ external getOutputTimestamp : t => audioTimestamp = "getOutputTimestamp"
1825
1926/**
2027[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AudioContext/resume)
2128*/
2229@send
23- external resume : audioContext => promise <unit > = "resume"
30+ external resume : t => promise <unit > = "resume"
2431
2532/**
2633[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AudioContext/suspend)
2734*/
2835@send
29- external suspend : audioContext => promise <unit > = "suspend"
36+ external suspend : t => promise <unit > = "suspend"
3037
3138/**
3239[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AudioContext/close)
3340*/
3441@send
35- external close : audioContext => promise <unit > = "close"
42+ external close : t => promise <unit > = "close"
3643
3744/**
3845[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AudioContext/createMediaElementSource)
3946*/
4047@send
41- external createMediaElementSource : (audioContext , htmlMediaElement ) => mediaElementAudioSourceNode =
48+ external createMediaElementSource : (t , htmlMediaElement ) => mediaElementAudioSourceNode =
4249 "createMediaElementSource"
4350
4451/**
4552[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AudioContext/createMediaStreamSource)
4653*/
4754@send
48- external createMediaStreamSource : (audioContext , mediaStream ) => mediaStreamAudioSourceNode =
55+ external createMediaStreamSource : (t , mediaStream ) => mediaStreamAudioSourceNode =
4956 "createMediaStreamSource"
5057
5158/**
5259[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AudioContext/createMediaStreamDestination)
5360*/
5461@send
55- external createMediaStreamDestination : audioContext => mediaStreamAudioDestinationNode =
62+ external createMediaStreamDestination : t => mediaStreamAudioDestinationNode =
5663 "createMediaStreamDestination"
0 commit comments