Web.Internal.StreamsTypes

Definitions

data ReadableStreamReaderMode : Type

Totality: total
Visibility: public export
Constructor: 

Byob : ReadableStreamReaderMode

Hints:

Eq ReadableStreamReaderMode

FromFFI ReadableStreamReaderMode String

Ord ReadableStreamReaderMode

Show ReadableStreamReaderMode

ToFFI ReadableStreamReaderMode String

read : String -> Maybe ReadableStreamReaderMode

Totality: total
Visibility: public export

data ReadableStreamType : Type

Totality: total
Visibility: public export
Constructor: 

Bytes : ReadableStreamType

Hints:

Eq ReadableStreamType

FromFFI ReadableStreamType String

Ord ReadableStreamType

Show ReadableStreamType

ToFFI ReadableStreamType String

read : String -> Maybe ReadableStreamType

Totality: total
Visibility: public export

data ByteLengthQueuingStrategy : Type

Totality: total
Visibility: export
Hints:

FromFFI ByteLengthQueuingStrategy ByteLengthQueuingStrategy

JSType ByteLengthQueuingStrategy

SafeCast ByteLengthQueuingStrategy

ToFFI ByteLengthQueuingStrategy ByteLengthQueuingStrategy

data CountQueuingStrategy : Type

Totality: total
Visibility: export
Hints:

FromFFI CountQueuingStrategy CountQueuingStrategy

JSType CountQueuingStrategy

SafeCast CountQueuingStrategy

ToFFI CountQueuingStrategy CountQueuingStrategy

data ReadableByteStreamController : Type

Totality: total
Visibility: export
Hints:

FromFFI ReadableByteStreamController ReadableByteStreamController

JSType ReadableByteStreamController

SafeCast ReadableByteStreamController

ToFFI ReadableByteStreamController ReadableByteStreamController

data ReadableStream : Type

Totality: total
Visibility: export
Hints:

FromFFI ReadableStream ReadableStream

JSType ReadableStream

SafeCast ReadableStream

ToFFI ReadableStream ReadableStream

data ReadableStreamBYOBReader : Type

Totality: total
Visibility: export
Hints:

FromFFI ReadableStreamBYOBReader ReadableStreamBYOBReader

JSType ReadableStreamBYOBReader

SafeCast ReadableStreamBYOBReader

ToFFI ReadableStreamBYOBReader ReadableStreamBYOBReader

data ReadableStreamBYOBRequest : Type

Totality: total
Visibility: export
Hints:

FromFFI ReadableStreamBYOBRequest ReadableStreamBYOBRequest

JSType ReadableStreamBYOBRequest

SafeCast ReadableStreamBYOBRequest

ToFFI ReadableStreamBYOBRequest ReadableStreamBYOBRequest

data ReadableStreamDefaultController : Type

Totality: total
Visibility: export
Hints:

FromFFI ReadableStreamDefaultController ReadableStreamDefaultController

JSType ReadableStreamDefaultController

SafeCast ReadableStreamDefaultController

ToFFI ReadableStreamDefaultController ReadableStreamDefaultController

data ReadableStreamDefaultReader : Type

Totality: total
Visibility: export
Hints:

FromFFI ReadableStreamDefaultReader ReadableStreamDefaultReader

JSType ReadableStreamDefaultReader

SafeCast ReadableStreamDefaultReader

ToFFI ReadableStreamDefaultReader ReadableStreamDefaultReader

data TransformStream : Type

Totality: total
Visibility: export
Hints:

FromFFI TransformStream TransformStream

JSType TransformStream

SafeCast TransformStream

ToFFI TransformStream TransformStream

data TransformStreamDefaultController : Type

Totality: total
Visibility: export
Hints:

FromFFI TransformStreamDefaultController TransformStreamDefaultController

JSType TransformStreamDefaultController

SafeCast TransformStreamDefaultController

ToFFI TransformStreamDefaultController TransformStreamDefaultController

data WritableStream : Type

Totality: total
Visibility: export
Hints:

FromFFI WritableStream WritableStream

JSType WritableStream

SafeCast WritableStream

ToFFI WritableStream WritableStream

data WritableStreamDefaultController : Type

Totality: total
Visibility: export
Hints:

FromFFI WritableStreamDefaultController WritableStreamDefaultController

JSType WritableStreamDefaultController

SafeCast WritableStreamDefaultController

ToFFI WritableStreamDefaultController WritableStreamDefaultController

data WritableStreamDefaultWriter : Type

Totality: total
Visibility: export
Hints:

FromFFI WritableStreamDefaultWriter WritableStreamDefaultWriter

JSType WritableStreamDefaultWriter

SafeCast WritableStreamDefaultWriter

ToFFI WritableStreamDefaultWriter WritableStreamDefaultWriter

data QueuingStrategy : Type

Totality: total
Visibility: export
Hints:

FromFFI QueuingStrategy QueuingStrategy

JSType QueuingStrategy

ToFFI QueuingStrategy QueuingStrategy

data QueuingStrategyInit : Type

Totality: total
Visibility: export
Hints:

FromFFI QueuingStrategyInit QueuingStrategyInit

JSType QueuingStrategyInit

ToFFI QueuingStrategyInit QueuingStrategyInit

data ReadableStreamBYOBReadResult : Type

Totality: total
Visibility: export
Hints:

