Web.Raw.Streams

(source)

Definitions

new : {auto 0 {conArg:3573} : JSType t1} -> {auto 0 _ : Elem QueuingStrategyInit (Types t1)} -> t1 -> JSIO ByteLengthQueuingStrategy: Totality: total
Visibility: export
highWaterMark : ByteLengthQueuingStrategy -> JSIO Double: Totality: total
Visibility: export
size : ByteLengthQueuingStrategy -> JSIO Function: Totality: total
Visibility: export
new : {auto 0 {conArg:3613} : JSType t1} -> {auto 0 _ : Elem QueuingStrategyInit (Types t1)} -> t1 -> JSIO CountQueuingStrategy: Totality: total
Visibility: export
highWaterMark : CountQueuingStrategy -> JSIO Double: Totality: total
Visibility: export
size : CountQueuingStrategy -> JSIO Function: Totality: total
Visibility: export
byobRequest : ReadableByteStreamController -> JSIO (Maybe ReadableStreamBYOBRequest): Totality: total
Visibility: export
desiredSize : ReadableByteStreamController -> JSIO (Maybe Double): Totality: total
Visibility: export
close : ReadableByteStreamController -> JSIO (): Totality: total
Visibility: export
enqueue : ReadableByteStreamController -> HSum [Int8Array, Int16Array, Int32Array, UInt8Array, UInt8Array, UInt8Array, UInt8ClampedArray, Float32Array, Float64Array, DataView] -> JSIO (): Totality: total
Visibility: export
error' : ReadableByteStreamController -> Optional Any -> JSIO (): Totality: total
Visibility: export
error : ReadableByteStreamController -> JSIO (): Totality: total
Visibility: export
new' : {auto 0 {conArg:3850} : JSType t1} -> {auto 0 {conArg:3853} : JSType t2} -> {auto 0 _ : Elem Object (Types t1)} -> {auto 0 _ : Elem QueuingStrategy (Types t2)} -> Optional t1 -> Optional t2 -> JSIO ReadableStream: Totality: total
Visibility: export
new : JSIO ReadableStream: Totality: total
Visibility: export
locked : ReadableStream -> JSIO Bool: Totality: total
Visibility: export
cancel' : ReadableStream -> Optional Any -> JSIO (Promise Undefined): Totality: total
Visibility: export
cancel : ReadableStream -> JSIO (Promise Undefined): Totality: total
Visibility: export
getReader' : {auto 0 {conArg:3939} : JSType t2} -> {auto 0 _ : Elem ReadableStreamGetReaderOptions (Types t2)} -> ReadableStream -> Optional t2 -> JSIO (HSum [ReadableStreamDefaultReader, ReadableStreamBYOBReader]): Totality: total
Visibility: export
getReader : ReadableStream -> JSIO (HSum [ReadableStreamDefaultReader, ReadableStreamBYOBReader]): Totality: total
Visibility: export
pipeThrough' : {auto 0 {conArg:4070} : JSType t2} -> {auto 0 {conArg:4073} : JSType t3} -> {auto 0 _ : Elem ReadableWritablePair (Types t2)} -> {auto 0 _ : Elem StreamPipeOptions (Types t3)} -> ReadableStream -> t2 -> Optional t3 -> JSIO ReadableStream: Totality: total
Visibility: export
pipeThrough : {auto 0 {conArg:4125} : JSType t2} -> {auto 0 _ : Elem ReadableWritablePair (Types t2)} -> ReadableStream -> t2 -> JSIO ReadableStream: Totality: total
Visibility: export
pipeTo' : {auto 0 {conArg:4157} : JSType t3} -> {auto 0 _ : Elem StreamPipeOptions (Types t3)} -> ReadableStream -> WritableStream -> Optional t3 -> JSIO (Promise Undefined): Totality: total
Visibility: export
pipeTo : ReadableStream -> WritableStream -> JSIO (Promise Undefined): Totality: total
Visibility: export
tee : ReadableStream -> JSIO (Array ReadableStream): Totality: total
Visibility: export
new : ReadableStream -> JSIO ReadableStreamBYOBReader: Totality: total
Visibility: export
read : ReadableStreamBYOBReader -> HSum [Int8Array, Int16Array, Int32Array, UInt8Array, UInt8Array, UInt8Array, UInt8ClampedArray, Float32Array, Float64Array, DataView] -> JSIO (Promise ReadableStreamBYOBReadResult): Totality: total
Visibility: export
releaseLock : ReadableStreamBYOBReader -> JSIO (): Totality: total
Visibility: export
view : ReadableStreamBYOBRequest -> JSIO (Maybe (Union10 Int8Array Int16Array Int32Array UInt8Array UInt8Array UInt8Array UInt8ClampedArray Float32Array Float64Array DataView)): Totality: total
Visibility: export
respond : ReadableStreamBYOBRequest -> JSBits64 -> JSIO (): Totality: total
Visibility: export
respondWithNewView : ReadableStreamBYOBRequest -> HSum [Int8Array, Int16Array, Int32Array, UInt8Array, UInt8Array, UInt8Array, UInt8ClampedArray, Float32Array, Float64Array, DataView] -> JSIO (): Totality: total
Visibility: export
desiredSize : ReadableStreamDefaultController -> JSIO (Maybe Double): Totality: total
Visibility: export
close : ReadableStreamDefaultController -> JSIO (): Totality: total
Visibility: export
enqueue' : ReadableStreamDefaultController -> Optional Any -> JSIO (): Totality: total
Visibility: export
enqueue : ReadableStreamDefaultController -> JSIO (): Totality: total
Visibility: export
error' : ReadableStreamDefaultController -> Optional Any -> JSIO (): Totality: total
Visibility: export
error : ReadableStreamDefaultController -> JSIO (): Totality: total
Visibility: export
new : ReadableStream -> JSIO ReadableStreamDefaultReader: Totality: total
Visibility: export
read : ReadableStreamDefaultReader -> JSIO (Promise ReadableStreamDefaultReadResult): Totality: total
Visibility: export
releaseLock : ReadableStreamDefaultReader -> JSIO (): Totality: total
Visibility: export
new' : {auto 0 {conArg:4616} : JSType t1} -> {auto 0 {conArg:4619} : JSType t2} -> {auto 0 {conArg:4622} : JSType t3} -> {auto 0 _ : Elem Object (Types t1)} -> {auto 0 _ : Elem QueuingStrategy (Types t2)} -> {auto 0 _ : Elem QueuingStrategy (Types t3)} -> Optional t1 -> Optional t2 -> Optional t3 -> JSIO TransformStream: Totality: total
Visibility: export
new : JSIO TransformStream: Totality: total
Visibility: export
readable : TransformStream -> JSIO ReadableStream: Totality: total
Visibility: export
writable : TransformStream -> JSIO WritableStream: Totality: total
Visibility: export
desiredSize : TransformStreamDefaultController -> JSIO (Maybe Double): Totality: total
Visibility: export
enqueue' : TransformStreamDefaultController -> Optional Any -> JSIO (): Totality: total
Visibility: export
enqueue : TransformStreamDefaultController -> JSIO (): Totality: total
Visibility: export
error' : TransformStreamDefaultController -> Optional Any -> JSIO (): Totality: total
Visibility: export
error : TransformStreamDefaultController -> JSIO (): Totality: total
Visibility: export
terminate : TransformStreamDefaultController -> JSIO (): Totality: total
Visibility: export
new' : {auto 0 {conArg:4780} : JSType t1} -> {auto 0 {conArg:4783} : JSType t2} -> {auto 0 _ : Elem Object (Types t1)} -> {auto 0 _ : Elem QueuingStrategy (Types t2)} -> Optional t1 -> Optional t2 -> JSIO WritableStream: Totality: total
Visibility: export
new : JSIO WritableStream: Totality: total
Visibility: export
locked : WritableStream -> JSIO Bool: Totality: total
Visibility: export
abort' : WritableStream -> Optional Any -> JSIO (Promise Undefined): Totality: total
Visibility: export
abort : WritableStream -> JSIO (Promise Undefined): Totality: total
Visibility: export
close : WritableStream -> JSIO (Promise Undefined): Totality: total
Visibility: export
getWriter : WritableStream -> JSIO WritableStreamDefaultWriter: Totality: total
Visibility: export
error' : WritableStreamDefaultController -> Optional Any -> JSIO (): Totality: total
Visibility: export
error : WritableStreamDefaultController -> JSIO (): Totality: total
Visibility: export
new : WritableStream -> JSIO WritableStreamDefaultWriter: Totality: total
Visibility: export
closed : WritableStreamDefaultWriter -> JSIO (Promise Undefined): Totality: total
Visibility: export
desiredSize : WritableStreamDefaultWriter -> JSIO (Maybe Double): Totality: total
Visibility: export
ready : WritableStreamDefaultWriter -> JSIO (Promise Undefined): Totality: total
Visibility: export
abort' : WritableStreamDefaultWriter -> Optional Any -> JSIO (Promise Undefined): Totality: total
Visibility: export
abort : WritableStreamDefaultWriter -> JSIO (Promise Undefined): Totality: total
Visibility: export
close : WritableStreamDefaultWriter -> JSIO (Promise Undefined): Totality: total
Visibility: export
releaseLock : WritableStreamDefaultWriter -> JSIO (): Totality: total
Visibility: export
write' : WritableStreamDefaultWriter -> Optional Any -> JSIO (Promise Undefined): Totality: total
Visibility: export
write : WritableStreamDefaultWriter -> JSIO (Promise Undefined): Totality: total
Visibility: export
readable : {auto 0 {conArg:4997} : JSType t1} -> {auto 0 _ : Elem GenericTransformStream (Types t1)} -> t1 -> JSIO ReadableStream: Totality: total
Visibility: export
writable : {auto 0 {conArg:5025} : JSType t1} -> {auto 0 _ : Elem GenericTransformStream (Types t1)} -> t1 -> JSIO WritableStream: Totality: total
Visibility: export
closed : {auto 0 {conArg:5053} : JSType t1} -> {auto 0 _ : Elem ReadableStreamGenericReader (Types t1)} -> t1 -> JSIO (Promise Undefined): Totality: total
Visibility: export
cancel' : {auto 0 {conArg:5081} : JSType t1} -> {auto 0 _ : Elem ReadableStreamGenericReader (Types t1)} -> t1 -> Optional Any -> JSIO (Promise Undefined): Totality: total
Visibility: export
cancel : {auto 0 {conArg:5119} : JSType t1} -> {auto 0 _ : Elem ReadableStreamGenericReader (Types t1)} -> t1 -> JSIO (Promise Undefined): Totality: total
Visibility: export
new' : Optional Double -> Optional QueuingStrategySize -> JSIO QueuingStrategy: Totality: total
Visibility: export
new : JSIO QueuingStrategy: Totality: total
Visibility: export
highWaterMark : {auto 0 {conArg:5174} : JSType t} -> {auto 0 _ : Elem QueuingStrategy (Types t)} -> t -> Attribute False Optional Double: Totality: total
Visibility: export
size : {auto 0 {conArg:5213} : JSType t} -> {auto 0 _ : Elem QueuingStrategy (Types t)} -> t -> Attribute False Optional QueuingStrategySize: Totality: total
Visibility: export
new : Double -> JSIO QueuingStrategyInit: Totality: total
Visibility: export
highWaterMark : {auto 0 {conArg:5257} : JSType t} -> {auto 0 _ : Elem QueuingStrategyInit (Types t)} -> t -> Attribute True id Double: Totality: total
Visibility: export
new' : Optional (HSum [Int8Array, Int16Array, Int32Array, UInt8Array, UInt8Array, UInt8Array, UInt8ClampedArray, Float32Array, Float64Array, DataView]) -> Optional Bool -> JSIO ReadableStreamBYOBReadResult: Totality: total
Visibility: export
new : JSIO ReadableStreamBYOBReadResult: Totality: total
Visibility: export
done : {auto 0 {conArg:5447} : JSType t} -> {auto 0 _ : Elem ReadableStreamBYOBReadResult (Types t)} -> t -> Attribute False Optional Bool: Totality: total
Visibility: export
value : {auto 0 {conArg:5486} : JSType t} -> {auto 0 _ : Elem ReadableStreamBYOBReadResult (Types t)} -> t -> Attribute False Optional (Union10 Int8Array Int16Array Int32Array UInt8Array UInt8Array UInt8Array UInt8ClampedArray Float32Array Float64Array DataView): Totality: total
Visibility: export
new' : Optional Any -> Optional Bool -> JSIO ReadableStreamDefaultReadResult: Totality: total
Visibility: export
new : JSIO ReadableStreamDefaultReadResult: Totality: total
Visibility: export
done : {auto 0 {conArg:5574} : JSType t} -> {auto 0 _ : Elem ReadableStreamDefaultReadResult (Types t)} -> t -> Attribute False Optional Bool: Totality: total
Visibility: export
value : {auto 0 {conArg:5613} : JSType t} -> {auto 0 _ : Elem ReadableStreamDefaultReadResult (Types t)} -> t -> Attribute False Optional Any: Totality: total
Visibility: export
new' : Optional ReadableStreamReaderMode -> JSIO ReadableStreamGetReaderOptions: Totality: total
Visibility: export
new : JSIO ReadableStreamGetReaderOptions: Totality: total
Visibility: export
mode : {auto 0 {conArg:5669} : JSType t} -> {auto 0 _ : Elem ReadableStreamGetReaderOptions (Types t)} -> t -> Attribute False Optional ReadableStreamReaderMode: Totality: total
Visibility: export
new' : Optional Bool -> JSIO ReadableStreamIteratorOptions: Totality: total
Visibility: export
new : JSIO ReadableStreamIteratorOptions: Totality: total
Visibility: export
preventCancel : {auto 0 {conArg:5722} : JSType t} -> {auto 0 _ : Elem ReadableStreamIteratorOptions (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
new : ReadableStream -> WritableStream -> JSIO ReadableWritablePair: Totality: total
Visibility: export
readable : {auto 0 {conArg:5771} : JSType t} -> {auto 0 _ : Elem ReadableWritablePair (Types t)} -> t -> Attribute True id ReadableStream: Totality: total
Visibility: export
writable : {auto 0 {conArg:5810} : JSType t} -> {auto 0 _ : Elem ReadableWritablePair (Types t)} -> t -> Attribute True id WritableStream: Totality: total
Visibility: export
new' : Optional Bool -> Optional Bool -> Optional Bool -> Optional AbortSignal -> JSIO StreamPipeOptions: Totality: total
Visibility: export
new : JSIO StreamPipeOptions: Totality: total
Visibility: export
preventAbort : {auto 0 {conArg:5895} : JSType t} -> {auto 0 _ : Elem StreamPipeOptions (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
preventCancel : {auto 0 {conArg:5933} : JSType t} -> {auto 0 _ : Elem StreamPipeOptions (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
preventClose : {auto 0 {conArg:5973} : JSType t} -> {auto 0 _ : Elem StreamPipeOptions (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
signal : {auto 0 {conArg:6011} : JSType t} -> {auto 0 _ : Elem StreamPipeOptions (Types t)} -> t -> Attribute False Optional AbortSignal: Totality: total
Visibility: export
new' : Optional TransformerStartCallback -> Optional TransformerTransformCallback -> Optional TransformerFlushCallback -> Optional Any -> Optional Any -> JSIO Transformer: Totality: total
Visibility: export
new : JSIO Transformer: Totality: total
Visibility: export
flush : {auto 0 {conArg:6106} : JSType t} -> {auto 0 _ : Elem Transformer (Types t)} -> t -> Attribute False Optional TransformerFlushCallback: Totality: total
Visibility: export
readableType : {auto 0 {conArg:6143} : JSType t} -> {auto 0 _ : Elem Transformer (Types t)} -> t -> Attribute False Optional Any: Totality: total
Visibility: export
start : {auto 0 {conArg:6181} : JSType t} -> {auto 0 _ : Elem Transformer (Types t)} -> t -> Attribute False Optional TransformerStartCallback: Totality: total
Visibility: export
transform : {auto 0 {conArg:6220} : JSType t} -> {auto 0 _ : Elem Transformer (Types t)} -> t -> Attribute False Optional TransformerTransformCallback: Totality: total
Visibility: export
writableType : {auto 0 {conArg:6257} : JSType t} -> {auto 0 _ : Elem Transformer (Types t)} -> t -> Attribute False Optional Any: Totality: total
Visibility: export
new' : Optional UnderlyingSinkStartCallback -> Optional UnderlyingSinkWriteCallback -> Optional UnderlyingSinkCloseCallback -> Optional UnderlyingSinkAbortCallback -> Optional Any -> JSIO UnderlyingSink: Totality: total
Visibility: export
new : JSIO UnderlyingSink: Totality: total
Visibility: export
abort : {auto 0 {conArg:6352} : JSType t} -> {auto 0 _ : Elem UnderlyingSink (Types t)} -> t -> Attribute False Optional UnderlyingSinkAbortCallback: Totality: total
Visibility: export
close : {auto 0 {conArg:6390} : JSType t} -> {auto 0 _ : Elem UnderlyingSink (Types t)} -> t -> Attribute False Optional UnderlyingSinkCloseCallback: Totality: total
Visibility: export
start : {auto 0 {conArg:6428} : JSType t} -> {auto 0 _ : Elem UnderlyingSink (Types t)} -> t -> Attribute False Optional UnderlyingSinkStartCallback: Totality: total
Visibility: export
type : {auto 0 {conArg:6467} : JSType t} -> {auto 0 _ : Elem UnderlyingSink (Types t)} -> t -> Attribute False Optional Any: Totality: total
Visibility: export
write : {auto 0 {conArg:6507} : JSType t} -> {auto 0 _ : Elem UnderlyingSink (Types t)} -> t -> Attribute False Optional UnderlyingSinkWriteCallback: Totality: total
Visibility: export
new' : Optional UnderlyingSourceStartCallback -> Optional UnderlyingSourcePullCallback -> Optional UnderlyingSourceCancelCallback -> Optional ReadableStreamType -> Optional JSBits64 -> JSIO UnderlyingSource: Totality: total
Visibility: export
new : JSIO UnderlyingSource: Totality: total
Visibility: export
autoAllocateChunkSize : {auto 0 {conArg:6601} : JSType t} -> {auto 0 _ : Elem UnderlyingSource (Types t)} -> t -> Attribute False Optional JSBits64: Totality: total
Visibility: export
cancel : {auto 0 {conArg:6638} : JSType t} -> {auto 0 _ : Elem UnderlyingSource (Types t)} -> t -> Attribute False Optional UnderlyingSourceCancelCallback: Totality: total
Visibility: export
pull : {auto 0 {conArg:6676} : JSType t} -> {auto 0 _ : Elem UnderlyingSource (Types t)} -> t -> Attribute False Optional UnderlyingSourcePullCallback: Totality: total
Visibility: export
start : {auto 0 {conArg:6713} : JSType t} -> {auto 0 _ : Elem UnderlyingSource (Types t)} -> t -> Attribute False Optional UnderlyingSourceStartCallback: Totality: total
Visibility: export
type : {auto 0 {conArg:6752} : JSType t} -> {auto 0 _ : Elem UnderlyingSource (Types t)} -> t -> Attribute False Optional ReadableStreamType: Totality: total
Visibility: export
toQueuingStrategySize : (UndefOr AnyPtr -> IO Double) -> JSIO QueuingStrategySize: Totality: total
Visibility: export
toTransformerFlushCallback : (TransformStreamDefaultController -> IO (Promise Undefined)) -> JSIO TransformerFlushCallback: Totality: total
Visibility: export
toTransformerStartCallback : (TransformStreamDefaultController -> IO AnyPtr) -> JSIO TransformerStartCallback: Totality: total
Visibility: export
toTransformerTransformCallback : (AnyPtr -> TransformStreamDefaultController -> IO (Promise Undefined)) -> JSIO TransformerTransformCallback: Totality: total
Visibility: export
toUnderlyingSinkAbortCallback : (UndefOr AnyPtr -> IO (Promise Undefined)) -> JSIO UnderlyingSinkAbortCallback: Totality: total
Visibility: export
toUnderlyingSinkCloseCallback : (() -> IO (Promise Undefined)) -> JSIO UnderlyingSinkCloseCallback: Totality: total
Visibility: export
toUnderlyingSinkStartCallback : (WritableStreamDefaultController -> IO AnyPtr) -> JSIO UnderlyingSinkStartCallback: Totality: total
Visibility: export
toUnderlyingSinkWriteCallback : (AnyPtr -> WritableStreamDefaultController -> IO (Promise Undefined)) -> JSIO UnderlyingSinkWriteCallback: Totality: total
Visibility: export
toUnderlyingSourceCancelCallback : (UndefOr AnyPtr -> IO (Promise Undefined)) -> JSIO UnderlyingSourceCancelCallback: Totality: total
Visibility: export
toUnderlyingSourcePullCallback : (Union2 ReadableStreamDefaultController ReadableByteStreamController -> IO (Promise Undefined)) -> JSIO UnderlyingSourcePullCallback: Totality: total
Visibility: export
toUnderlyingSourceStartCallback : (Union2 ReadableStreamDefaultController ReadableByteStreamController -> IO AnyPtr) -> JSIO UnderlyingSourceStartCallback: Totality: total
Visibility: export