X-Git-Url: https://ruin.nu/git/?p=yawbih.git;a=blobdiff_plain;f=Wiki.hs;h=a2b6548509f8282f73af4d2059216c4b91c23673;hp=1708f57f7d094276c3afd7dcc01c81e05f315a39;hb=64b58e5b75b4c8e95574fa9080166f5cf1079005;hpb=38f06e9262e9b2dd14906492539006602225d49e diff --git a/Wiki.hs b/Wiki.hs index 1708f57..a2b6548 100644 --- a/Wiki.hs +++ b/Wiki.hs @@ -1,11 +1,17 @@ module Wiki ( - Backend + Backend (getCurrent,getList,get,setCurrent,update,listKeys) ,PGB + ,createPGB + ,Markup (Text, Paragraph, Link, Bold, Emph, Heading, Url, Underline, Strike, Pre) + ,Document + ,wikiParser + ,htmlOutput ) where import Dbconnect import Data.Char +import Text.ParserCombinators.Parsec class Backend a where --Keyword -> (Full text,date) @@ -15,7 +21,7 @@ class Backend a where getList :: a -> String -> IO [(String, String, String, String)] --Keyword -> id -> Full text - get :: a -> String -> String -> IO String + get :: a -> String -> String -> IO (Maybe String) --Keyword -> id -> () setCurrent :: a -> String -> String -> IO Bool @@ -23,12 +29,121 @@ class Backend a where --Keyword -> Full text -> id update :: a -> String -> String -> String -> String -> IO String + --[Keyword] + listKeys :: a -> IO [String] + data Markup = Text String - | Bold String - | Paragraph [Markup] + | Paragraph + | Link String String + | Bold [Markup] + | Emph [Markup] + | Heading Int [Markup] + | Url String + | Underline [Markup] + | Strike [Markup] + | Pre String type Document = [Markup] +wikiParser :: GenParser Char st Document +wikiParser = do + s <- pMain + ss <- (wikiParser <|> return []) + return (s:ss) + +pPara = do + pEol + pEol + return (Paragraph) + + +pSpace = do + space + return (Text " ") + +pEol = char '\n' <|> do + char '\r' + char '\n' + +pLinkParser = do try (string "]]" >> return ([],[])) + <|> try (do + string " | " + d <- pString "]]" + return ([],d)) + <|> (do + c <- anyChar + (l,d) <- pLinkParser + return (c:l,d)) + +pLink = do + string "[[" + (l,d) <- pLinkParser + case d of + [] -> return (Link l l) + _ -> return (Link l d) + +pBold = pS "**" (\s -> Bold s) +pEmph = pS "//" (\s -> Emph s) +pUnderline = pS "__" (\s -> Underline s) +pStrike = pS "--" (\s -> Strike s) + +pS s f = do + string s + s <- pStopAt s + return (f s) + +pStopAt xs = do + try (string xs >> return []) <|> (do + s <- pMain + ss <- pStopAt xs + return (s:ss)) + +pString xs = do + try (string xs >> return []) <|> (do + s <- anyChar + ss <- pString xs + return (s:ss)) + +pHeading = do + many1 pEol + level <- many1 $ char '=' + char ' ' + s <- pStopAt (' ':level) + return (Heading (length level) s) + +pURL = do + proto <- many1 letter + string "://" + s <- many1 (alphaNum <|> oneOf "?.:&-/") + return (Url (proto++"://"++s)) + +pPre = do + string "
"
+	s <- pString "
" + return (Pre s) + +pMain = try (pHeading) + <|> (try (pPara) + <|> pSpace + <|> try(pPre) + <|> try(pBold) + <|> try(pEmph) + <|> try(pUnderline) + <|> try(pStrike) + <|> try (pLink) + <|> try (pURL) + <|> pOtherChar + <|> pText) + +pOtherChar = do + c <- oneOf "*,;.:!?[]()'\"=-%$£<>/\\|" + return (Text (c:[])) + +pText = do + t <- many1 alphaNum--(noneOf ['\n','\r','[',']']) + return (Text t) + + newtype PGB = PGB DBService createPGB :: String -> String -> String -> String -> IO PGB @@ -47,26 +162,28 @@ instance Backend PGB where getList (PGB db) key = do list <- selectReturnTuples db $ "SELECT id, timestamp, author, comment from fulltexts WHERE keyword = "++tov key - return $ map (\[id,date,author,comment] -> (id,date,author,comment)) list - - get (PGB db) key id = return "" + case list of + [[]] -> return [] + _ -> return $ map (\[id,date,author,comment] -> (id,date,author,comment)) list + + get (PGB db) key id = do + list <- selectReturnTuples db $ "SELECT fulltext from fulltexts WHERE id = "++tov id + case list of + [s]:_ -> return (Just s) + _ -> return Nothing setCurrent (PGB db) key id = do full <- selectReturnTuples db $ "SELECT keyword FROM fulltexts WHERE keyword="++tov key++" AND id='"++id++"'" - cur <- selectReturnTuples db $ "SELECT keyword FROM curtexts WHERE keyword='"++tov key++"'" + cur <- selectReturnTuples db $ "SELECT keyword FROM curtexts WHERE keyword="++tov key case full of [[]] -> do - print "No text found with this id and key" return False _ -> do rows <- case cur of - [] -> do - print "No link found in current, inserting" - execute db $ "INSERT INTO current (keyword, id) VALUES ("++tov id++","++tov key++")" + [[]] -> do + execute db $ "INSERT INTO current (keyword, id) VALUES ("++tov key++","++tov id++")" _ -> do - print "Link found in current, updating" execute db $ "UPDATE current SET id = "++tov id++" WHERE keyword = "++tov key - print rows if rows == 1 then return True else return False @@ -77,9 +194,34 @@ instance Backend PGB where [[id]] <- selectReturnTuples db $ "SELECT currval('fulltexts_id_seq')" setCurrent (PGB db) key id return id + + listKeys (PGB db) = do + list <- selectReturnTuples db $ "SELECT keyword FROM fulltexts GROUP BY keyword ORDER BY lower(keyword)" + case list of + [[]] -> return [] + _ -> mapM (\[key] -> return key) list + tov :: String -> String tov s = '\'':escapeQuery s++"'" - +toHtml :: [Markup] -> String +toHtml [] = [] +toHtml ((Paragraph):xs) = "

\n"++toHtml xs +toHtml ((Text s):xs) = s++toHtml xs +toHtml ((Link l d):xs) = ""++toHtml xs +toHtml ((Bold d):xs) = ""++toHtml d++""++toHtml xs +toHtml ((Emph d):xs) = ""++toHtml d++""++toHtml xs +toHtml ((Underline d):xs) = ""++toHtml d++""++toHtml xs +toHtml ((Strike d):xs) = ""++toHtml d++""++toHtml xs +toHtml ((Heading n d):xs) = "\n"++toHtml d++"\n"++toHtml xs +toHtml ((Url l):xs) = ""++toHtml xs +toHtml ((Pre s):xs) = "

"++s++"
"++toHtml xs + + +htmlOutput s = case parse wikiParser "" s of + Right n -> do + putStr (toHtml n) + Left e -> do + print e