0 | module Web.Internal.MediastreamTypes

  2 | import JS

  4 | %default total

 11 | namespace MediaStreamTrackState

 13 |   public export

 14 |   data MediaStreamTrackState = Live | Ended

 16 |   public export

 17 |   Show MediaStreamTrackState where

 18 |     show Live = "live"

 19 |     show Ended = "ended"

 21 |   public export

 22 |   Eq MediaStreamTrackState where

 23 |     (==) = (==) `on` show

 25 |   public export

 26 |   Ord MediaStreamTrackState where

 27 |     compare = compare `on` show

 29 |   public export

 30 |   read : String -> Maybe MediaStreamTrackState

 31 |   read "live" = Just Live

 32 |   read "ended" = Just Ended

 33 |   read _ = Nothing

 35 |   export

 36 |   ToFFI MediaStreamTrackState String where

 37 |     toFFI = show

 39 |   export

 40 |   FromFFI MediaStreamTrackState String where

 41 |     fromFFI = read

 44 | namespace VideoFacingModeEnum

 46 |   public export

 47 |   data VideoFacingModeEnum = User | Environment | Left | Right

 49 |   public export

 50 |   Show VideoFacingModeEnum where

 51 |     show User = "user"

 52 |     show Environment = "environment"

 53 |     show Left = "left"

 54 |     show Right = "right"

 56 |   public export

 57 |   Eq VideoFacingModeEnum where

 58 |     (==) = (==) `on` show

 60 |   public export

 61 |   Ord VideoFacingModeEnum where

 62 |     compare = compare `on` show

 64 |   public export

 65 |   read : String -> Maybe VideoFacingModeEnum

 66 |   read "user" = Just User

 67 |   read "environment" = Just Environment

 68 |   read "left" = Just Left

 69 |   read "right" = Just Right

 70 |   read _ = Nothing

 72 |   export

 73 |   ToFFI VideoFacingModeEnum String where

 74 |     toFFI = show

 76 |   export

 77 |   FromFFI VideoFacingModeEnum String where

 78 |     fromFFI = read

 81 | namespace VideoResizeModeEnum

 83 |   public export

 84 |   data VideoResizeModeEnum = None | CropAndScale

 86 |   public export

 87 |   Show VideoResizeModeEnum where

 88 |     show None = "none"

 89 |     show CropAndScale = "crop-and-scale"

 91 |   public export

 92 |   Eq VideoResizeModeEnum where

 93 |     (==) = (==) `on` show

 95 |   public export

 96 |   Ord VideoResizeModeEnum where

 97 |     compare = compare `on` show

 99 |   public export

100 |   read : String -> Maybe VideoResizeModeEnum

101 |   read "none" = Just None

102 |   read "crop-and-scale" = Just CropAndScale

103 |   read _ = Nothing

105 |   export

106 |   ToFFI VideoResizeModeEnum String where

107 |     toFFI = show

109 |   export

110 |   FromFFI VideoResizeModeEnum String where

111 |     fromFFI = read

114 | namespace MediaDeviceKind

116 |   public export

117 |   data MediaDeviceKind = Audioinput | Audiooutput | Videoinput

119 |   public export

120 |   Show MediaDeviceKind where

121 |     show Audioinput = "audioinput"

122 |     show Audiooutput = "audiooutput"

123 |     show Videoinput = "videoinput"

125 |   public export

126 |   Eq MediaDeviceKind where

127 |     (==) = (==) `on` show

129 |   public export

130 |   Ord MediaDeviceKind where

131 |     compare = compare `on` show

133 |   public export

134 |   read : String -> Maybe MediaDeviceKind

135 |   read "audioinput" = Just Audioinput

136 |   read "audiooutput" = Just Audiooutput

137 |   read "videoinput" = Just Videoinput

138 |   read _ = Nothing

140 |   export

141 |   ToFFI MediaDeviceKind String where

142 |     toFFI = show

144 |   export

145 |   FromFFI MediaDeviceKind String where

146 |     fromFFI = read

154 | export data ConstrainablePattern : Type where [external]

157 | ToFFI ConstrainablePattern ConstrainablePattern where toFFI = id

160 | FromFFI ConstrainablePattern ConstrainablePattern where fromFFI = Just

163 | SafeCast ConstrainablePattern where

164 |   safeCast = unsafeCastOnPrototypeName "ConstrainablePattern"

166 | export data InputDeviceInfo : Type where [external]

169 | ToFFI InputDeviceInfo InputDeviceInfo where toFFI = id

172 | FromFFI InputDeviceInfo InputDeviceInfo where fromFFI = Just

175 | SafeCast InputDeviceInfo where

176 |   safeCast = unsafeCastOnPrototypeName "InputDeviceInfo"

178 | export data MediaDeviceInfo : Type where [external]

181 | ToFFI MediaDeviceInfo MediaDeviceInfo where toFFI = id

184 | FromFFI MediaDeviceInfo MediaDeviceInfo where fromFFI = Just

187 | SafeCast MediaDeviceInfo where

188 |   safeCast = unsafeCastOnPrototypeName "MediaDeviceInfo"

190 | export data MediaDevices : Type where [external]

193 | ToFFI MediaDevices MediaDevices where toFFI = id

196 | FromFFI MediaDevices MediaDevices where fromFFI = Just

199 | SafeCast MediaDevices where

200 |   safeCast = unsafeCastOnPrototypeName "MediaDevices"

202 | export data MediaStream : Type where [external]

205 | ToFFI MediaStream MediaStream where toFFI = id

208 | FromFFI MediaStream MediaStream where fromFFI = Just

211 | SafeCast MediaStream where

212 |   safeCast = unsafeCastOnPrototypeName "MediaStream"

