kbertalan / tyttp Goto Github PK

I just noticed that we do not have access to the HTTP version from the Request record, is it available anywhere?

I'm trying to build off the Files.idr example, and just wondering, any idea how while handling a http request, i can make an http request, then use that while responding?
I know in javascript this would involve some kind of promises/callbacks/bind, but i can't work out how that would translate to tyttp.
I'm trying something like this:

extraReq :
  Error e
  => HasIO io
  => Context me u v h1 s StringHeaders a b
  -> io $ Context me u v h1 Status StringHeaders a (Publisher IO e Buffer)
extraReq ctx = do
  putStrLn "extraReq"
  https <- requireHTTPS
  x <- getHttps https "https://jsonplaceholder.typicode.com/todos/1" $ \res => do
        putStrLn res.statusCode
        onData res putStrLn
        -- TODO somehow use this when responding to calls to /extraReq
  text "extraReq" ctx >>= status OK

The getHttps is pretty much the same as your HTTP.get. You can find the full file here. Ideally the text "extraReq" ctx >>= status OK would be nested where the TODO is.

Not sure i'm explaining this well, so let me know if you need more details.