+wikiParser :: Parser Document
+wikiParser = many1 pMain
+
+firstInLineChars = "#*="
+
+pPara :: Parser Markup
+pPara = do
+ count 2 pEol
+ notFollowedBy $ oneOf firstInLineChars
+ return (Paragraph)
+
+pLink :: Parser Markup
+pLink = do
+ string "[["
+ (l,d) <- pLinkContent
+ case d of
+ [] -> return (Link l l)
+ _ -> return (Link l d)
+
+pList :: Bool -> Parser Markup
+pList enum = do
+ list <- many1 $ try $ pListItem enum
+ return (List enum list)
+
+pListItem :: Bool -> Parser [Markup]
+pListItem enum = do
+ pEol
+ char $ listToken enum
+ many (pOneLine <|> try (pOneEol))
+
+pOneEol = do
+ c <- pEol
+ notFollowedBy (oneOf $ firstInLineChars++"\r\n")
+ return c
+
+listToken True = '#'
+listToken False = '*'
+
+pHeading :: Parser Markup
+pHeading = do
+ pEol
+ level <- many1 $ char '='
+ s <- pStopAt level
+ return (Heading (length level) s)
+
+pURL :: Parser Markup
+pURL = do
+ proto <- many1 letter
+ string "://"
+ s <- many1 (alphaNum <|> oneOf "?.:&-/~%=\\_")
+ return (Url (proto++"://"++s))
+
+pMail :: Parser Markup
+pMail = do
+ user <- many1 (alphaNum <|> oneOf ".-_")
+ char '@'
+ server <- many1 (alphaNum <|> oneOf ".-_")
+ return (Url ("mailto:"++user++"@"++server))
+
+
+pPre :: Parser Markup
+pPre = string "<pre>" >> do
+ s <- pUntil (pOneLine <|> pEol) "</pre>"
+ return (Pre s)
+
+pBold,pEmph,pUnderline,pStrike :: Parser Markup
+pBold = pFont "**" Bold
+pEmph = pFont "//" Emph
+pUnderline = pFont "__" Underline
+pStrike = pFont "--" Strike
+pMono = pFont "||" Mono
+
+pFont s o = string s >> do
+ s <- pStopAt s
+ return (Font o s)
+
+pOtherChar :: Parser Markup
+pOtherChar = do
+ c <- noneOf "\n\r"
+ return (Text (c:[]))
+
+pText :: Parser Markup
+pText = do
+ t <- many1 alphaNum
+ return (Text t)
+
+pLinkContent :: Parser (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 -> Parser Document
+pStopAt xs = pUntil pOneLine xs
+
+pString :: String -> Parser String
+pString xs = pUntil anyChar xs
+
+pEol :: Parser Markup
+pEol = do
+ (string "\n" <|> string "\r\n")
+ return (Text "\r\n")
+
+pUntil :: Parser a -> String -> Parser [a]
+pUntil p xs = manyTill p (try $ string xs)
+
+pMain :: Parser Markup
+pMain = choice [
+ try (pHeading)
+ ,try $ pList True
+ ,try $ pList False
+ ,try (pPara)
+ ,try(pPre)
+ ,try(pBold)
+ ,try(pEmph)
+ ,try(pUnderline)
+ ,try(pStrike)
+ ,try(pMono)
+ ,try (pLink)
+ ,try (pURL)
+ ,try (pMail)
+ ,pText
+ ,pOtherChar
+ ,pEol
+ ]
+
+pOneLine = choice [
+ try pBold
+ ,try pEmph
+ ,try pUnderline
+ ,try pStrike
+ ,try pMono
+ ,try pLink
+ ,try pURL
+ ,try pMail
+ ,pText
+ ,pOtherChar
+ ]
+