2 Backend (getCurrent,getList,get,setCurrent,update,listKeys)
5 ,Markup (Text, Paragraph, Link, Bold, Emph, Heading, Url, Underline, Strike, Pre,List)
14 import Text.ParserCombinators.Parsec
17 --Keyword -> (Full text,date)
18 getCurrent :: a -> String -> IO (Maybe (String,String))
20 --Keyword -> [(id,date,author,comment)]
21 getList :: a -> String -> IO [(String, String, String, String)]
23 --Keyword -> id -> Full text
24 get :: a -> String -> String -> IO (Maybe String)
27 setCurrent :: a -> String -> String -> IO Bool
29 --Keyword -> Full text -> id
30 update :: a -> String -> String -> String -> String -> IO String
33 listKeys :: a -> IO [String]
35 data Markup = Text String
40 | Heading Int [Markup]
45 | List Bool [[Markup]]
47 type Document = [Markup]
49 wikiParser :: Parser Document
50 wikiParser = many1 pMain
52 pPara :: Parser Markup
53 pPara = count 2 pEol >> return (Paragraph)
55 pLink :: Parser Markup
60 [] -> return (Link l l)
61 _ -> return (Link l d)
63 pList :: Bool -> Parser Markup
65 list <- many1 $ try $ pListItem enum
66 return (List enum list)
68 pListItem :: Bool -> Parser [Markup]
77 pHeading :: Parser Markup
80 level <- many1 $ char '='
82 return (Heading (length level) s)
88 s <- many1 (alphaNum <|> oneOf "?.:&-/~%=\\_")
89 return (Url (proto++"://"++s))
91 pMail :: Parser Markup
93 user <- many1 (alphaNum <|> oneOf ".-_")
95 server <- many1 (alphaNum <|> oneOf ".-_")
96 return (Url ("mailto:"++user++"@"++server))
100 pPre = string "<pre>" >> do
101 s <- pUntil (pOneLine <|> pEol) "</pre>"
104 pBold,pEmph,pUnderline,pStrike :: Parser Markup
105 pBold = pS "**" (\s -> Bold s)
106 pEmph = pS "//" (\s -> Emph s)
107 pUnderline = pS "__" (\s -> Underline s)
108 pStrike = pS "--" (\s -> Strike s)
109 pS s f = string s >> do
113 pOtherChar :: Parser Markup
118 pText :: Parser Markup
123 pLinkContent :: Parser (String, String)
124 pLinkContent = do try (string "]]" >> return ([],[]))
131 (l,d) <- pLinkContent
134 pStopAt :: String -> Parser Document
135 pStopAt xs = pUntil pOneLine xs
137 pString :: String -> Parser String
138 pString xs = pUntil anyChar xs
140 pEol :: Parser Markup
142 (string "\n" <|> string "\r\n")
145 pUntil :: Parser a -> String -> Parser [a]
146 pUntil p xs = manyTill p (try $ string xs)
148 pMain :: Parser Markup
179 newtype PGB = PGB DBService
181 createPGB :: String -> String -> String -> String -> IO PGB
182 createPGB host database user password = let db = createDBService host database "" user password Nothing in return (PGB db)
184 instance Backend PGB where
186 getCurrent (PGB db) key = do
187 result <- selectReturnTuples db $ "SELECT fulltext,timestamp FROM curtexts WHERE keyword="++tov key
189 [text,date]:_ -> return (Just (text,date))
192 getList (PGB db) key = do
193 list <- selectReturnTuples db $ "SELECT id, timestamp, author, comment from fulltexts WHERE keyword = "++tov key
196 _ -> return $ map (\[id,date,author,comment] -> (id,date,author,comment)) list
198 get (PGB db) key id = do
199 list <- selectReturnTuples db $ "SELECT fulltext from fulltexts WHERE id = "++tov id
201 [s]:_ -> return (Just s)
204 setCurrent (PGB db) key id = do
205 full <- selectReturnTuples db $ "SELECT keyword FROM fulltexts WHERE keyword="++tov key++" AND id='"++id++"'"
206 cur <- selectReturnTuples db $ "SELECT keyword FROM curtexts WHERE keyword="++tov key
213 execute db $ "INSERT INTO current (keyword, id) VALUES ("++tov key++","++tov id++")"
215 execute db $ "UPDATE current SET id = "++tov id++" WHERE keyword = "++tov key
216 if rows == 1 then return True
219 update (PGB db) key text author comment = do
220 rows <- execute db $ "INSERT INTO fulltexts (keyword,fulltext, author, comment) VALUES ("++tov key++","++tov text++","++tov author++","++tov comment++")"
221 if rows == 0 then return ""
223 [[id]] <- selectReturnTuples db $ "SELECT currval('fulltexts_id_seq')"
224 setCurrent (PGB db) key id
227 listKeys (PGB db) = do
228 list <- selectReturnTuples db $ "SELECT keyword FROM current keyword ORDER BY lower(keyword)"
231 _ -> mapM (\[key] -> return key) list
233 tov :: String -> String
234 tov s = '\'':escapeQuery s++"'"
236 toHtml :: [Markup] -> String
238 toHtml ((Paragraph):xs) = "<p>\n"++toHtml xs
239 toHtml ((Text s):xs) = s++toHtml xs
240 toHtml ((Link l d):xs) = "<link: "++l++" desc: "++d++">"++toHtml xs
241 toHtml ((Bold d):xs) = "<b>"++toHtml d++"</b>"++toHtml xs
242 toHtml ((Emph d):xs) = "<em>"++toHtml d++"</em>"++toHtml xs
243 toHtml ((Underline d):xs) = "<u>"++toHtml d++"</u>"++toHtml xs
244 toHtml ((Strike d):xs) = "<strike>"++toHtml d++"</strike>"++toHtml xs
245 toHtml ((Heading n d):xs) = "\n<h"++show n++">"++toHtml d++"</h"++show n++">\n"++toHtml xs
246 toHtml ((Url l):xs) = "<link: "++l++">"++toHtml xs
247 toHtml ((Pre s):xs) = "<pre>"++toHtml s++"</pre>"++toHtml xs
248 toHtml ((List o l):xs) = "<"++listType o++">\n"++(unlines $ map (\s -> "<li>"++toHtml s++"</li>\n") l) ++ "</"++listType o++">"++toHtml xs
251 listType False = "ul"
253 htmlOutput s = case parse wikiParser "" s of
254 Right n -> putStr (toHtml n)