2017-10-26 21:19:30 +00:00
|
|
|
module Examples.QueryParameters.Main where
|
2017-09-26 07:14:06 +00:00
|
|
|
|
|
|
|
import Prelude
|
2021-11-19 06:16:35 +00:00
|
|
|
import Effect.Console (log)
|
|
|
|
import HTTPure (Request, ResponseM, ServerM, (!@), (!?), serve, ok)
|
2017-09-26 07:14:06 +00:00
|
|
|
|
|
|
|
-- | Specify the routes
|
2021-11-19 06:16:35 +00:00
|
|
|
router :: Request -> ResponseM
|
2017-09-26 07:14:06 +00:00
|
|
|
router { query }
|
2021-11-19 06:16:35 +00:00
|
|
|
| query !? "foo" = ok "foo"
|
|
|
|
| query !@ "bar" == "test" = ok "bar"
|
|
|
|
| otherwise = ok $ query !@ "baz"
|
2017-09-26 07:14:06 +00:00
|
|
|
|
|
|
|
-- | Boot up the server
|
2021-11-19 06:16:35 +00:00
|
|
|
main :: ServerM
|
2021-03-22 19:02:36 +00:00
|
|
|
main =
|
2021-11-19 06:16:35 +00:00
|
|
|
serve 8080 router do
|
|
|
|
log " ┌───────────────────────────────────────┐"
|
|
|
|
log " │ Server now up on port 8080 │"
|
|
|
|
log " │ │"
|
|
|
|
log " │ To test, run: │"
|
|
|
|
log " │ > curl localhost:8080?foo │"
|
|
|
|
log " │ # => foo │"
|
|
|
|
log " │ > curl localhost:8080?bar=test │"
|
|
|
|
log " │ # => bar │"
|
|
|
|
log " │ > curl localhost:8080?baz=<anything> │"
|
|
|
|
log " │ # => <anything> │"
|
|
|
|
log " └───────────────────────────────────────┘"
|