Web.Internal.FileTypes

Definitions

data EndingType : Type

Totality: total
Visibility: public export
Constructors:

Transparent : EndingType

Native : EndingType

Hints:

Eq EndingType

FromFFI EndingType String

Ord EndingType

Show EndingType

ToFFI EndingType String

read : String -> Maybe EndingType

Totality: total
Visibility: public export

data Blob : Type

Totality: total
Visibility: export
Hints:

Callback BlobCallback (Maybe Blob -> JSIO ())

FromFFI Blob Blob

JSType Blob

SafeCast Blob

ToFFI Blob Blob

data File : Type

Totality: total
Visibility: export
Hints:

FromFFI File File

JSType File

SafeCast File

ToFFI File File

data FileList : Type

Totality: total
Visibility: export
Hints:

FromFFI FileList FileList

JSType FileList

SafeCast FileList

ToFFI FileList FileList

data FileReader : Type

Totality: total
Visibility: export
Hints:

FromFFI FileReader FileReader

JSType FileReader

SafeCast FileReader

ToFFI FileReader FileReader

data FileReaderSync : Type

Totality: total
Visibility: export
Hints:

FromFFI FileReaderSync FileReaderSync

JSType FileReaderSync

SafeCast FileReaderSync

ToFFI FileReaderSync FileReaderSync

data BlobPropertyBag : Type

Totality: total
Visibility: export
Hints:

FromFFI BlobPropertyBag BlobPropertyBag

JSType BlobPropertyBag

ToFFI BlobPropertyBag BlobPropertyBag

data FilePropertyBag : Type

Totality: total
Visibility: export
Hints:

FromFFI FilePropertyBag FilePropertyBag

JSType FilePropertyBag

ToFFI FilePropertyBag FilePropertyBag