Pagwin/psb
1
0
Fork 0
Code Issues 4 Pull requests Projects Releases Packages Wiki Activity

fixed up output from LLM for IR a bit

Browse source
This commit is contained in:
Pagwin 2025-11-01 15:39:18 -04:00
parent 33b049e64e
commit 6212c3fd05
No known key found for this signature in database
GPG key ID: 81137023740CA260
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
app/IR.hs
View file

@ -44,7 +44,7 @@ data HTML
= HTMLTag = HTMLTag
{ tagName :: Text, { tagName :: Text,
attributes :: [(Text, Maybe Text)], attributes :: [(Text, Maybe Text)],
content :: Text html_content :: Text
} }
-- Optionally skip: HTMLComment, HTMLDeclaration -- Optionally skip: HTMLComment, HTMLDeclaration
@ -55,7 +55,7 @@ data InlineText
= Text Text -- Combined Normal and Escaped = Text Text -- Combined Normal and Escaped
| Bold [InlineText] | Bold [InlineText]
| Italic [InlineText] | Italic [InlineText]
| Code Text | InlineCode Text
| Link | Link
{ linkText :: [InlineText], { linkText :: [InlineText],
url :: Text, url :: Text,
@ -67,8 +67,8 @@ data InlineText
title :: Maybe Text title :: Maybe Text
} }
| HTMLInline | HTMLInline
{ tagName :: Text, { inlineTagName :: Text,
attributes :: [(Text, Maybe Text)] inlineAttributes :: [(Text, Maybe Text)]
} }
-- for processing math -- for processing math