0 | module Web.Internal.StreamsTypes
11 | namespace ReadableStreamReaderMode
14 | data ReadableStreamReaderMode = Byob
17 | Show ReadableStreamReaderMode where
21 | Eq ReadableStreamReaderMode where
22 | (==) = (==) `on` show
25 | Ord ReadableStreamReaderMode where
26 | compare = compare `on` show
29 | read : String -> Maybe ReadableStreamReaderMode
30 | read "byob" = Just Byob
34 | ToFFI ReadableStreamReaderMode String where
38 | FromFFI ReadableStreamReaderMode String where
42 | namespace ReadableStreamType
45 | data ReadableStreamType = Bytes
48 | Show ReadableStreamType where
49 | show Bytes = "bytes"
52 | Eq ReadableStreamType where
53 | (==) = (==) `on` show
56 | Ord ReadableStreamType where
57 | compare = compare `on` show
60 | read : String -> Maybe ReadableStreamType
61 | read "bytes" = Just Bytes
65 | ToFFI ReadableStreamType String where
69 | FromFFI ReadableStreamType String where
78 | export data ByteLengthQueuingStrategy : Type where [external]
81 | ToFFI ByteLengthQueuingStrategy ByteLengthQueuingStrategy where toFFI = id
84 | FromFFI ByteLengthQueuingStrategy ByteLengthQueuingStrategy where fromFFI = Just
87 | SafeCast ByteLengthQueuingStrategy where
88 | safeCast = unsafeCastOnPrototypeName "ByteLengthQueuingStrategy"
90 | export data CountQueuingStrategy : Type where [external]
93 | ToFFI CountQueuingStrategy CountQueuingStrategy where toFFI = id
96 | FromFFI CountQueuingStrategy CountQueuingStrategy where fromFFI = Just
99 | SafeCast CountQueuingStrategy where
100 | safeCast = unsafeCastOnPrototypeName "CountQueuingStrategy"
102 | export data ReadableByteStreamController : Type where [external]
105 | ToFFI ReadableByteStreamController ReadableByteStreamController where toFFI = id
108 | FromFFI ReadableByteStreamController ReadableByteStreamController where fromFFI = Just
111 | SafeCast ReadableByteStreamController where
112 | safeCast = unsafeCastOnPrototypeName "ReadableByteStreamController"
114 | export data ReadableStream : Type where [external]
117 | ToFFI ReadableStream ReadableStream where toFFI = id
120 | FromFFI ReadableStream ReadableStream where fromFFI = Just
123 | SafeCast ReadableStream where
124 | safeCast = unsafeCastOnPrototypeName "ReadableStream"
126 | export data ReadableStreamBYOBReader : Type where [external]
129 | ToFFI ReadableStreamBYOBReader ReadableStreamBYOBReader where toFFI = id
132 | FromFFI ReadableStreamBYOBReader ReadableStreamBYOBReader where fromFFI = Just
135 | SafeCast ReadableStreamBYOBReader where
136 | safeCast = unsafeCastOnPrototypeName "ReadableStreamBYOBReader"
138 | export data ReadableStreamBYOBRequest : Type where [external]
141 | ToFFI ReadableStreamBYOBRequest ReadableStreamBYOBRequest where toFFI = id
144 | FromFFI ReadableStreamBYOBRequest ReadableStreamBYOBRequest where fromFFI = Just
147 | SafeCast ReadableStreamBYOBRequest where
148 | safeCast = unsafeCastOnPrototypeName "ReadableStreamBYOBRequest"
150 | export data ReadableStreamDefaultController : Type where [external]
153 | ToFFI ReadableStreamDefaultController ReadableStreamDefaultController where toFFI = id
156 | FromFFI ReadableStreamDefaultController ReadableStreamDefaultController where fromFFI = Just
159 | SafeCast ReadableStreamDefaultController where
160 | safeCast = unsafeCastOnPrototypeName "ReadableStreamDefaultController"
162 | export data ReadableStreamDefaultReader : Type where [external]
165 | ToFFI ReadableStreamDefaultReader ReadableStreamDefaultReader where toFFI = id
168 | FromFFI ReadableStreamDefaultReader ReadableStreamDefaultReader where fromFFI = Just
171 | SafeCast ReadableStreamDefaultReader where
172 | safeCast = unsafeCastOnPrototypeName "ReadableStreamDefaultReader"
174 | export data TransformStream : Type where [external]
177 | ToFFI TransformStream TransformStream where toFFI = id
180 | FromFFI TransformStream TransformStream where fromFFI = Just
183 | SafeCast TransformStream where
184 | safeCast = unsafeCastOnPrototypeName "TransformStream"
186 | export data TransformStreamDefaultController : Type where [external]
189 | ToFFI TransformStreamDefaultController TransformStreamDefaultController where toFFI = id
192 | FromFFI TransformStreamDefaultController TransformStreamDefaultController where fromFFI = Just
195 | SafeCast TransformStreamDefaultController where
196 | safeCast = unsafeCastOnPrototypeName "TransformStreamDefaultController"
198 | export data WritableStream : Type where [external]
201 | ToFFI WritableStream WritableStream where toFFI = id
204 | FromFFI WritableStream WritableStream where fromFFI = Just
207 | SafeCast WritableStream where
208 | safeCast = unsafeCastOnPrototypeName "WritableStream"
210 | export data WritableStreamDefaultController : Type where [external]
213 | ToFFI WritableStreamDefaultController WritableStreamDefaultController where toFFI = id
216 | FromFFI WritableStreamDefaultController WritableStreamDefaultController where fromFFI = Just
219 | SafeCast WritableStreamDefaultController where
220 | safeCast = unsafeCastOnPrototypeName "WritableStreamDefaultController"
222 | export data WritableStreamDefaultWriter : Type where [external]
225 | ToFFI WritableStreamDefaultWriter WritableStreamDefaultWriter where toFFI = id
228 | FromFFI WritableStreamDefaultWriter WritableStreamDefaultWriter where fromFFI = Just
231 | SafeCast WritableStreamDefaultWriter where
232 | safeCast = unsafeCastOnPrototypeName "WritableStreamDefaultWriter"
239 | export data QueuingStrategy : Type where [external]
242 | ToFFI QueuingStrategy QueuingStrategy where toFFI = id
245 | FromFFI QueuingStrategy QueuingStrategy where fromFFI = Just
247 | export data QueuingStrategyInit : Type where [external]
250 | ToFFI QueuingStrategyInit QueuingStrategyInit where toFFI = id
253 | FromFFI QueuingStrategyInit QueuingStrategyInit where fromFFI = Just
255 | export data ReadableStreamBYOBReadResult : Type where [external]
258 | ToFFI ReadableStreamBYOBReadResult ReadableStreamBYOBReadResult where toFFI = id
261 | FromFFI ReadableStreamBYOBReadResult ReadableStreamBYOBReadResult where fromFFI = Just
263 | export data ReadableStreamDefaultReadResult : Type where [external]
266 | ToFFI ReadableStreamDefaultReadResult ReadableStreamDefaultReadResult where toFFI = id
269 | FromFFI ReadableStreamDefaultReadResult ReadableStreamDefaultReadResult where fromFFI = Just
271 | export data ReadableStreamGetReaderOptions : Type where [external]
274 | ToFFI ReadableStreamGetReaderOptions ReadableStreamGetReaderOptions where toFFI = id
277 | FromFFI ReadableStreamGetReaderOptions ReadableStreamGetReaderOptions where fromFFI = Just
279 | export data ReadableStreamIteratorOptions : Type where [external]
282 | ToFFI ReadableStreamIteratorOptions ReadableStreamIteratorOptions where toFFI = id
285 | FromFFI ReadableStreamIteratorOptions ReadableStreamIteratorOptions where fromFFI = Just
287 | export data ReadableWritablePair : Type where [external]
290 | ToFFI ReadableWritablePair ReadableWritablePair where toFFI = id
293 | FromFFI ReadableWritablePair ReadableWritablePair where fromFFI = Just
295 | export data StreamPipeOptions : Type where [external]
298 | ToFFI StreamPipeOptions StreamPipeOptions where toFFI = id
301 | FromFFI StreamPipeOptions StreamPipeOptions where fromFFI = Just
303 | export data Transformer : Type where [external]
306 | ToFFI Transformer Transformer where toFFI = id
309 | FromFFI Transformer Transformer where fromFFI = Just
311 | export data UnderlyingSink : Type where [external]
314 | ToFFI UnderlyingSink UnderlyingSink where toFFI = id
317 | FromFFI UnderlyingSink UnderlyingSink where fromFFI = Just
319 | export data UnderlyingSource : Type where [external]
322 | ToFFI UnderlyingSource UnderlyingSource where toFFI = id
325 | FromFFI UnderlyingSource UnderlyingSource where fromFFI = Just
332 | export data GenericTransformStream : Type where [external]
335 | ToFFI GenericTransformStream GenericTransformStream where toFFI = id
338 | FromFFI GenericTransformStream GenericTransformStream where fromFFI = Just
340 | export data ReadableStreamGenericReader : Type where [external]
343 | ToFFI ReadableStreamGenericReader ReadableStreamGenericReader where toFFI = id
346 | FromFFI ReadableStreamGenericReader ReadableStreamGenericReader where fromFFI = Just
353 | export data QueuingStrategySize : Type where [external]
356 | ToFFI QueuingStrategySize QueuingStrategySize where toFFI = id
359 | FromFFI QueuingStrategySize QueuingStrategySize where fromFFI = Just
361 | export data TransformerFlushCallback : Type where [external]
364 | ToFFI TransformerFlushCallback TransformerFlushCallback where toFFI = id
367 | FromFFI TransformerFlushCallback TransformerFlushCallback where fromFFI = Just
369 | export data TransformerStartCallback : Type where [external]
372 | ToFFI TransformerStartCallback TransformerStartCallback where toFFI = id
375 | FromFFI TransformerStartCallback TransformerStartCallback where fromFFI = Just
377 | export data TransformerTransformCallback : Type where [external]
380 | ToFFI TransformerTransformCallback TransformerTransformCallback where toFFI = id
383 | FromFFI TransformerTransformCallback TransformerTransformCallback where fromFFI = Just
385 | export data UnderlyingSinkAbortCallback : Type where [external]
388 | ToFFI UnderlyingSinkAbortCallback UnderlyingSinkAbortCallback where toFFI = id
391 | FromFFI UnderlyingSinkAbortCallback UnderlyingSinkAbortCallback where fromFFI = Just
393 | export data UnderlyingSinkCloseCallback : Type where [external]
396 | ToFFI UnderlyingSinkCloseCallback UnderlyingSinkCloseCallback where toFFI = id
399 | FromFFI UnderlyingSinkCloseCallback UnderlyingSinkCloseCallback where fromFFI = Just
401 | export data UnderlyingSinkStartCallback : Type where [external]
404 | ToFFI UnderlyingSinkStartCallback UnderlyingSinkStartCallback where toFFI = id
407 | FromFFI UnderlyingSinkStartCallback UnderlyingSinkStartCallback where fromFFI = Just
409 | export data UnderlyingSinkWriteCallback : Type where [external]
412 | ToFFI UnderlyingSinkWriteCallback UnderlyingSinkWriteCallback where toFFI = id
415 | FromFFI UnderlyingSinkWriteCallback UnderlyingSinkWriteCallback where fromFFI = Just
417 | export data UnderlyingSourceCancelCallback : Type where [external]
420 | ToFFI UnderlyingSourceCancelCallback UnderlyingSourceCancelCallback where toFFI = id
423 | FromFFI UnderlyingSourceCancelCallback UnderlyingSourceCancelCallback where fromFFI = Just
425 | export data UnderlyingSourcePullCallback : Type where [external]
428 | ToFFI UnderlyingSourcePullCallback UnderlyingSourcePullCallback where toFFI = id
431 | FromFFI UnderlyingSourcePullCallback UnderlyingSourcePullCallback where fromFFI = Just
433 | export data UnderlyingSourceStartCallback : Type where [external]
436 | ToFFI UnderlyingSourceStartCallback UnderlyingSourceStartCallback where toFFI = id
439 | FromFFI UnderlyingSourceStartCallback UnderlyingSourceStartCallback where fromFFI = Just