0 | module HTTP.API.Client.FFI
  1 |
  2 | import Data.Buffer
  3 | import Data.Buffer.Core
  4 | import Data.ByteString
  5 | import Data.Linear.Token
  6 | import HTTP.Method
  7 | import HTTP.URI
  8 | import Web.Internal.Types
  9 |
 10 | %default total
 11 |
 12 | %foreign "javascript:lambda:x=>x.length"
 13 | prim__buflen : Buffer -> Bits32
 14 |
 15 | %foreign "browser:lambda:(x,a,b,w)=>x.append(a,b)"
 16 | prim__append : FormData -> String -> String -> PrimIO ()
 17 |
 18 | %foreign "browser:lambda:(x,a,b,w)=>x.append(a,b)"
 19 | prim__appendBlob : FormData -> String -> Blob -> PrimIO ()
 20 |
 21 | %foreign "browser:lambda:(x,a,b,w)=>x.append(a,b)"
 22 | prim__appendFile : FormData -> String -> File -> PrimIO ()
 23 |
 24 | %foreign "browser:lambda:(x,a,b,w)=>x.append(a,new Blob(b))"
 25 | prim__appendBuffer : FormData -> String -> Buffer -> PrimIO ()
 26 |
 27 | %foreign "browser:lambda:(x,w)=>x.responseText"
 28 | prim__responseText : XMLHttpRequest -> PrimIO String
 29 |
 30 | %foreign "browser:lambda:(x,w)=>x.status"
 31 | prim__status : XMLHttpRequest -> PrimIO Bits16
 32 |
 33 | %foreign "browser:lambda:(x,w)=>x.send()"
 34 | prim__send : XMLHttpRequest -> PrimIO ()
 35 |
 36 | %foreign "browser:lambda:(x,s,w)=>x.send(s)"
 37 | prim__sendTxt : XMLHttpRequest -> String -> PrimIO ()
 38 |
 39 | %foreign "browser:lambda:(x,s,w)=>x.send(s)"
 40 | prim__sendBuf : XMLHttpRequest -> Buffer -> PrimIO ()
 41 |
 42 | %foreign "browser:lambda:(w)=> new FormData()"
 43 | prim__newFD : PrimIO FormData
 44 |
 45 | %foreign "browser:lambda:(x,s,w)=>x.send(s)"
 46 | prim__sendFD : XMLHttpRequest -> FormData -> PrimIO ()
 47 |
 48 | %foreign "browser:lambda:(w)=> new XMLHttpRequest()"
 49 | prim__request : PrimIO XMLHttpRequest
 50 |
 51 | %foreign "browser:lambda:(x,w)=>x.readyState"
 52 | prim__readyState : XMLHttpRequest -> PrimIO Bits16
 53 |
 54 | %foreign "browser:lambda:(x,v,w)=>{x.timeout = v}"
 55 | prim__setTimeout : XMLHttpRequest -> Bits32 -> PrimIO ()
 56 |
 57 | %foreign "browser:lambda:(x,w)=>x.abort()"
 58 | prim__abort : XMLHttpRequest -> PrimIO ()
 59 |
 60 | %foreign "browser:lambda:(x,me,url,w)=>x.open(me,url)"
 61 | prim__open : XMLHttpRequest -> String -> String -> PrimIO ()
 62 |
 63 | %foreign "browser:lambda:(x,a,b,w)=>x.setRequestHeader(a,b)"
 64 | prim__setRequestHeader : XMLHttpRequest -> (h,v : String) -> PrimIO ()
 65 |
 66 | --------------------------------------------------------------------------------
 67 | -- API
 68 | --------------------------------------------------------------------------------
 69 |
 70 | export %inline
 71 | xmlhttpRequest : IO1 XMLHttpRequest
 72 | xmlhttpRequest = ffi prim__request
 73 |
 74 | export %inline
 75 | status : XMLHttpRequest -> IO1 Bits16
 76 | status x = ffi $ prim__status x
 77 |
 78 | export %inline
 79 | abort : XMLHttpRequest -> IO1 ()
 80 | abort x = ffi $ prim__abort x
 81 |
 82 | export %inline
 83 | opn : XMLHttpRequest -> Method -> URI -> IO1 ()
 84 | opn x m u = ffi $ prim__open x (show m) "\{u}"
 85 |
 86 | export %inline
 87 | send : XMLHttpRequest -> IO1 ()
 88 | send x = ffi $ prim__send x
 89 |
 90 | export %inline
 91 | sendTxt : XMLHttpRequest -> String -> IO1 ()
 92 | sendTxt x s = ffi $ prim__sendTxt x s
 93 |
 94 | export %inline
 95 | sendBuffer : XMLHttpRequest -> Buffer -> IO1 ()
 96 | sendBuffer x s = ffi $ prim__sendBuf x s
 97 |
 98 | export %inline
 99 | sendFD : XMLHttpRequest -> FormData -> IO1 ()
100 | sendFD x s = ffi $ prim__sendFD x s
101 |
102 | export %inline
103 | setRequestHeader : XMLHttpRequest -> String -> ByteString -> IO1 ()
104 | setRequestHeader x n v = ffi $ prim__setRequestHeader x n (toString v)
105 |
106 | export %inline
107 | setRequestHeaderP : XMLHttpRequest -> (String, ByteString) -> IO1 ()
108 | setRequestHeaderP x (n,v) = setRequestHeader x n v
109 |
110 | export
111 | responseBytes : XMLHttpRequest -> IO1 ByteString
112 | responseBytes x t =
113 |   let str # t := ffi (prim__responseText x) t in fromString str # t
114 |
115 | export %inline
116 | newFD : IO1 FormData
117 | newFD = ffi prim__newFD
118 |
119 | export %inline
120 | appendTxt : FormData -> (name,value : String) -> IO1 ()
121 | appendTxt fd n v = ffi $ prim__append fd n v
122 |
123 | export %inline
124 | appendBlob : FormData -> (name : String) -> Blob -> IO1 ()
125 | appendBlob fd n v = ffi $ prim__appendBlob fd n v
126 |
127 | export %inline
128 | appendFile : FormData -> (name : String) -> File -> IO1 ()
129 | appendFile fd n v = ffi $ prim__appendFile fd n v
130 |
131 | export
132 | appendBytes : FormData -> (name : String) -> ByteString -> IO1 ()
133 | appendBytes x n bs t =
134 |  let buf # t := ioToF1 (toBuffer bs) t
135 |   in ffi (prim__appendBuffer x n buf) t
136 |