X-Git-Url: https://ruin.nu/git/?a=blobdiff_plain;f=Wiki.hs;h=59e592938df2e7fbb25634bb30b65dd357f05735;hb=ee02e144cc032d02afc0aaf3b1e73a1a68963ac6;hp=c41effa9d481e63e5c7b41aa1aa5569504475287;hpb=ab35c3fcc01e43f9aea657f4c1c35bd66de0aafb;p=yawbih.git diff --git a/Wiki.hs b/Wiki.hs index c41effa..59e5929 100644 --- a/Wiki.hs +++ b/Wiki.hs @@ -1,40 +1,177 @@ module Wiki ( - WB + Backend (getCurrent,getList,get,setCurrent,update) ,PGB + ,createPGB + ,Markup (Text, Paragraph, Link, Bold, Emph, Heading, Url) + ,Document + ,wikiParser ) where import Dbconnect +import Data.Char +import Text.ParserCombinators.Parsec -class WB a where +class Backend a where --Keyword -> (Full text,date) - getCurrent :: a -> String -> IO (String,String) + getCurrent :: a -> String -> IO (Maybe (String,String)) - --Keyword -> [(id,date)] - getList :: a -> String -> IO [(String, String)] + --Keyword -> [(id,date,author,comment)] + 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 () + setCurrent :: a -> String -> String -> IO Bool --Keyword -> Full text -> id - addNew :: a -> String -> String -> IO String + update :: a -> String -> String -> String -> String -> IO String + +data Markup = Text String + | Paragraph + | Link String String + | Bold [Markup] + | Emph [Markup] + | Heading Int [Markup] + | Url 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' + +pLinkLong = do + string "[[" + l <- many1 $ noneOf ['|'] + char '|' + d <- many1 $ noneOf "]" + string "]]" + return (Link 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 + try (string xs >> return []) <|> (do + s <- pMain + ss <- pStringParser xs + return (s:ss)) + +pHeading = do + many1 pEol + level <- many1 $ char '=' + char ' ' + s <- pStringParser (' ':level) + return (Heading (length level) s) + +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) + +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 +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 + result <- selectReturnTuples db $ "SELECT fulltext,timestamp FROM curtexts WHERE keyword="++tov key + case result of + [text,date]:_ -> return (Just (text,date)) + _ -> return Nothing + + 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 = 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 + case full of + [[]] -> do + return False + _ -> do + rows <- case cur of + [[]] -> do + execute db $ "INSERT INTO current (keyword, id) VALUES ("++tov key++","++tov id++")" + _ -> do + execute db $ "UPDATE current SET id = "++tov id++" WHERE keyword = "++tov key + if rows == 1 then return True + else return False + + update (PGB db) key text author comment = do + rows <- execute db $ "INSERT INTO fulltexts (keyword,fulltext, author, comment) VALUES ("++tov key++","++tov text++","++tov author++","++tov comment++")" + if rows == 0 then return "" + else do + [[id]] <- selectReturnTuples db $ "SELECT currval('fulltexts_id_seq')" + setCurrent (PGB db) key id + return id + + +tov :: String -> String +tov s = '\'':escapeQuery s++"'" + -data PGB = PGB DBService - -createPGP host database user password = let db = createDBService host database "" user password Nothing in return (PGB db) - - -instance WB PGB where - - getCurrent (PGB db) key = return ("","") - - getList (PGB db) key = return [("","")] - - get (PGB db) key id = return "" - - setCurrent (PGB db) key id = return () - - addNew (PGB db) key text = return ""