Web.Internal.MediasourceTypes

Definitions

data ReadyState : Type

Totality: total
Visibility: public export
Constructors:

Closed : ReadyState

Open : ReadyState

Ended : ReadyState

Hints:

Eq ReadyState

FromFFI ReadyState String

Ord ReadyState

Show ReadyState

ToFFI ReadyState String

read : String -> Maybe ReadyState

Totality: total
Visibility: public export

data EndOfStreamError : Type

Totality: total
Visibility: public export
Constructors:

Network : EndOfStreamError

Decode : EndOfStreamError

Hints:

Eq EndOfStreamError

FromFFI EndOfStreamError String

Ord EndOfStreamError

Show EndOfStreamError

ToFFI EndOfStreamError String

read : String -> Maybe EndOfStreamError

Totality: total
Visibility: public export

data AppendMode : Type

Totality: total
Visibility: public export
Constructors:

Segments : AppendMode

Sequence : AppendMode

Hints:

Eq AppendMode

FromFFI AppendMode String

Ord AppendMode

Show AppendMode

ToFFI AppendMode String

read : String -> Maybe AppendMode

Totality: total
Visibility: public export

data MediaSource : Type

Totality: total
Visibility: export
Hints:

FromFFI MediaSource MediaSource

JSType MediaSource

SafeCast MediaSource

ToFFI MediaSource MediaSource

data SourceBuffer : Type

Totality: total
Visibility: export
Hints:

FromFFI SourceBuffer SourceBuffer

JSType SourceBuffer

SafeCast SourceBuffer

ToFFI SourceBuffer SourceBuffer

data SourceBufferList : Type

Totality: total
Visibility: export
Hints:

FromFFI SourceBufferList SourceBufferList

JSType SourceBufferList

SafeCast SourceBufferList

ToFFI SourceBufferList SourceBufferList