Compare commits

...

3 Commits

@ -120,6 +120,16 @@ fallthroughParser :: [ReadP a] -> ReadP a
fallthroughParser [x] = x fallthroughParser [x] = x
fallthroughParser (x : xs) = x <++ fallthroughParser xs fallthroughParser (x : xs) = x <++ fallthroughParser xs
myMany :: (Monoid a) => ReadP a -> ReadP [a]
myMany p = do
remaining <- look
case remaining of
[] -> return []
_ -> return [] +++ myMany1 p
myMany1 :: (Monoid a) => ReadP a -> ReadP [a]
myMany1 p = liftM2 (:) p (myMany p)
-- --------------- -- ---------------
-- Parse a markdown header, denoted by 1-6 #'s followed by some text, followed by EOL. -- Parse a markdown header, denoted by 1-6 #'s followed by some text, followed by EOL.
@ -143,19 +153,25 @@ parseBold = parseBoldWith "**" <|> parseBoldWith "__"
where where
parseBoldWith delim = do parseBoldWith delim = do
string delim string delim
inside <- greedyParse1 parseLineToken inside <- myMany1 parseLineToken
string delim string delim
return (Bold (Line inside)) return (Bold (Line inside))
-- Parse italic text -- Parse italic text
parseItalic :: ReadP MdToken parseItalic :: ReadP MdToken
parseItalic = parseItalicWith "*" <|> parseItalicWith "_" parseItalic = parseItalicWith '*' <|> parseItalicWith '_'
where where
parseItalicWith delim = do parseItalicWith delim = do
string delim exactlyOnce delim
inside <- greedyParse1 parseLineToken inside <- myMany1 parseLineToken
string delim exactlyOnce delim
return (Italic (Line inside)) return (Italic (Line inside))
exactlyOnce ch = do
char ch
remaining <- look
case remaining of
[] -> return ch
x : xs -> if x == ch then pfail else return ch
-- Parse strikethrough text -- Parse strikethrough text
parseStrikethrough :: ReadP MdToken parseStrikethrough :: ReadP MdToken
@ -204,7 +220,8 @@ parseEscapedChar = do
-- Parse a character as a Unit. -- Parse a character as a Unit.
parseUnit :: ReadP MdToken parseUnit :: ReadP MdToken
parseUnit = do parseUnit = do
text <- satisfy (`notElem` specialChars) -- text <- satisfy (`notElem` specialChars)
text <- get
return (Unit [text]) return (Unit [text])
lineParsers :: [ReadP MdToken] lineParsers :: [ReadP MdToken]
@ -249,7 +266,7 @@ parseLine :: ReadP MdToken
parseLine = do parseLine = do
skipSpaces skipSpaces
-- Fail if we have reached the end of the document. -- Fail if we have reached the end of the document.
parsed <- manyTill parseLineToken eof parsed <- myMany1 parseLineToken
return (Line parsed) return (Line parsed)
-- Parse a paragraph, which is a 'Line' (can span multiple actual lines), separated by double-newlines. -- Parse a paragraph, which is a 'Line' (can span multiple actual lines), separated by double-newlines.

@ -22,6 +22,7 @@ headerTests =
boldTests = boldTests =
TestList TestList
[ check_equal "Should convert bold" "<p><b>Hello</b></p>" (convert "__Hello__"), [ check_equal "Should convert bold" "<p><b>Hello</b></p>" (convert "__Hello__"),
check_equal " Should not convert incomplete bold" "<p>**Hello</p>" (convert "**Hello"),
check_equal "Should convert italic" "<p><i>Hello</i></p>" (convert "_Hello_"), check_equal "Should convert italic" "<p><i>Hello</i></p>" (convert "_Hello_"),
check_equal "Should convert bold and italic in a sentence" "<p>It <i>is</i> a <b>wonderful</b> day</p>" (convert "It _is_ a __wonderful__ day"), check_equal "Should convert bold and italic in a sentence" "<p>It <i>is</i> a <b>wonderful</b> day</p>" (convert "It _is_ a __wonderful__ day"),
check_equal "Should convert nested bold and italic" "<p><b>Bold then <i>Italic</i></b></p>" (convert "**Bold then *Italic***"), check_equal "Should convert nested bold and italic" "<p><b>Bold then <i>Italic</i></b></p>" (convert "**Bold then *Italic***"),

Loading…
Cancel
Save