0 | module Web.Internal.MediasourceTypes
  1 |
  2 | import JS
  3 |
  4 | %default total
  5 |
  6 |
  7 | --------------------------------------------------------------------------------
  8 | --          Enums
  9 | --------------------------------------------------------------------------------
 10 |
 11 | namespace ReadyState
 12 |
 13 |   public export
 14 |   data ReadyState = Closed | Open | Ended
 15 |
 16 |   public export
 17 |   Show ReadyState where
 18 |     show Closed = "closed"
 19 |     show Open = "open"
 20 |     show Ended = "ended"
 21 |
 22 |   public export
 23 |   Eq ReadyState where
 24 |     (==) = (==) `on` show
 25 |
 26 |   public export
 27 |   Ord ReadyState where
 28 |     compare = compare `on` show
 29 |
 30 |   public export
 31 |   read : String -> Maybe ReadyState
 32 |   read "closed" = Just Closed
 33 |   read "open" = Just Open
 34 |   read "ended" = Just Ended
 35 |   read _ = Nothing
 36 |
 37 |   export
 38 |   ToFFI ReadyState String where
 39 |     toFFI = show
 40 |
 41 |   export
 42 |   FromFFI ReadyState String where
 43 |     fromFFI = read
 44 |
 45 |
 46 | namespace EndOfStreamError
 47 |
 48 |   public export
 49 |   data EndOfStreamError = Network | Decode
 50 |
 51 |   public export
 52 |   Show EndOfStreamError where
 53 |     show Network = "network"
 54 |     show Decode = "decode"
 55 |
 56 |   public export
 57 |   Eq EndOfStreamError where
 58 |     (==) = (==) `on` show
 59 |
 60 |   public export
 61 |   Ord EndOfStreamError where
 62 |     compare = compare `on` show
 63 |
 64 |   public export
 65 |   read : String -> Maybe EndOfStreamError
 66 |   read "network" = Just Network
 67 |   read "decode" = Just Decode
 68 |   read _ = Nothing
 69 |
 70 |   export
 71 |   ToFFI EndOfStreamError String where
 72 |     toFFI = show
 73 |
 74 |   export
 75 |   FromFFI EndOfStreamError String where
 76 |     fromFFI = read
 77 |
 78 |
 79 | namespace AppendMode
 80 |
 81 |   public export
 82 |   data AppendMode = Segments | Sequence
 83 |
 84 |   public export
 85 |   Show AppendMode where
 86 |     show Segments = "segments"
 87 |     show Sequence = "sequence"
 88 |
 89 |   public export
 90 |   Eq AppendMode where
 91 |     (==) = (==) `on` show
 92 |
 93 |   public export
 94 |   Ord AppendMode where
 95 |     compare = compare `on` show
 96 |
 97 |   public export
 98 |   read : String -> Maybe AppendMode
 99 |   read "segments" = Just Segments
100 |   read "sequence" = Just Sequence
101 |   read _ = Nothing
102 |
103 |   export
104 |   ToFFI AppendMode String where
105 |     toFFI = show
106 |
107 |   export
108 |   FromFFI AppendMode String where
109 |     fromFFI = read
110 |
111 |
112 |
113 | --------------------------------------------------------------------------------
114 | --          Interfaces
115 | --------------------------------------------------------------------------------
116 |
117 | export data MediaSource : Type where [external]
118 |
119 | export
120 | ToFFI MediaSource MediaSource where toFFI = id
121 |
122 | export
123 | FromFFI MediaSource MediaSource where fromFFI = Just
124 |
125 | export
126 | SafeCast MediaSource where
127 |   safeCast = unsafeCastOnPrototypeName "MediaSource"
128 |
129 | export data SourceBuffer : Type where [external]
130 |
131 | export
132 | ToFFI SourceBuffer SourceBuffer where toFFI = id
133 |
134 | export
135 | FromFFI SourceBuffer SourceBuffer where fromFFI = Just
136 |
137 | export
138 | SafeCast SourceBuffer where
139 |   safeCast = unsafeCastOnPrototypeName "SourceBuffer"
140 |
141 | export data SourceBufferList : Type where [external]
142 |
143 | export
144 | ToFFI SourceBufferList SourceBufferList where toFFI = id
145 |
146 | export
147 | FromFFI SourceBufferList SourceBufferList where fromFFI = Just
148 |
149 | export
150 | SafeCast SourceBufferList where
151 |   safeCast = unsafeCastOnPrototypeName "SourceBufferList"
152 |