214 | export data MediaStreamTrack : Type where [external]

217 | ToFFI MediaStreamTrack MediaStreamTrack where toFFI = id

220 | FromFFI MediaStreamTrack MediaStreamTrack where fromFFI = Just

223 | SafeCast MediaStreamTrack where

224 |   safeCast = unsafeCastOnPrototypeName "MediaStreamTrack"

226 | export data MediaStreamTrackEvent : Type where [external]

229 | ToFFI MediaStreamTrackEvent MediaStreamTrackEvent where toFFI = id

232 | FromFFI MediaStreamTrackEvent MediaStreamTrackEvent where fromFFI = Just

235 | SafeCast MediaStreamTrackEvent where

236 |   safeCast = unsafeCastOnPrototypeName "MediaStreamTrackEvent"

238 | export data OverconstrainedError : Type where [external]

241 | ToFFI OverconstrainedError OverconstrainedError where toFFI = id

244 | FromFFI OverconstrainedError OverconstrainedError where fromFFI = Just

247 | SafeCast OverconstrainedError where

248 |   safeCast = unsafeCastOnPrototypeName "OverconstrainedError"

255 | export data Capabilities : Type where [external]

258 | ToFFI Capabilities Capabilities where toFFI = id

261 | FromFFI Capabilities Capabilities where fromFFI = Just

263 | export data ConstrainBooleanParameters : Type where [external]

266 | ToFFI ConstrainBooleanParameters ConstrainBooleanParameters where toFFI = id

269 | FromFFI ConstrainBooleanParameters ConstrainBooleanParameters where fromFFI = Just

271 | export data ConstrainDOMStringParameters : Type where [external]

274 | ToFFI ConstrainDOMStringParameters ConstrainDOMStringParameters where toFFI = id

277 | FromFFI ConstrainDOMStringParameters ConstrainDOMStringParameters where fromFFI = Just

279 | export data ConstrainDoubleRange : Type where [external]

282 | ToFFI ConstrainDoubleRange ConstrainDoubleRange where toFFI = id

285 | FromFFI ConstrainDoubleRange ConstrainDoubleRange where fromFFI = Just

287 | export data ConstrainULongRange : Type where [external]

290 | ToFFI ConstrainULongRange ConstrainULongRange where toFFI = id

293 | FromFFI ConstrainULongRange ConstrainULongRange where fromFFI = Just

295 | export data ConstraintSet : Type where [external]

298 | ToFFI ConstraintSet ConstraintSet where toFFI = id

301 | FromFFI ConstraintSet ConstraintSet where fromFFI = Just

303 | export data Constraints : Type where [external]

306 | ToFFI Constraints Constraints where toFFI = id

309 | FromFFI Constraints Constraints where fromFFI = Just

311 | export data DoubleRange : Type where [external]

314 | ToFFI DoubleRange DoubleRange where toFFI = id

317 | FromFFI DoubleRange DoubleRange where fromFFI = Just

319 | export data MediaStreamConstraints : Type where [external]

322 | ToFFI MediaStreamConstraints MediaStreamConstraints where toFFI = id

325 | FromFFI MediaStreamConstraints MediaStreamConstraints where fromFFI = Just

327 | export data MediaStreamTrackEventInit : Type where [external]

330 | ToFFI MediaStreamTrackEventInit MediaStreamTrackEventInit where toFFI = id

333 | FromFFI MediaStreamTrackEventInit MediaStreamTrackEventInit where fromFFI = Just

335 | export data MediaTrackCapabilities : Type where [external]

338 | ToFFI MediaTrackCapabilities MediaTrackCapabilities where toFFI = id

341 | FromFFI MediaTrackCapabilities MediaTrackCapabilities where fromFFI = Just

343 | export data MediaTrackConstraintSet : Type where [external]

346 | ToFFI MediaTrackConstraintSet MediaTrackConstraintSet where toFFI = id

349 | FromFFI MediaTrackConstraintSet MediaTrackConstraintSet where fromFFI = Just

351 | export data MediaTrackConstraints : Type where [external]

354 | ToFFI MediaTrackConstraints MediaTrackConstraints where toFFI = id

357 | FromFFI MediaTrackConstraints MediaTrackConstraints where fromFFI = Just

359 | export data MediaTrackSettings : Type where [external]

362 | ToFFI MediaTrackSettings MediaTrackSettings where toFFI = id

365 | FromFFI MediaTrackSettings MediaTrackSettings where fromFFI = Just

367 | export data MediaTrackSupportedConstraints : Type where [external]

370 | ToFFI MediaTrackSupportedConstraints MediaTrackSupportedConstraints where toFFI = id

373 | FromFFI MediaTrackSupportedConstraints MediaTrackSupportedConstraints where fromFFI = Just

375 | export data Settings : Type where [external]

378 | ToFFI Settings Settings where toFFI = id

381 | FromFFI Settings Settings where fromFFI = Just

383 | export data ULongRange : Type where [external]

386 | ToFFI ULongRange ULongRange where toFFI = id

389 | FromFFI ULongRange ULongRange where fromFFI = Just

397 | export data NavigatorUserMediaErrorCallback : Type where [external]

400 | ToFFI NavigatorUserMediaErrorCallback NavigatorUserMediaErrorCallback where toFFI = id

403 | FromFFI NavigatorUserMediaErrorCallback NavigatorUserMediaErrorCallback where fromFFI = Just

405 | export data NavigatorUserMediaSuccessCallback : Type where [external]

408 | ToFFI NavigatorUserMediaSuccessCallback NavigatorUserMediaSuccessCallback where toFFI = id

411 | FromFFI NavigatorUserMediaSuccessCallback NavigatorUserMediaSuccessCallback where fromFFI = Just