Idris2Doc : Web.Internal.XhrTypes

Web.Internal.XhrTypes

(source)

Definitions

dataXMLHttpRequestResponseType : Type
Totality: total
Visibility: public export
Constructors:
Empty : XMLHttpRequestResponseType
Arraybuffer : XMLHttpRequestResponseType
Blob : XMLHttpRequestResponseType
Document : XMLHttpRequestResponseType
Json : XMLHttpRequestResponseType
Text : XMLHttpRequestResponseType

Hints:
EqXMLHttpRequestResponseType
FromFFIXMLHttpRequestResponseTypeString
OrdXMLHttpRequestResponseType
ShowXMLHttpRequestResponseType
ToFFIXMLHttpRequestResponseTypeString
read : String->MaybeXMLHttpRequestResponseType
Totality: total
Visibility: public export
dataFormData : Type
Totality: total
Visibility: export
Hints:
FromFFIFormDataFormData
JSTypeFormData
SafeCastFormData
ToFFIFormDataFormData
dataProgressEvent : Type
Totality: total
Visibility: export
Hints:
FromFFIProgressEventProgressEvent
JSTypeProgressEvent
SafeCastProgressEvent
ToFFIProgressEventProgressEvent
dataXMLHttpRequest : Type
Totality: total
Visibility: export
Hints:
FromFFIXMLHttpRequestXMLHttpRequest
JSTypeXMLHttpRequest
SafeCastXMLHttpRequest
ToFFIXMLHttpRequestXMLHttpRequest
dataXMLHttpRequestEventTarget : Type
Totality: total
Visibility: export
Hints:
FromFFIXMLHttpRequestEventTargetXMLHttpRequestEventTarget
JSTypeXMLHttpRequestEventTarget
SafeCastXMLHttpRequestEventTarget
ToFFIXMLHttpRequestEventTargetXMLHttpRequestEventTarget
dataXMLHttpRequestUpload : Type
Totality: total
Visibility: export
Hints:
FromFFIXMLHttpRequestUploadXMLHttpRequestUpload
JSTypeXMLHttpRequestUpload
SafeCastXMLHttpRequestUpload
ToFFIXMLHttpRequestUploadXMLHttpRequestUpload
dataProgressEventInit : Type
Totality: total
Visibility: export
Hints:
FromFFIProgressEventInitProgressEventInit
JSTypeProgressEventInit
ToFFIProgressEventInitProgressEventInit