kbertalan / tyttp Goto Github PK
View Code? Open in Web Editor NEWLicense: MIT License
License: MIT License
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.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.