type Event = AudioTracks AudioTracks
| BeforeComplete BeforeComplete
| BeforePlay BeforePlay
| Breakpoint Breakpoint
| Buffer Buffer
| BufferChange BufferChange
| BufferFull BufferFull
| CaptionsChanged CaptionsChanged
| CaptionsList CaptionsList
| Click Click
| Complete Complete
| Controls Controls
| DisplayClick DisplayClick
| FirstFrame FirstFrame
| Fullscreen Fullscreen
| Idle Idle
| Levels Levels
| LevelsChanged LevelsChanged
| MediaType MediaType
| Mute Mute
| Pause Pause
| PipEnter PipEnter
| PipLeave PipLeave
| Play Play
| PlayAttempt PlayAttempt
| PlaybackRateChanged PlaybackRateChanged
| Playlist Playlist
| PlaylistComplete PlaylistComplete
| PlaylistItem PlaylistItem
| ProviderFirstFrame ProviderFirstFrame
| Ready Ready
| Remove Remove
| Resize Resize
| Seek Seek
| Seeked Seeked
| SetupError SetupError
| SubtitlesTrackChanged SubtitlesTrackChanged
| SubtitlesTracks SubtitlesTracks
| Time Time
| UserActive UserActive
| UserInactive UserInactive
| Viewable Viewable
| VisualQuality VisualQuality
| Volume Volume
A JSON decoder.
A JSON encoder.
Converts an event into a tag describing which type it is.