FromFFI ReadableStreamBYOBReadResult ReadableStreamBYOBReadResult

JSType ReadableStreamBYOBReadResult

ToFFI ReadableStreamBYOBReadResult ReadableStreamBYOBReadResult

data ReadableStreamDefaultReadResult : Type

Totality: total
Visibility: export
Hints:

FromFFI ReadableStreamDefaultReadResult ReadableStreamDefaultReadResult

JSType ReadableStreamDefaultReadResult

ToFFI ReadableStreamDefaultReadResult ReadableStreamDefaultReadResult

data ReadableStreamGetReaderOptions : Type

Totality: total
Visibility: export
Hints:

FromFFI ReadableStreamGetReaderOptions ReadableStreamGetReaderOptions

JSType ReadableStreamGetReaderOptions

ToFFI ReadableStreamGetReaderOptions ReadableStreamGetReaderOptions

data ReadableStreamIteratorOptions : Type

Totality: total
Visibility: export
Hints:

FromFFI ReadableStreamIteratorOptions ReadableStreamIteratorOptions

JSType ReadableStreamIteratorOptions

ToFFI ReadableStreamIteratorOptions ReadableStreamIteratorOptions

data ReadableWritablePair : Type

Totality: total
Visibility: export
Hints:

FromFFI ReadableWritablePair ReadableWritablePair

JSType ReadableWritablePair

ToFFI ReadableWritablePair ReadableWritablePair

data StreamPipeOptions : Type

Totality: total
Visibility: export
Hints:

FromFFI StreamPipeOptions StreamPipeOptions

JSType StreamPipeOptions

ToFFI StreamPipeOptions StreamPipeOptions

data Transformer : Type

Totality: total
Visibility: export
Hints:

FromFFI Transformer Transformer

JSType Transformer

ToFFI Transformer Transformer

data UnderlyingSink : Type

Totality: total
Visibility: export
Hints:

FromFFI UnderlyingSink UnderlyingSink

JSType UnderlyingSink

ToFFI UnderlyingSink UnderlyingSink

data UnderlyingSource : Type

Totality: total
Visibility: export
Hints:

FromFFI UnderlyingSource UnderlyingSource

JSType UnderlyingSource

ToFFI UnderlyingSource UnderlyingSource

data GenericTransformStream : Type

Totality: total
Visibility: export
Hints:

FromFFI GenericTransformStream GenericTransformStream

ToFFI GenericTransformStream GenericTransformStream

data ReadableStreamGenericReader : Type

Totality: total
Visibility: export
Hints:

FromFFI ReadableStreamGenericReader ReadableStreamGenericReader

ToFFI ReadableStreamGenericReader ReadableStreamGenericReader

data QueuingStrategySize : Type

Totality: total
Visibility: export
Hints:

FromFFI QueuingStrategySize QueuingStrategySize

ToFFI QueuingStrategySize QueuingStrategySize

data TransformerFlushCallback : Type

Totality: total
Visibility: export
Hints:

FromFFI TransformerFlushCallback TransformerFlushCallback

ToFFI TransformerFlushCallback TransformerFlushCallback

data TransformerStartCallback : Type

Totality: total
Visibility: export
Hints:

FromFFI TransformerStartCallback TransformerStartCallback

ToFFI TransformerStartCallback TransformerStartCallback

data TransformerTransformCallback : Type

Totality: total
Visibility: export
Hints:

FromFFI TransformerTransformCallback TransformerTransformCallback

ToFFI TransformerTransformCallback TransformerTransformCallback

data UnderlyingSinkAbortCallback : Type

Totality: total
Visibility: export
Hints:

FromFFI UnderlyingSinkAbortCallback UnderlyingSinkAbortCallback

ToFFI UnderlyingSinkAbortCallback UnderlyingSinkAbortCallback

data UnderlyingSinkCloseCallback : Type

Totality: total
Visibility: export
Hints:

FromFFI UnderlyingSinkCloseCallback UnderlyingSinkCloseCallback

ToFFI UnderlyingSinkCloseCallback UnderlyingSinkCloseCallback

data UnderlyingSinkStartCallback : Type

Totality: total
Visibility: export
Hints:

FromFFI UnderlyingSinkStartCallback UnderlyingSinkStartCallback

ToFFI UnderlyingSinkStartCallback UnderlyingSinkStartCallback

data UnderlyingSinkWriteCallback : Type

Totality: total
Visibility: export
Hints:

FromFFI UnderlyingSinkWriteCallback UnderlyingSinkWriteCallback

ToFFI UnderlyingSinkWriteCallback UnderlyingSinkWriteCallback

data UnderlyingSourceCancelCallback : Type

Totality: total
Visibility: export
Hints:

FromFFI UnderlyingSourceCancelCallback UnderlyingSourceCancelCallback

ToFFI UnderlyingSourceCancelCallback UnderlyingSourceCancelCallback

data UnderlyingSourcePullCallback : Type

Totality: total
Visibility: export
Hints:

FromFFI UnderlyingSourcePullCallback UnderlyingSourcePullCallback

ToFFI UnderlyingSourcePullCallback UnderlyingSourcePullCallback

data UnderlyingSourceStartCallback : Type

Totality: total
Visibility: export
Hints:

FromFFI UnderlyingSourceStartCallback UnderlyingSourceStartCallback

ToFFI UnderlyingSourceStartCallback UnderlyingSourceStartCallback