Idris2Doc : Web.Internal.FilePrim

Web.Internal.FilePrim

(source)

Definitions

prim__new : UndefOr (Array (Union13 Int8Array Int16Array Int32Array UInt8Array UInt8Array UInt8Array UInt8ClampedArray Float32Array Float64Array DataView ArrayBuffer Blob String)) -> UndefOr BlobPropertyBag -> PrimIO Blob
prim__size : Blob -> PrimIO JSBits64
prim__type : Blob -> PrimIO String
prim__arrayBuffer : Blob -> PrimIO (Promise ArrayBuffer)
prim__slice : Blob -> UndefOr JSInt64 -> UndefOr JSInt64 -> UndefOr String -> PrimIO Blob
prim__stream : Blob -> PrimIO ReadableStream
prim__text : Blob -> PrimIO (Promise String)
prim__new : Array (Union13 Int8Array Int16Array Int32Array UInt8Array UInt8Array UInt8Array UInt8ClampedArray Float32Array Float64Array DataView ArrayBuffer Blob String) -> String -> UndefOr FilePropertyBag -> PrimIO File
prim__lastModified : File -> PrimIO JSInt64
prim__name : File -> PrimIO String
prim__length : FileList -> PrimIO Bits32
prim__item : FileList -> Bits32 -> PrimIO (Nullable File)
prim__new : PrimIO FileReader
prim__error : FileReader -> PrimIO (Nullable DOMException)
prim__onabort : FileReader -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnabort : FileReader -> Nullable EventHandlerNonNull -> PrimIO ()
prim__onerror : FileReader -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnerror : FileReader -> Nullable EventHandlerNonNull -> PrimIO ()
prim__onload : FileReader -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnload : FileReader -> Nullable EventHandlerNonNull -> PrimIO ()
prim__onloadend : FileReader -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnloadend : FileReader -> Nullable EventHandlerNonNull -> PrimIO ()
prim__onloadstart : FileReader -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnloadstart : FileReader -> Nullable EventHandlerNonNull -> PrimIO ()
prim__onprogress : FileReader -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnprogress : FileReader -> Nullable EventHandlerNonNull -> PrimIO ()
prim__readyState : FileReader -> PrimIO Bits16
prim__result : FileReader -> PrimIO (Nullable (Union2 String ArrayBuffer))
prim__abort : FileReader -> PrimIO ()
prim__readAsArrayBuffer : FileReader -> Blob -> PrimIO ()
prim__readAsBinaryString : FileReader -> Blob -> PrimIO ()
prim__readAsDataURL : FileReader -> Blob -> PrimIO ()
prim__readAsText : FileReader -> Blob -> UndefOr String -> PrimIO ()
prim__new : PrimIO FileReaderSync
prim__readAsArrayBuffer : FileReaderSync -> Blob -> PrimIO ArrayBuffer
prim__readAsBinaryString : FileReaderSync -> Blob -> PrimIO String
prim__readAsDataURL : FileReaderSync -> Blob -> PrimIO String
prim__readAsText : FileReaderSync -> Blob -> UndefOr String -> PrimIO String
prim__new : UndefOr String -> UndefOr String -> PrimIO BlobPropertyBag
prim__endings : BlobPropertyBag -> PrimIO (UndefOr String)
prim__setEndings : BlobPropertyBag -> UndefOr String -> PrimIO ()
prim__type : BlobPropertyBag -> PrimIO (UndefOr String)
prim__setType : BlobPropertyBag -> UndefOr String -> PrimIO ()
prim__new : UndefOr JSInt64 -> PrimIO FilePropertyBag
prim__lastModified : FilePropertyBag -> PrimIO (UndefOr JSInt64)
prim__setLastModified : FilePropertyBag -> UndefOr JSInt64 -> PrimIO ()