@@ -33,7 +33,7 @@ type API = "users" :> Capture "id" UserId :> Get '[JSON] User
3333 :<|> "users" :> "add" :> Capture "first" Text :> Capture "second" Text :> Get '[JSON] [User]
3434 :<|> "users" :> "all" :> Get '[JSON] [User]
3535 :<|> "posts" :> Capture "id" PostId :> Get '[JSON] D.Post
36− :<|> "posts" :> "all" :> Get '[JSON] (TokenizedResponse [D.Post])
36+ :<|> "posts" :> "all" :> Get '[JSON] (TokenizedResponse Update)
3737 :<|> "posts" :> "subscribe" :> Capture "token" Int :> WebSocketPending
3838
3939createServer :: P.Connection -> IO (Server API)
@@ -64,11 +64,11 @@ createUserPath first second = do
6464 liftIO $ newUser cfg first second
6565 allUsers
6666
67−returnPosts :: App (TokenizedResponse [D.Post])
67+returnPosts :: App (TokenizedResponse Update)
6868returnPosts = do
6969 posts <- allPosts
7070 t <- getToken
71− liftIO $ atomically $ TokenizedResponse <$> t <*> pure posts
71+ liftIO $ atomically $ TokenizedResponse <$> t <*> (pure $ flip Update (S.empty) $ S.fromList $ Prelude.map D.postId posts)
7272
7373invalidTokenError :: RejectRequest
7474invalidTokenError = defaultRejectRequest {