@@ -25,19 +25,16 @@ import qualified Data.Text.IO as T
2525import Servant.Server.Experimental.Auth
2626import Network.Wai
2727import Server.API.Messages
28−
29−docsWriterLong :: HasDocs api => String -> Proxy api -> IO ()
30−docsWriterLong file = writeFile ("docs/" ++ file ++ ".md") . normalizer . markdown . flip docsWithOptions (DocOptions 15)
3128docsWriter :: HasDocs api => String -> Proxy api -> IO ()
3229docsWriter file = writeFile ("docs/" ++ file ++ ".md") . normalizer . markdown . docs
3330
3431main = do
35− docsWriterLong "posts" $ pretty (Proxy :: Proxy ("posts" :> PostApi))
36− docsWriterLong "messages" $ pretty (Proxy :: Proxy (MessagesApi))
32+ docsWriter "posts" $ pretty (Proxy :: Proxy ("posts" :> PostApi))
33+ docsWriter "messages" $ pretty (Proxy :: Proxy (MessagesApi))
3734 docsWriter "all" $ pretty serverProxy
38− docsWriterLong "authentication" $ pretty (Proxy :: Proxy ("authentication" :> AuthenticationHandler :<|>
35+ docsWriter "authentication" $ pretty (Proxy :: Proxy ("authentication" :> AuthenticationHandler :<|>
3936 Authentication :> "authentication" :> "me" :> Post '[JSON] UserId ))
40− docsWriterLong "channels" $ pretty (Proxy :: Proxy ("channels" :> ChannelsApi))
37+ docsWriter "channels" $ pretty (Proxy :: Proxy ("channels" :> ChannelsApi))
4138 T.writeFile ("docs/Home.md") . (\t -> "```\n" <> t <> "```\n") $ layoutWithContext serverProxy (undefined :: Context (AuthHandler Request UserId ': '[]))
4239
4340