2017-10-26 21:19:30 +00:00
|
|
|
module Examples.PathSegments.Main where
|
2017-09-26 06:08:07 +00:00
|
|
|
|
2022-05-22 11:30:14 +00:00
|
|
|
import Prelude hiding ((/))
|
2022-05-04 21:02:29 +00:00
|
|
|
|
2022-05-22 11:30:14 +00:00
|
|
|
import Data.Generic.Rep (class Generic)
|
|
|
|
import Data.Maybe (Maybe(..))
|
2021-11-19 06:16:35 +00:00
|
|
|
import Effect.Console (log)
|
2022-05-22 11:47:58 +00:00
|
|
|
import HTTPurple (Request, ResponseM, ServerM, ok, serve)
|
|
|
|
import HTTPurple (Request, ResponseM, ServerM, ok, serve)
|
2022-05-22 11:30:14 +00:00
|
|
|
import Routing.Duplex (RouteDuplex')
|
|
|
|
import Routing.Duplex as RD
|
|
|
|
import Routing.Duplex.Generic as G
|
|
|
|
import Routing.Duplex.Generic.Syntax ((/))
|
|
|
|
|
|
|
|
data Route = Segment String | ManySegments (Array String)
|
|
|
|
|
|
|
|
derive instance Generic Route _
|
|
|
|
|
|
|
|
route :: RouteDuplex' Route
|
|
|
|
route = RD.root $ G.sum
|
|
|
|
{ "Segment": "segment" / RD.segment
|
|
|
|
, "ManySegments": RD.many RD.segment :: RD.RouteDuplex' (Array String)
|
|
|
|
}
|
2017-09-26 06:08:07 +00:00
|
|
|
|
|
|
|
-- | Specify the routes
|
2022-05-22 11:30:14 +00:00
|
|
|
router :: Request Route -> ResponseM
|
|
|
|
router { route: Segment elem } = ok elem
|
|
|
|
router { route: ManySegments elems } = ok $ show elems
|
2017-09-26 06:08:07 +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 =
|
2022-05-22 16:36:08 +00:00
|
|
|
serve { port: 8080, onStarted } { route, router }
|
|
|
|
where
|
|
|
|
onStarted = do
|
2021-11-19 06:16:35 +00:00
|
|
|
log " ┌───────────────────────────────────────────────┐"
|
|
|
|
log " │ Server now up on port 8080 │"
|
|
|
|
log " │ │"
|
|
|
|
log " │ To test, run: │"
|
|
|
|
log " │ > curl localhost:8080/segment/<anything> │"
|
|
|
|
log " │ # => <anything> │"
|
|
|
|
log " │ > curl localhost:8080/<anything>/<else>/... │"
|
|
|
|
log " │ # => [ <anything>, <else>, ... ] │"
|
|
|
|
log " └───────────────────────────────────────────────┘"
|