aboutsummaryrefslogtreecommitdiff
path: root/lib/API.hs
diff options
context:
space:
mode:
authorstuebinm2022-12-12 01:36:59 +0100
committerstuebinm2022-12-12 01:36:59 +0100
commit9b9e6934f74f8f1a95cdf4c22b57770d62091aea (patch)
tree10538bca4619bfb9d17418326edebe412e76aeb9 /lib/API.hs
parent13d3f3afd894c556a9b34bc1e56fdab387d3f6e2 (diff)
a subscribe websocket for real-time location info
(for a leaflet map view or sth which isn't implemented yet)
Diffstat (limited to '')
-rw-r--r--lib/API.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/API.hs b/lib/API.hs
index 70971c3..3e29249 100644
--- a/lib/API.hs
+++ b/lib/API.hs
@@ -61,6 +61,7 @@ type API = "stations" :> Get '[JSON] (Map StationID Station)
-- TODO: perhaps a websocket instead?
:<|> "train" :> "ping" :> ReqBody '[JSON] TrainPing :> Post '[JSON] (Maybe TrainAnchor)
:<|> "train" :> "ping" :> "ws" :> WebSocket
+ :<|> "train" :> "subscribe" :> Capture "Trip ID" TripID :> WebSocket
-- debug things
:<|> "debug" :> "pings" :> Get '[JSON] (Map Token [TrainPing])
:<|> "debug" :> "pings" :> Capture "Trip ID" TripID :> Capture "day" Day :> Get '[JSON] [TrainPing]