Idris2Doc : Web.Internal.FileTypes

Web.Internal.FileTypes

(source)

Definitions

dataEndingType : Type
Totality: total
Visibility: public export
Constructors:
Transparent : EndingType
Native : EndingType

Hints:
EqEndingType
FromFFIEndingTypeString
OrdEndingType
ShowEndingType
ToFFIEndingTypeString
read : String->MaybeEndingType
Totality: total
Visibility: public export
dataBlob : Type
Totality: total
Visibility: export
Hints:
CallbackBlobCallback (MaybeBlob->JSIO ())
FromFFIBlobBlob
JSTypeBlob
SafeCastBlob
ToFFIBlobBlob
dataFile : Type
Totality: total
Visibility: export
Hints:
FromFFIFileFile
JSTypeFile
SafeCastFile
ToFFIFileFile
dataFileList : Type
Totality: total
Visibility: export
Hints:
FromFFIFileListFileList
JSTypeFileList
SafeCastFileList
ToFFIFileListFileList
dataFileReader : Type
Totality: total
Visibility: export
Hints:
FromFFIFileReaderFileReader
JSTypeFileReader
SafeCastFileReader
ToFFIFileReaderFileReader
dataFileReaderSync : Type
Totality: total
Visibility: export
Hints:
FromFFIFileReaderSyncFileReaderSync
JSTypeFileReaderSync
SafeCastFileReaderSync
ToFFIFileReaderSyncFileReaderSync
dataBlobPropertyBag : Type
Totality: total
Visibility: export
Hints:
FromFFIBlobPropertyBagBlobPropertyBag
JSTypeBlobPropertyBag
ToFFIBlobPropertyBagBlobPropertyBag
dataFilePropertyBag : Type
Totality: total
Visibility: export
Hints:
FromFFIFilePropertyBagFilePropertyBag
JSTypeFilePropertyBag
ToFFIFilePropertyBagFilePropertyBag