X-Git-Url: https://ruin.nu/git/?a=blobdiff_plain;f=Wiki.hs;h=37b43112fd856a35736c9b5dcd21aa9cd0fd0f92;hb=01c59ac502d71c3c1ccac422b5665f9e5954a190;hp=59e592938df2e7fbb25634bb30b65dd357f05735;hpb=ee02e144cc032d02afc0aaf3b1e73a1a68963ac6;p=yawbih.git diff --git a/Wiki.hs b/Wiki.hs index 59e5929..37b4311 100644 --- a/Wiki.hs +++ b/Wiki.hs @@ -1,10 +1,11 @@ module Wiki ( - Backend (getCurrent,getList,get,setCurrent,update) + Backend (getCurrent,getList,get,setCurrent,update,listKeys) ,PGB ,createPGB - ,Markup (Text, Paragraph, Link, Bold, Emph, Heading, Url) + ,Markup (Text, Paragraph, Link, Bold, Emph, Heading, Url, Underline, Strike, Pre) ,Document ,wikiParser + ,htmlOutput ) where @@ -28,6 +29,9 @@ 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 | Paragraph | Link String String @@ -35,100 +39,114 @@ data Markup = Text String | 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) +wikiParser = many1 pMain +pPara :: GenParser Char st Markup +pPara = count 2 pEol >> return (Paragraph) +pSpace :: GenParser Char st Markup pSpace = do - space - return (Text " ") - -pEol = char '\n' <|> do - char '\r' - char '\n' - -pLinkLong = do - string "[[" - l <- many1 $ noneOf ['|'] - char '|' - d <- many1 $ noneOf "]" - string "]]" - return (Link l d) + c <- space + return (Text (c:[])) +pLink :: GenParser Char st Markup pLink = do string "[[" - l <- many1 $ noneOf "]" - string "]]" - return (Link l l) - -pBold = do - string "**" - s <- pStringParser "**" - return (Bold s) - -pEmph = do - string "//" - s <- pStringParser "//" - return (Emph s) - -pStringParser xs = do - try (string xs >> return []) <|> (do - s <- pMain - ss <- pStringParser xs - return (s:ss)) + (l,d) <- pLinkContent + case d of + [] -> return (Link l l) + _ -> return (Link l d) +pHeading :: GenParser Char st Markup pHeading = do many1 pEol level <- many1 $ char '=' char ' ' - s <- pStringParser (' ':level) + s <- pStopAt (' ':level) return (Heading (length level) s) +pURL :: GenParser Char st Markup pURL = do proto <- many1 letter string "://" s <- many1 (alphaNum <|> oneOf "?.:&-/") return (Url (proto++"://"++s)) - -pMain = try (pHeading) - <|> (try (pPara) - <|> pSpace - <|> try(pBold) - <|> try(pEmph) - <|> try (pLinkLong) - <|> try (pLink) - <|> try (pURL) - <|> pOtherChar - <|> pText) +pPre :: GenParser Char st Markup +pPre = string "
" >> do
+	s <- pString "
" + return (Pre s) + +pBold,pEmph,pUnderline,pStrike :: GenParser Char st Markup +pBold = pS "**" (\s -> Bold s) +pEmph = pS "//" (\s -> Emph s) +pUnderline = pS "__" (\s -> Underline s) +pStrike = pS "--" (\s -> Strike s) +pS s f = string s >> do + s <- pStopAt s + return (f s) + +pOtherChar :: GenParser Char st Markup pOtherChar = do c <- oneOf "*,;.:!?[]()'\"=-%$£<>/\\|" return (Text (c:[])) +pText :: GenParser Char st Markup pText = do - t <- many1 alphaNum--(noneOf ['\n','\r','[',']']) + t <- many1 alphaNum return (Text t) +pLinkContent :: GenParser Char st (String, String) +pLinkContent = do try (string "]]" >> return ([],[])) + <|> try (do + string " | " + d <- pString "]]" + return ([],d)) + <|> (do + c <- anyChar + (l,d) <- pLinkContent + return (c:l,d)) + +pStopAt :: String -> GenParser Char st Document +pStopAt xs = pUntil pMain xs + +pString :: String -> GenParser Char st String +pString xs = pUntil anyChar xs + +pEol :: GenParser Char st String +pEol = string "\n" <|> string "\r\n" + +pUntil :: GenParser Char st a -> String -> GenParser Char st [a] +pUntil p xs = manyTill p (try $ string xs) + +pMain :: GenParser Char st Markup +pMain = choice [ + try (pHeading) + ,try (pPara) + ,pSpace + ,try(pPre) + ,try(pBold) + ,try(pEmph) + ,try(pUnderline) + ,try(pStrike) + ,try (pLink) + ,try (pURL) + ,pOtherChar + ,pText + ] newtype PGB = PGB DBService createPGB :: String -> String -> String -> String -> IO PGB createPGB host database user password = let db = createDBService host database "" user password Nothing in return (PGB db) - -testDB = createPGB "wave" "wiki" "wiki" "12wiki34db" - instance Backend PGB where getCurrent (PGB db) key = do @@ -139,7 +157,9 @@ 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 + 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 @@ -169,9 +189,29 @@ 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 current 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 -> putStr (toHtml n) + Left e -> print e