Idris2Doc : Web.Internal.XhrTypes

Web.Internal.XhrTypes

(source)
Definitions
data XMLHttpRequestResponseType : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Empty : XMLHttpRequestResponseType
  
Arraybuffer : XMLHttpRequestResponseType
  
Blob : XMLHttpRequestResponseType
  
Document : XMLHttpRequestResponseType
  
Json : XMLHttpRequestResponseType
  
Text : XMLHttpRequestResponseType

  Hints:
  
Eq XMLHttpRequestResponseType
  
FromFFI XMLHttpRequestResponseType String
  
Ord XMLHttpRequestResponseType
  
Show XMLHttpRequestResponseType
  
ToFFI XMLHttpRequestResponseType String
read : String -> Maybe XMLHttpRequestResponseType
  Totality: total
  Visibility: public export
data FormData : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI FormData FormData
  
JSType FormData
  
SafeCast FormData
  
ToFFI FormData FormData
data ProgressEvent : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI ProgressEvent ProgressEvent
  
JSType ProgressEvent
  
SafeCast ProgressEvent
  
ToFFI ProgressEvent ProgressEvent
data XMLHttpRequest : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI XMLHttpRequest XMLHttpRequest
  
JSType XMLHttpRequest
  
SafeCast XMLHttpRequest
  
ToFFI XMLHttpRequest XMLHttpRequest
data XMLHttpRequestEventTarget : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI XMLHttpRequestEventTarget XMLHttpRequestEventTarget
  
JSType XMLHttpRequestEventTarget
  
SafeCast XMLHttpRequestEventTarget
  
ToFFI XMLHttpRequestEventTarget XMLHttpRequestEventTarget
data XMLHttpRequestUpload : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI XMLHttpRequestUpload XMLHttpRequestUpload
  
JSType XMLHttpRequestUpload
  
SafeCast XMLHttpRequestUpload
  
ToFFI XMLHttpRequestUpload XMLHttpRequestUpload
data ProgressEventInit : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI ProgressEventInit ProgressEventInit
  
JSType ProgressEventInit
  
ToFFI ProgressEventInit ProgressEventInit