2017-10-26 21:19:30 +00:00
|
|
|
module Examples.Headers.Main where
|
2017-07-17 23:42:13 +00:00
|
|
|
|
2017-07-18 05:31:46 +00:00
|
|
|
import Prelude
|
2017-07-17 23:42:13 +00:00
|
|
|
|
2018-07-08 23:16:48 +00:00
|
|
|
import Effect.Console as Console
|
2017-07-17 23:42:13 +00:00
|
|
|
import HTTPure as HTTPure
|
2017-10-23 22:50:27 +00:00
|
|
|
import HTTPure ((!@))
|
2017-07-17 23:42:13 +00:00
|
|
|
|
2017-09-26 06:08:07 +00:00
|
|
|
-- | The headers that will be included in every response.
|
|
|
|
responseHeaders :: HTTPure.Headers
|
2017-09-29 16:30:05 +00:00
|
|
|
responseHeaders = HTTPure.header "X-Example" "hello world!"
|
2017-07-18 01:51:43 +00:00
|
|
|
|
|
|
|
-- | Route to the correct handler
|
2018-07-08 23:16:48 +00:00
|
|
|
router :: HTTPure.Request -> HTTPure.ResponseM
|
2017-10-23 22:50:27 +00:00
|
|
|
router { headers } = HTTPure.ok' responseHeaders $ headers !@ "X-Input"
|
2017-07-17 23:42:13 +00:00
|
|
|
|
|
|
|
-- | Boot up the server
|
2018-07-08 23:16:48 +00:00
|
|
|
main :: HTTPure.ServerM
|
2018-09-02 21:05:54 +00:00
|
|
|
main = HTTPure.serve 8080 router do
|
2017-07-18 01:51:43 +00:00
|
|
|
Console.log $ " ┌──────────────────────────────────────────────┐"
|
2018-09-02 21:05:54 +00:00
|
|
|
Console.log $ " │ Server now up on port 8080 │"
|
2017-07-18 01:51:43 +00:00
|
|
|
Console.log $ " │ │"
|
|
|
|
Console.log $ " │ To test, run: │"
|
2018-09-02 21:05:54 +00:00
|
|
|
Console.log $ " │ > curl -H 'X-Input: test' -v localhost:8080 │"
|
2017-07-18 01:51:43 +00:00
|
|
|
Console.log $ " │ # => ... │"
|
|
|
|
Console.log $ " │ # => ...< X-Example: hello world! │"
|
|
|
|
Console.log $ " │ # => ... │"
|
|
|
|
Console.log $ " │ # => test │"
|
|
|
|
Console.log $ " └──────────────────────────────────────────────┘"
|