@@ -21,10 +21,15 @@ import Data.Word (Word64)
21import Server.API.Posts
21import Server.API.Posts
22import Server.Logger
22import Server.Logger
24+docsWriter :: HasDocs api => String -> Proxy api -> IO ()
24−main = writeFile "docs.md" . markdown . docs . pretty $ serverProxy
25+docsWriter file = writeFile ("docs/" ++ file ++ ".md") . markdown . docs
28+ docsWriter "posts" (Proxy :: Proxy ("posts" :> PostApi))
29+ docsWriter "all" serverProxy
26instance ToSample Char where
31instance ToSample Char where
27− toSamples _ = singleSample $ 'c'
32+ toSamples _ = singleSample 'c'
29instance ToSample Int64 where
34instance ToSample Int64 where
30 toSamples _ = samples [1, 7, 2, 19]
35 toSamples _ = samples [1, 7, 2, 19]
@@ -33,4 +38,4 @@ instance ToSample Word64 where
33 toSamples _ = samples [1, 7, 2, 19]
38 toSamples _ = samples [1, 7, 2, 19]
35instance ToSample Log where
40instance ToSample Log where
36− toSamples _ = samples ["Log"]
41+ toSamples _ = noSamples