2017-10-26 21:19:30 +00:00
|
|
|
module Examples.Post.Main where
|
2017-07-18 17:09:03 +00:00
|
|
|
|
|
|
|
import Prelude
|
2022-05-04 21:02:29 +00:00
|
|
|
|
2021-11-19 06:16:35 +00:00
|
|
|
import Effect.Console (log)
|
|
|
|
import HTTPure
|
2022-05-04 21:02:29 +00:00
|
|
|
( Method(Post)
|
|
|
|
, Request
|
2021-11-19 06:16:35 +00:00
|
|
|
, ResponseM
|
|
|
|
, ServerM
|
|
|
|
, notFound
|
2022-05-04 21:02:29 +00:00
|
|
|
, ok
|
|
|
|
, serve
|
2021-11-19 06:16:35 +00:00
|
|
|
, toString
|
|
|
|
)
|
2017-07-18 17:09:03 +00:00
|
|
|
|
|
|
|
-- | Route to the correct handler
|
2021-11-19 06:16:35 +00:00
|
|
|
router :: Request -> ResponseM
|
|
|
|
router { body, method: Post } = toString body >>= ok
|
|
|
|
router _ = notFound
|
2017-07-18 17:09:03 +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 -XPOST --data test localhost:8080 │"
|
|
|
|
log " │ # => test │"
|
|
|
|
log " └───────────────────────────────────────────┘"
|