0 | module Web.Raw.Mediasource

  2 | import JS

  3 | import Web.Internal.MediasourcePrim

  4 | import Web.Internal.Types

  6 | %default total

 13 | namespace MediaSource

 15 |   export

 16 |   new : JSIO MediaSource

 17 |   new = primJS $ MediaSource.prim__new

 20 |   export

 21 |   isTypeSupported : (type : String) -> JSIO Bool

 22 |   isTypeSupported a = tryJS "MediaSource.isTypeSupported" $

 23 |     MediaSource.prim__isTypeSupported a

 26 |   export

 27 |   activeSourceBuffers : (obj : MediaSource) -> JSIO SourceBufferList

 28 |   activeSourceBuffers a = primJS $ MediaSource.prim__activeSourceBuffers a

 31 |   export

 32 |   duration : MediaSource -> Attribute True Prelude.id Double

 33 |   duration v = fromPrim

 34 |                  "MediaSource.getduration"

 35 |                  prim__duration

 36 |                  prim__setDuration

 37 |                  v

 40 |   export

 41 |   onsourceclose : MediaSource -> Attribute False Maybe EventHandlerNonNull

 42 |   onsourceclose v = fromNullablePrim

 43 |                       "MediaSource.getonsourceclose"

 44 |                       prim__onsourceclose

 45 |                       prim__setOnsourceclose

 46 |                       v

 49 |   export

 50 |   onsourceended : MediaSource -> Attribute False Maybe EventHandlerNonNull

 51 |   onsourceended v = fromNullablePrim

 52 |                       "MediaSource.getonsourceended"

 53 |                       prim__onsourceended

 54 |                       prim__setOnsourceended

 55 |                       v

 58 |   export

 59 |   onsourceopen : MediaSource -> Attribute False Maybe EventHandlerNonNull

 60 |   onsourceopen v = fromNullablePrim

 61 |                      "MediaSource.getonsourceopen"

 62 |                      prim__onsourceopen

 63 |                      prim__setOnsourceopen

 64 |                      v

 67 |   export

 68 |   readyState : (obj : MediaSource) -> JSIO ReadyState

 69 |   readyState a = tryJS "MediaSource.readyState" $ MediaSource.prim__readyState a

 72 |   export

 73 |   sourceBuffers : (obj : MediaSource) -> JSIO SourceBufferList

 74 |   sourceBuffers a = primJS $ MediaSource.prim__sourceBuffers a

 77 |   export

 78 |   addSourceBuffer : (obj : MediaSource) -> (type : String) -> JSIO SourceBuffer

 79 |   addSourceBuffer a b = primJS $ MediaSource.prim__addSourceBuffer a b

 82 |   export

 83 |   clearLiveSeekableRange : (obj : MediaSource) -> JSIO ()

 84 |   clearLiveSeekableRange a = primJS $ MediaSource.prim__clearLiveSeekableRange a

 87 |   export

 88 |   endOfStream' :

 89 |        (obj : MediaSource)

 90 |     -> (error : Optional EndOfStreamError)

 91 |     -> JSIO ()

 92 |   endOfStream' a b = primJS $ MediaSource.prim__endOfStream a (toFFI b)

 94 |   export

 95 |   endOfStream : (obj : MediaSource) -> JSIO ()

 96 |   endOfStream a = primJS $ MediaSource.prim__endOfStream a undef

 99 |   export

100 |   removeSourceBuffer :

101 |        (obj : MediaSource)

102 |     -> (sourceBuffer : SourceBuffer)

103 |     -> JSIO ()

104 |   removeSourceBuffer a b = primJS $ MediaSource.prim__removeSourceBuffer a b

107 |   export

108 |   setLiveSeekableRange :

109 |        (obj : MediaSource)

110 |     -> (start : Double)

111 |     -> (end : Double)

112 |     -> JSIO ()

113 |   setLiveSeekableRange a b c = primJS $

114 |     MediaSource.prim__setLiveSeekableRange a b c

118 | namespace SourceBuffer

120 |   export

121 |   appendWindowEnd : SourceBuffer -> Attribute True Prelude.id Double

122 |   appendWindowEnd v = fromPrim

123 |                         "SourceBuffer.getappendWindowEnd"

124 |                         prim__appendWindowEnd

125 |                         prim__setAppendWindowEnd

126 |                         v

129 |   export

130 |   appendWindowStart : SourceBuffer -> Attribute True Prelude.id Double

131 |   appendWindowStart v = fromPrim

132 |                           "SourceBuffer.getappendWindowStart"

133 |                           prim__appendWindowStart

134 |                           prim__setAppendWindowStart

135 |                           v

138 |   export

139 |   audioTracks : (obj : SourceBuffer) -> JSIO AudioTrackList

140 |   audioTracks a = primJS $ SourceBuffer.prim__audioTracks a

143 |   export

