app/IR.hs

@@ -4,73 +4,33 @@ import Data.Text
 
 newtype Document = Doc [Element]
 
-data Element
+data Element = Heading Heading | Code Code | BlockQuote BlockQuote | List List | Table Table | HTML HTML | Paragraph Paragraph | BlankLine BlankLine
-  = Heading Heading
-  | Code Code
-  | BlockQuote BlockQuote
-  | List List
-  | HTML HTML
-  | Paragraph Paragraph
-  | HorizontalRule
 
--- Removed: BlankLine
+data Heading = H {level :: Int, text :: Text}
 
-data Heading = H
+data Code = C {language :: Text, code :: Text}
-  { level :: Int,
-    text :: [InlineText]
-  }
 
-data Code = C
+newtype BlockQuote = Q Text
-  { language :: Maybe Text,
-    code :: Text
-  }
-
-data BlockQuote = Q [InlineText]
-
-data ListItem = LI
-  { content :: [InlineText], -- Flatten continuations into here
-    children :: [List]
-  }
 
 data ListType = Ordered | Unordered
 
-data List = L
+data ListItem = LI {content :: Text, children :: [List]}
-  { list_type :: ListType,
-    items :: [ListItem]
-  }
 
--- Table: keep as-is or simplify based on your needs
+data List = L {list_type :: ListType, items :: [ListItem]}
 
-data HTML
+data Table = T {header :: TableHeader, rows :: [TableRow]}
-  = HTMLTag
-  { tagName :: Text,
-    attributes :: [(Text, Maybe Text)],
-    html_content :: Text
-  }
 
--- Optionally skip: HTMLComment, HTMLDeclaration
+newtype TableHeader = TH [Text]
+
+newtype TableRow = TR Text
+
+newtype HTML = Raw Text
 
 newtype Paragraph = P [InlineText]
 
-data InlineText
+data InlineText = Normal Text | Escaped Char | Bold InlineText | Italic InlineText | CodeLine Text | Link {nest :: InlineText, href :: Text} | HTMLIn Text
-  = Text Text -- Combined Normal and Escaped
+
-  | Bold [InlineText]
+data BlankLine = BL
-  | Italic [InlineText]
-  | InlineCode Text
-  | Link
-      { linkText :: [InlineText],
-        url :: Text,
-        title :: Maybe Text
-      }
-  | Image
-      { altText :: [InlineText],
-        url :: Text,
-        title :: Maybe Text
-      }
-  | HTMLInline
-      { inlineTagName :: Text,
-        inlineAttributes :: [(Text, Maybe Text)]
-      }
 
 -- for processing math
 -- https://hackage.haskell.org/package/typst-0.6.1/docs/Typst-Parse.html#v:parseTypst

app/Markdown.hs

@@ -66,23 +66,17 @@ htmlInline = do
   remaining <- htmlInlineRemainder
   whiteSpace
   char '>'
-  let remainingTagText = foldl' (\ongoing current -> ongoing ++ ' ' : current) "" remaining
+  let remainingTagText = foldl' (\ongoing  current -> ongoing ++ ' ' : current) "" remaining
 
   pure $ HTMLIn $ pack $ '<' : name ++ remaining
   where
     htmlInlineRemainder = many $ whiteSpace *> attribute
     name = many $ choice [alphaNum, char '-', char ':']
-    value = do
-      char '"'
-      l <- letter
-      rem <- many $ choice [alphaNum, char '-', char ':']
-      char '"'
-      pure '"' : l : rem ++ "\""
     attribute = do
-      attrName <- name
+        attrName <- name
-      char '='
+        char '='
-      attrValue <- value
+        attrValue <- value
-      pure attrName ++ ('=' : attrValue)
+        pure attrName ++ '=' : 
 
 whiteSpace :: Parser Text
 whiteSpace = pack <$> many space