X-Git-Url: https://ruin.nu/git/?a=blobdiff_plain;f=Wiki.hs;h=9db2541a9dcff880b840770e91d9db40a5b2a020;hb=1f195ec53bd48d4471e92d60f1e83808679a79ce;hp=41fa15a8cd5d532b84aa03b79a97fc8fef79c017;hpb=b9ff8d1cc183f8f07056efb4680b8b56556d4246;p=yawbih.git diff --git a/Wiki.hs b/Wiki.hs index 41fa15a..9db2541 100644 --- a/Wiki.hs +++ b/Wiki.hs @@ -2,7 +2,7 @@ module Wiki ( Backend (getCurrent,getList,get,setCurrent,update) ,PGB ,createPGB - ,Markup (Text, Paragraph, Link, Bold, Emph) + ,Markup (Text, Paragraph, Link, Bold, Emph, Heading, Url, Underline, Strike, Pre) ,Document ,wikiParser @@ -33,6 +33,11 @@ data Markup = Text String | Link String String | Bold [Markup] | Emph [Markup] + | Heading Int [Markup] + | Url String + | Underline [Markup] + | Strike [Markup] + | Pre String type Document = [Markup] @@ -56,44 +61,75 @@ pEol = char '\n' <|> do char '\r' char '\n' -pLinkLong = do - string "[[" - l <- many1 $ noneOf ['|'] - char '|' - d <- many1 $ noneOf "]" - string "]]" - return (Link l d) +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 <- 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 - (string xs >> return []) <|> (do + (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 <- pStringParser xs + ss <- pStopAt xs return (s:ss)) + +pString xs = do + try (string xs >> return []) <|> (do + s <- anyChar + ss <- pString xs + return (s:ss)) -pMain = (try (pPara) - <|> pSpace - <|> try(pBold) - <|> try(pEmph) - <|> try (pLinkLong) - <|> try (pLink) - <|> pOtherChar - <|> pText) +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 "*,;.:!?[]()'\"=-%$£<>/\\|" @@ -122,7 +158,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