144 |   buffered : (obj : SourceBuffer) -> JSIO TimeRanges

145 |   buffered a = primJS $ SourceBuffer.prim__buffered a

148 |   export

149 |   mode : SourceBuffer -> Attribute True Prelude.id AppendMode

150 |   mode v = fromPrim "SourceBuffer.getmode" prim__mode prim__setMode v

153 |   export

154 |   onabort : SourceBuffer -> Attribute False Maybe EventHandlerNonNull

155 |   onabort v = fromNullablePrim

156 |                 "SourceBuffer.getonabort"

157 |                 prim__onabort

158 |                 prim__setOnabort

159 |                 v

162 |   export

163 |   onerror : SourceBuffer -> Attribute False Maybe EventHandlerNonNull

164 |   onerror v = fromNullablePrim

165 |                 "SourceBuffer.getonerror"

166 |                 prim__onerror

167 |                 prim__setOnerror

168 |                 v

171 |   export

172 |   onupdate : SourceBuffer -> Attribute False Maybe EventHandlerNonNull

173 |   onupdate v = fromNullablePrim

174 |                  "SourceBuffer.getonupdate"

175 |                  prim__onupdate

176 |                  prim__setOnupdate

177 |                  v

180 |   export

181 |   onupdateend : SourceBuffer -> Attribute False Maybe EventHandlerNonNull

182 |   onupdateend v = fromNullablePrim

183 |                     "SourceBuffer.getonupdateend"

184 |                     prim__onupdateend

185 |                     prim__setOnupdateend

186 |                     v

189 |   export

190 |   onupdatestart : SourceBuffer -> Attribute False Maybe EventHandlerNonNull

191 |   onupdatestart v = fromNullablePrim

192 |                       "SourceBuffer.getonupdatestart"

193 |                       prim__onupdatestart

194 |                       prim__setOnupdatestart

195 |                       v

198 |   export

199 |   textTracks : (obj : SourceBuffer) -> JSIO TextTrackList

200 |   textTracks a = primJS $ SourceBuffer.prim__textTracks a

203 |   export

204 |   timestampOffset : SourceBuffer -> Attribute True Prelude.id Double

205 |   timestampOffset v = fromPrim

206 |                         "SourceBuffer.gettimestampOffset"

207 |                         prim__timestampOffset

208 |                         prim__setTimestampOffset

209 |                         v

212 |   export

213 |   updating : (obj : SourceBuffer) -> JSIO Bool

214 |   updating a = tryJS "SourceBuffer.updating" $ SourceBuffer.prim__updating a

217 |   export

218 |   videoTracks : (obj : SourceBuffer) -> JSIO VideoTrackList

219 |   videoTracks a = primJS $ SourceBuffer.prim__videoTracks a

222 |   export

223 |   abort : (obj : SourceBuffer) -> JSIO ()

224 |   abort a = primJS $ SourceBuffer.prim__abort a

227 |   export

228 |   appendBuffer :

229 |        (obj : SourceBuffer)

230 |     -> (data_ : HSum

231 |                   [ Int8Array

232 |                   , Int16Array

233 |                   , Int32Array

234 |                   , UInt8Array

235 |                   , UInt8Array

236 |                   , UInt8Array

237 |                   , UInt8ClampedArray

238 |                   , Float32Array

239 |                   , Float64Array

240 |                   , DataView

241 |                   , ArrayBuffer

242 |                   ])

243 |     -> JSIO ()

244 |   appendBuffer a b = primJS $ SourceBuffer.prim__appendBuffer a (toFFI b)

247 |   export

248 |   remove : (obj : SourceBuffer) -> (start : Double) -> (end : Double) -> JSIO ()

249 |   remove a b c = primJS $ SourceBuffer.prim__remove a b c

253 | namespace SourceBufferList

255 |   export

256 |   get : (obj : SourceBufferList) -> (index : Bits32) -> JSIO SourceBuffer

257 |   get a b = primJS $ SourceBufferList.prim__get a b

260 |   export

261 |   length : (obj : SourceBufferList) -> JSIO Bits32

262 |   length a = primJS $ SourceBufferList.prim__length a

265 |   export

266 |   onaddsourcebuffer :

267 |        SourceBufferList

268 |     -> Attribute False Maybe EventHandlerNonNull

269 |   onaddsourcebuffer v = fromNullablePrim

270 |                           "SourceBufferList.getonaddsourcebuffer"

271 |                           prim__onaddsourcebuffer

272 |                           prim__setOnaddsourcebuffer

273 |                           v

276 |   export

277 |   onremovesourcebuffer :

278 |        SourceBufferList

279 |     -> Attribute False Maybe EventHandlerNonNull

280 |   onremovesourcebuffer v = fromNullablePrim

281 |                              "SourceBufferList.getonremovesourcebuffer"

282 |                              prim__onremovesourcebuffer

283 |                              prim__setOnremovesourcebuffer

284 |                              v