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