2 Backend (getCurrent,getList,get,setCurrent,update,listKeys)
5 ,Markup (Text, Paragraph, Font, Link, Heading, Url, Pre,List)
6 ,FontOp (Bold, Emph, Mono, Underline, Strike)
16 import Text.ParserCombinators.Parsec
19 --Keyword -> (Full text,date)
20 getCurrent :: a -> String -> IO (Maybe (String,String))
22 --Keyword -> [(id,date,author,comment)]
23 getList :: a -> String -> IO [(String, String, String, String)]
25 --Keyword -> id -> Full text
26 get :: a -> String -> String -> IO (Maybe String)
29 setCurrent :: a -> String -> String -> IO Bool
31 --Keyword -> Full text -> id
32 update :: a -> String -> String -> String -> String -> IO String
35 listKeys :: a -> IO [String]
37 data Markup = Text String
40 | Font FontOp [Markup]
41 | Heading Int [Markup]
44 | List Bool [[Markup]]
46 data FontOp = Bold | Emph | Mono | Underline | Strike
48 type Document = [Markup]
50 wikiParser :: Parser Document
51 wikiParser = many1 pMain
53 pPara :: Parser Markup
54 pPara = count 2 pEol >> return (Paragraph)
56 pLink :: Parser Markup
61 [] -> return (Link l l)
62 _ -> return (Link l d)
64 pList :: Bool -> Parser Markup
66 list <- many1 $ try $ pListItem enum
67 return (List enum list)
69 pListItem :: Bool -> Parser [Markup]
78 pHeading :: Parser Markup
81 level <- many1 $ char '='
83 return (Heading (length level) s)
89 s <- many1 (alphaNum <|> oneOf "?.:&-/~%=\\_")
90 return (Url (proto++"://"++s))
92 pMail :: Parser Markup
94 user <- many1 (alphaNum <|> oneOf ".-_")
96 server <- many1 (alphaNum <|> oneOf ".-_")
97 return (Url ("mailto:"++user++"@"++server))
100 pPre :: Parser Markup
101 pPre = string "<pre>" >> do
102 s <- pUntil (pOneLine <|> pEol) "</pre>"
105 pBold,pEmph,pUnderline,pStrike :: Parser Markup
106 pBold = pFont "**" Bold
107 pEmph = pFont "//" Emph
108 pUnderline = pFont "__" Underline
109 pStrike = pFont "--" Strike
110 pMono = pFont "||" Mono
112 pFont s o = string s >> do
116 pOtherChar :: Parser Markup
121 pText :: Parser Markup
126 pLinkContent :: Parser (String, String)
127 pLinkContent = do try (string "]]" >> return ([],[]))
134 (l,d) <- pLinkContent
137 pStopAt :: String -> Parser Document
138 pStopAt xs = pUntil pOneLine xs
140 pString :: String -> Parser String
141 pString xs = pUntil anyChar xs
143 pEol :: Parser Markup
145 (string "\n" <|> string "\r\n")
148 pUntil :: Parser a -> String -> Parser [a]
149 pUntil p xs = manyTill p (try $ string xs)
151 pMain :: Parser Markup
184 newtype PGB = PGB DBService
186 createPGB :: String -> String -> String -> String -> IO PGB
187 createPGB host database user password = let db = createDBService host database "" user password Nothing in return (PGB db)
189 instance Backend PGB where
191 getCurrent (PGB db) key = do
192 result <- selectReturnTuples db $ "SELECT fulltext,timestamp FROM curtexts WHERE keyword="++tov key
194 [text,date]:_ -> return (Just (text,date))
197 getList (PGB db) key = do
198 list <- selectReturnTuples db $ "SELECT id, timestamp, author, comment from fulltexts WHERE keyword = "++tov key
201 _ -> return $ map (\[id,date,author,comment] -> (id,date,author,comment)) list
203 get (PGB db) key id = do
204 list <- selectReturnTuples db $ "SELECT fulltext from fulltexts WHERE id = "++tov id
206 [s]:_ -> return (Just s)
209 setCurrent (PGB db) key id = do
210 full <- selectReturnTuples db $ "SELECT keyword FROM fulltexts WHERE keyword="++tov key++" AND id='"++id++"'"
211 cur <- selectReturnTuples db $ "SELECT keyword FROM curtexts WHERE keyword="++tov key
218 execute db $ "INSERT INTO current (keyword, id) VALUES ("++tov key++","++tov id++")"
220 execute db $ "UPDATE current SET id = "++tov id++" WHERE keyword = "++tov key
221 if rows == 1 then return True
224 update (PGB db) key text author comment = do
225 rows <- execute db $ "INSERT INTO fulltexts (keyword,fulltext, author, comment) VALUES ("++tov key++","++tov text++","++tov author++","++tov comment++")"
226 if rows == 0 then return ""
228 [[id]] <- selectReturnTuples db $ "SELECT currval('fulltexts_id_seq')"
229 setCurrent (PGB db) key id
232 listKeys (PGB db) = do
233 list <- selectReturnTuples db $ "SELECT keyword FROM current keyword ORDER BY lower(keyword)"
236 _ -> mapM (\[key] -> return key) list
238 tov :: String -> String
239 tov s = '\'':escapeQuery s++"'"
241 toHtml :: [Markup] -> String
243 toHtml ((Paragraph):xs) = "<p>\n"++toHtml xs
244 toHtml ((Text s):xs) = s++toHtml xs
245 toHtml ((Link l d):xs) = "<link: "++l++" desc: "++d++">"++toHtml xs
246 toHtml ((Font o d):xs) = "<"++htmlFontOp o++">"++toHtml d++"</"++htmlFontOp o++">"++toHtml xs
247 toHtml ((Heading n d):xs) = "\n<h"++show n++">"++toHtml d++"</h"++show n++">\n"++toHtml xs
248 toHtml ((Url l):xs) = "<link: "++l++">"++toHtml xs
249 toHtml ((Pre s):xs) = "<pre>"++toHtml s++"</pre>"++toHtml xs
250 toHtml ((List o l):xs) = "<"++htmlListType o++">\n"++(unlines $ map (\s -> "<li>"++toHtml s++"</li>\n") l) ++ "</"++htmlListType o++">"++toHtml xs
252 htmlFontOp Bold = "b"
253 htmlFontOp Emph = "em"
254 htmlFontOp Mono = "tt"
255 htmlFontOp Underline = "u"
256 htmlFontOp Strike = "strike"
258 htmlListType True = "ol"
259 htmlListType False = "ul"
261 toLatex :: [Markup] -> String
263 toLatex ((Paragraph):xs) = "\n\n"++toLatex xs
264 toLatex ((Text s):xs) = s++toLatex xs
265 toLatex ((Link l d):xs) = "{\\em "++d++"}"++toLatex xs
266 toLatex ((Font o d):xs) = "{\\"++latexFontOp o++" "++toLatex d++"}"++toHtml xs
267 toLatex ((Heading n d):xs) = "\n\\"++(unwords $ take (n-1) $ repeat "sub")++"section{"++toLatex d++"}"++"\n\n"++toLatex xs
268 toLatex ((Url l):xs) = "{\\bf "++l++"}"++toLatex xs
269 toLatex ((Pre s):xs) = "<pre>"++toLatex s++"</pre>"++toLatex xs
270 toLatex ((List o l):xs) = "\n\\begin{"++latexListType o++"}\n"++(unlines $ map (\s -> "\\item "++toLatex s++"\n") l) ++ "\\end{"++latexListType o++"}"++toLatex xs
272 latexFontOp Bold = "bf"
273 latexFontOp Emph = "em"
274 latexFontOp Mono = "tt"
275 latexFontOp Underline = "u"
276 latexFontOp Strike = "strike"
278 latexListType True = "enumeration"
279 latexListType False = "itemize"
281 output s f = case parse wikiParser "" s of
282 Right n -> putStr (f n)
285 htmlOutput s = output s toHtml
286 latexOutput s = output s toLatex