diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/world/net/http/request.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/library/lux/world/net/http/request.lux b/stdlib/source/library/lux/world/net/http/request.lux index 36f0498ea..d3a970d14 100644 --- a/stdlib/source/library/lux/world/net/http/request.lux +++ b/stdlib/source/library/lux/world/net/http/request.lux @@ -31,7 +31,7 @@ ["[1][0]" query] ["[1][0]" cookie]]) -(def: (merge inputs) +(def (merge inputs) (-> (List Binary) Binary) (let [[_ output] (try.trusted (monad.mix try.monad @@ -46,15 +46,15 @@ inputs))] output)) -(def: (read_text_body body) +(def (read_text_body body) (-> Body (Async (Try Text))) (do async.monad [blobs (frp.list body)] (in (at encoding.utf8 decoded (merge blobs))))) -(def: failure (//response.bad_request "")) +(def failure (//response.bad_request "")) -(def: .public (json reader server) +(def .public (json reader server) (All (_ a) (-> (<json>.Reader a) (-> a Server) Server)) (function (_ (^.let request [identification protocol resource message])) (do async.monad @@ -69,7 +69,7 @@ {try.#Failure error} (async.resolved ..failure))))) -(def: .public (text server) +(def .public (text server) (-> (-> Text Server) Server) (function (_ (^.let request [identification protocol resource message])) (do async.monad @@ -81,7 +81,7 @@ {try.#Failure error} (async.resolved ..failure))))) -(def: .public (query property server) +(def .public (query property server) (All (_ a) (-> (Property a) (-> a Server) Server)) (function (_ [identification protocol resource message]) (let [full (the //.#uri resource) @@ -99,7 +99,7 @@ {try.#Failure error} (async.resolved ..failure))))) -(def: .public (form property server) +(def .public (form property server) (All (_ a) (-> (Property a) (-> a Server) Server)) (function (_ (^.let request [identification protocol resource message])) (do async.monad @@ -114,7 +114,7 @@ {try.#Failure error} (async.resolved ..failure))))) -(def: .public (cookies property server) +(def .public (cookies property server) (All (_ a) (-> (Property a) (-> a Server) Server)) (function (_ (^.let request [identification protocol resource message])) (case (do try.monad |