ex ((Emph d):xs) = do
em (ex d)
ex xs
+ex ((Heading n d):xs) = do
+ heading n $ ex d
+ ex xs
+ex ((Url l):xs) = do
+ hlink (URL {unURL = ("wiki?"++l)}) (text l)
+ ex xs
+
+heading 1 = h1
+heading 2 = h2
+heading 3 = h3
+heading 4 = h4
+heading 5 = h5
+heading 6 = h6
ex2 [] = []
ex2 ((Paragraph):xs) = "<p>"++ex2 xs
ex2 ((Link l d):xs) = "<link: "++l++" desc: "++d++">"++ex2 xs
ex2 ((Bold d):xs) = "<b>"++ex2 d++"</b>"++ex2 xs
ex2 ((Emph d):xs) = "<em>"++ex2 d++"</em>"++ex2 xs
+ex2 ((Heading n d):xs) = "<h"++show n++">"++ex2 d++"</h"++show n++">"++ex2 xs
+ex2 ((Url l):xs) = "<link: "++l++">"++ex2 xs
test s = case parse wikiParser "" s of
Backend (getCurrent,getList,get,setCurrent,update)
,PGB
,createPGB
- ,Markup (Text, Paragraph, Link, Bold, Emph)
+ ,Markup (Text, Paragraph, Link, Bold, Emph, Heading, Url)
,Document
,wikiParser
| Link String String
| Bold [Markup]
| Emph [Markup]
+ | Heading Int [Markup]
+ | Url String
type Document = [Markup]
return (Emph s)
pStringParser xs = do
- (string xs >> return []) <|> (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 (pPara)
- <|> pSpace
- <|> try(pBold)
- <|> try(pEmph)
- <|> try (pLinkLong)
- <|> try (pLink)
- <|> pOtherChar
- <|> pText)
+pMain = try (pHeading)
+ <|> (try (pPara)
+ <|> pSpace
+ <|> try(pBold)
+ <|> try(pEmph)
+ <|> try (pLinkLong)
+ <|> try (pLink)
+ <|> try (pURL)
+ <|> pOtherChar
+ <|> pText)
pOtherChar = do
c <- oneOf "*,;.:!?[]()'\"=-%$£<>/\\|"