Idris2Doc : Web.Raw.File
Index
Default
Alternative
Black & White
Definitions new' auto 0 {conArg:3573} : JSType t2 } -> {auto 0 _ : Elem BlobPropertyBag Types t2 )} -> Optional Array Union13 Int8Array Int16Array Int32Array UInt8Array UInt8Array UInt8Array UInt8ClampedArray Float32Array Float64Array DataView ArrayBuffer Blob String )) -> Optional t2 -> JSIO Blob Totality : total Visibility : export new JSIO Blob Totality : total Visibility : export size auto 0 {conArg:3618} : JSType t1 } -> {auto 0 _ : Elem Blob Types t1 )} -> t1 -> JSIO JSBits64 Totality : total Visibility : export type auto 0 {conArg:3646} : JSType t1 } -> {auto 0 _ : Elem Blob Types t1 )} -> t1 -> JSIO String Totality : total Visibility : export arrayBuffer auto 0 {conArg:3674} : JSType t1 } -> {auto 0 _ : Elem Blob Types t1 )} -> t1 -> JSIO Promise ArrayBuffer Totality : total Visibility : export slice' auto 0 {conArg:3702} : JSType t1 } -> {auto 0 _ : Elem Blob Types t1 )} -> t1 -> Optional JSInt64 -> Optional JSInt64 -> Optional String -> JSIO Blob Totality : total Visibility : export slice auto 0 {conArg:3758} : JSType t1 } -> {auto 0 _ : Elem Blob Types t1 )} -> t1 -> JSIO Blob Totality : total Visibility : export stream auto 0 {conArg:3790} : JSType t1 } -> {auto 0 _ : Elem Blob Types t1 )} -> t1 -> JSIO ReadableStream Totality : total Visibility : export text auto 0 {conArg:3818} : JSType t1 } -> {auto 0 _ : Elem Blob Types t1 )} -> t1 -> JSIO Promise String ) Totality : total Visibility : export new' auto 0 {conArg:3846} : JSType t3 } -> {auto 0 _ : Elem FilePropertyBag Types t3 )} -> Array Union13 Int8Array Int16Array Int32Array UInt8Array UInt8Array UInt8Array UInt8ClampedArray Float32Array Float64Array DataView ArrayBuffer Blob String ) -> String -> Optional t3 -> JSIO File Totality : total Visibility : export new Array Union13 Int8Array Int16Array Int32Array UInt8Array UInt8Array UInt8Array UInt8ClampedArray Float32Array Float64Array DataView ArrayBuffer Blob String ) -> String -> JSIO File Totality : total Visibility : export lastModified File -> JSIO JSInt64 Totality : total Visibility : export name File -> JSIO String Totality : total Visibility : export length FileList -> JSIO Bits32 Totality : total Visibility : export item FileList -> Bits32 -> JSIO Maybe File Totality : total Visibility : export DONE Bits16 Totality : total Visibility : public export EMPTY Bits16 Totality : total Visibility : public export LOADING Bits16 Totality : total Visibility : public export new JSIO FileReader Totality : total Visibility : export error FileReader -> JSIO Maybe DOMException Totality : total Visibility : export onabort FileReader -> Attribute False Maybe EventHandlerNonNull Totality : total Visibility : export onerror FileReader -> Attribute False Maybe EventHandlerNonNull Totality : total Visibility : export onload FileReader -> Attribute False Maybe EventHandlerNonNull Totality : total Visibility : export onloadend FileReader -> Attribute False Maybe EventHandlerNonNull Totality : total Visibility : export onloadstart FileReader -> Attribute False Maybe EventHandlerNonNull Totality : total Visibility : export onprogress FileReader -> Attribute False Maybe EventHandlerNonNull Totality : total Visibility : export readyState FileReader -> JSIO Bits16 Totality : total Visibility : export result FileReader -> JSIO Maybe Union2 String ArrayBuffer Totality : total Visibility : export abort FileReader -> JSIO Totality : total Visibility : export readAsArrayBuffer auto 0 {conArg:4083} : JSType t2 } -> {auto 0 _ : Elem Blob Types t2 )} -> FileReader -> t2 -> JSIO Totality : total Visibility : export readAsBinaryString auto 0 {conArg:4115} : JSType t2 } -> {auto 0 _ : Elem Blob Types t2 )} -> FileReader -> t2 -> JSIO Totality : total Visibility : export readAsDataURL auto 0 {conArg:4147} : JSType t2 } -> {auto 0 _ : Elem Blob Types t2 )} -> FileReader -> t2 -> JSIO Totality : total Visibility : export readAsText' auto 0 {conArg:4179} : JSType t2 } -> {auto 0 _ : Elem Blob Types t2 )} -> FileReader -> t2 -> Optional String -> JSIO Totality : total Visibility : export readAsText auto 0 {conArg:4220} : JSType t2 } -> {auto 0 _ : Elem Blob Types t2 )} -> FileReader -> t2 -> JSIO Totality : total Visibility : export new JSIO FileReaderSync Totality : total Visibility : export readAsArrayBuffer auto 0 {conArg:4256} : JSType t2 } -> {auto 0 _ : Elem Blob Types t2 )} -> FileReaderSync -> t2 -> JSIO ArrayBuffer Totality : total Visibility : export readAsBinaryString auto 0 {conArg:4287} : JSType t2 } -> {auto 0 _ : Elem Blob Types t2 )} -> FileReaderSync -> t2 -> JSIO String Totality : total Visibility : export readAsDataURL auto 0 {conArg:4318} : JSType t2 } -> {auto 0 _ : Elem Blob Types t2 )} -> FileReaderSync -> t2 -> JSIO String Totality : total Visibility : export readAsText' auto 0 {conArg:4349} : JSType t2 } -> {auto 0 _ : Elem Blob Types t2 )} -> FileReaderSync -> t2 -> Optional String -> JSIO String Totality : total Visibility : export readAsText auto 0 {conArg:4389} : JSType t2 } -> {auto 0 _ : Elem Blob Types t2 )} -> FileReaderSync -> t2 -> JSIO String Totality : total Visibility : export new' Optional String -> Optional EndingType -> JSIO BlobPropertyBag Totality : total Visibility : export new JSIO BlobPropertyBag Totality : total Visibility : export endings auto 0 {conArg:4447} : JSType t } -> {auto 0 _ : Elem BlobPropertyBag Types t )} -> t -> Attribute False Optional EndingType Totality : total Visibility : export type auto 0 {conArg:4484} : JSType t } -> {auto 0 _ : Elem BlobPropertyBag Types t )} -> t -> Attribute True Optional String Totality : total Visibility : export new' Optional JSInt64 -> JSIO FilePropertyBag Totality : total Visibility : export new JSIO FilePropertyBag Totality : total Visibility : export lastModified auto 0 {conArg:4541} : JSType t } -> {auto 0 _ : Elem FilePropertyBag Types t )} -> t -> Attribute False Optional JSInt64 Totality : total Visibility : export Produced by Idris 2 version 0.8.0-214eb4547