خُ³h&Bb>h© !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€پ‚ƒ„…†‡ˆ‰ٹ‹Œچژڈگ‘’“”•–—ک™ڑ›œ‌‍ں ،¢£¤¥¦§¨ Safe-Inferred"=مMmarkup-parseWarnings covering leftovers, s and runParserWarn ws " x"These (ParserLeftover "x") ' 'runParserWarn ws "x"This ParserUncaught,runParserWarn (ws `cut` "no whitespace") "x""This (ParserError "no whitespace")markup-parse2Run a Parser, throwing away leftovers. Nothing on or .runParserMaybe ws "x"NothingrunParserMaybe ws " x"Just ' 'markup-parse7Run a Parser, throwing away leftovers. Returns Left on or .runParserEither ws " x" Right ' 'markup-parse.Run parser, returning leftovers and errors as s.runParserWarn ws " "That ' 'runParserWarn ws "x"This ParserUncaughtrunParserWarn ws " x"These (ParserLeftover "x") ' 'markup-parse tokenize_ Html [i||][""]7markup-parseسValue of an attribute. "" is equivalent to true with respect to boolean attributes.8markup-parseName of an attribute.9markup-parseMost functions return a Q rather than an 9ه because it is often more ergonomic to use the free monoid (aka a list) in preference to returning a ¬ 9 (say).:markup-parse*A Markup token. The term is borrowed from >https://www.w3.org/html/wg/spec/tokenization.html#tokenizationHTML standards but is used across U and V in this library.Note that the :1 type is used in two slightly different contexts:4As an intermediary representation of markup between and Q.As the primitives of Q 9sSpecifically, an <; will occur in a list of tokens, but not as a primitive in Qڈ. It may turn out to be better to have two different types for these two uses and future iterations of this library may head in this direction.7runParser_ (many (tokenP Html)) [i|content|]:[OpenTag StartTag "foo" [],Content "content",EndTag "foo"]#runParser_ (tokenP Xml) [i||]OpenTag EmptyElemTag "foo" []+runParser_ (tokenP Html) ""Comment " Comment "أrunParser_ (tokenP Xml) [i||]ْDecl "xml" [Attr {attrName = "version", attrValue = " version=\"1.0\""},Attr {attrName = "encoding", attrValue = "UTF-8"}]*runParser_ (tokenP Html) ""Doctype "DOCTYPE html"9runParser_ (tokenP Xml) ""&Doctype "DOCTYPE foo [ declarations ]"8runParser (tokenP Html) [i||]؟OK (OpenTag StartTag "foo" [Attr {attrName = "a", attrValue = "a"},Attr {attrName = "b", attrValue = "b"},Attr {attrName = "c", attrValue = "c"},Attr {attrName = "check", attrValue = ""}]) ""7runParser (tokenP Xml) [i||]Fail;markup-parseA tag. 5https://developer.mozilla.org/en-US/docs/Glossary/Tag<markup-parseA closing tag.=markup-parseThe content between tags.>markup-parseContents of a comment.?markup-parseContents of a declaration@markup-parse"Contents of a doctype declaration.Amarkup-parse>Whether an opening tag is a start tag or an empty element tag.Dmarkup-parse Name of tokenEmarkup-parseْA type synonym for the common returning type of many functions. A common computation pipeline is to take advantage of the ® Monad instance egہmarkup s bs = bs & (tokenize s >=> gather s) & second (Markup s)Fmarkup-parse‏markup-parse generally tries to continue on parse errors, and return what has/can still be parsed, together with any warnings.Gmarkup-parse1A tag ending with "/>" that is not an element of g (Html only).Hmarkup-parseحA tag ending with "/>" that has children. Cannot happen in the parsing phase.Imarkup-parseOnly a B can have child tokens.Jmarkup-parseہA CloseTag with a different name to the currently open StartTag.Kmarkup-parse)An EndTag with no corresponding StartTag.Lmarkup-parse)An StartTag with no corresponding EndTag.Mmarkup-parse!An EndTag should never appear in QNmarkup-parse'Empty Content, Comment, Decl or DoctypeOmarkup-parseBadly formed declarationQmarkup-parse A list of 9s or :s*markup Html "baz"µThat (Markup {elements = [Node {rootLabel = OpenTag StartTag "foo" [Attr {attrName = "class", attrValue = "bar"}], subForest = [Node {rootLabel = Content "baz", subForest = []}]}]})Tmarkup-parse•From a parsing pov, Html & Xml (& Svg) are close enough that they share a lot of parsing logic, so that parsing and printing just need some tweaking.?The xml parsing logic is based on the XML productions found in https://www.w3.org/TR/xml/+The html parsing was based on a reading of .https://hackage.haskell.org/package/html-parse html-parseل, but ignores the various 'x00' to 'xfffd' & eof directives that form part of the html standards.Wmarkup-parseConvert any warnings to an ¯"warnError $ (tokenize Html) "
|])]markup-parse(Are the trees in the markup well-formed?^markup-parse:Check for well-formedness and return warnings encountered.°wellFormed Html $ Markup [Node (Comment "") [], Node (EndTag "foo") [], Node (OpenTag EmptyElemTag "foo" []) [Node (Content "bar") []], Node (OpenTag EmptyElemTag "foo" []) []]<[EmptyContent,EndTagInTree,LeafWithChildren,BadEmptyElemTag]_markup-parseEscape a single character.`markup-parse' = ">" escapeChar '&' = "&" escapeChar '\''' = "'" escapeChar '"' = """ No attempt is made to meet the خhttps://en.wikipedia.org/wiki/List_of_XML_and_HTML_character_entity_referencesHTML Standards#escape [i||]3"<foo class="a" bar='b'>"amarkup-parseîAppend attributes to an existing Token attribute list. Returns Nothing for tokens that do not have attributes.bmarkup-parseStandard Html Doctype"markdown_ Compact Html doctypeHtml""cmarkup-parseStandard Xml Doctype markdown_ Compact Xml doctypeXml—""dmarkup-parseA flatparse : parser.,runParser (tokenP Html) "content".OK (OpenTag StartTag "foo" []) "content"emarkup-parseParse a bytestring into tokens%tokenize Html [i|content|]?That [OpenTag StartTag "foo" [],Content "content",EndTag "foo"]fmarkup-parse tokenize but errors on warnings.gmarkup-parseHtml tags that self-closehmarkup-parseCreate Q= from a name tag and attributes that wraps some other markup.#element "div" [] (element_ "br" [])چMarkup {elements = [Node {rootLabel = OpenTag StartTag "div" [], subForest = [Node {rootLabel = OpenTag StartTag "br" [], subForest = []}]}]}imarkup-parseCreate Qة from a name tag and attributes that doesn't wrap some other markup. The A used is B. Use j if you want to create C based markup.(element_ "br" [])رMarkup {elements = [Node {rootLabel = OpenTag StartTag "br" [], subForest = []}]}jmarkup-parseCreate Q& from a name tag and attributes using Cه, that doesn't wrap some other markup. No checks are made on whether this creates well-formed markup.emptyElem "br" []صMarkup {elements = [Node {rootLabel = OpenTag EmptyElemTag "br" [], subForest = []}]}kmarkup-parseCreate Q0 from a name tag and attributes that wraps some =. No escaping is performed.elementc "div" [] "content"†Markup {elements = [Node {rootLabel = OpenTag StartTag "div" [], subForest = [Node {rootLabel = Content "content", subForest = []}]}]}lmarkup-parseCreate Q =2 from a bytestring, escaping the usual characters.content ""زMarkup {elements = [Node {rootLabel = Content "<content>", subForest = []}]}mmarkup-parseحCreate a Markup element from a bytestring, not escaping the usual characters.contentRaw ""جMarkup {elements = [Node {rootLabel = Content "", subForest = []}]}>markup_ Html $ markdown_ Compact Html $ contentRaw ""*** Exception: UnclosedTag...°markup-parseânormalize an attribution list, removing duplicate AttrNames, and space concatenating class values.±markup-parserender attributes²markup-parserender an attribute)Does not attempt to escape double quotes.nmarkup-parsebytestring representation of :.+detokenize Html (OpenTag StartTag "foo" [])""omarkup-parseConvert Q to bytestrings>markdown (Indented 4) Html (markup_ Html [i|
|])That "\n
\n"pmarkup-parseConvert Q to and error on warnings.تB.putStr $ markdown_ (Indented 4) Html (markup_ Html [i|
|])
qmarkup-parseظNormalise Content in Markup, concatenating adjacent Content, and removing mempty Content.6normContent $ content "a" <> content "" <> content "b"إMarkup {elements = [Node {rootLabel = Content "ab", subForest = []}]}rmarkup-parseنGather together token trees from a token list, placing child elements in nodes and removing EndTags.baz"µThat (Markup {elements = [Node {rootLabel = OpenTag StartTag "foo" [Attr {attrName = "class", attrValue = "bar"}], subForest = [Node {rootLabel = Content "baz", subForest = []}]}]})smarkup-parser but errors on warnings.tmarkup-parse4Convert a markup into a token list, adding end tags.baz"çThat [OpenTag StartTag "foo" [Attr {attrName = "class", attrValue = "bar"}],Content "baz",EndTag "foo"]umarkup-parset but errors on warning³markup-parse0name string according to xml production rule [5]´markup-parse+XML declaration as per production rule [23]vmarkup-parsexml production [24]wmarkup-parsexml production [26]µmarkup-parse/Doctype declaration as per production rule [28]xmarkup-parsexml production [32]ymarkup-parse xml yes/nozmarkup-parsexml production [80]{markup-parsexml production [81]¶markup-parseدopen xml tag as per xml production rule [40] self-closing xml tag as per [44]·markup-parseclosing tag as per [42]¸markup-parseParse a single :.|markup-parse6Parse a tag name. Each standard is slightly different.¹markup-parse Parse an 3}markup-parseParse attributionsش 0123456789:?>;<=@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}شQRSTUVZ[012op\q^]FGHIJKLMNOPEWXY9hijklmDgbc873456a}|ABC:?>;<=@efdnrstuvzxw{y _` Safe-Inferred>X¦markup-parse0Compare a file with a round-trip transformation.§markup-parse؛% with unchanged sections filtered out.showPatch $ patch [1, 2, 3, 5] [0, 1, 2, 4, 6]"[+0, -3, +4, -5, +6]"¨markup-parse*Create a String representation of a patch.¦§¨§¦¨» !"#$%&'()*+,-./0123456789:;<==>?@ABCDEFGHIJKLMNOPQRSTUVWXYZZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€پ‚ƒ„…†‡ˆ‰ٹ‹Œچژڈگ‘’“”•–—ک™ڑ›œ‌‍ں ،¢£¤¥¦§¨©ھ«¬®¯° ±²³´²³µ¶·¸¹؛»¼½¾¶؟ہءآأؤإئابةتثجحخ)markup-parse-0.1.1-BdYhv7KNpuBDovL7j9hJZ4MarkupParseMarkupParse.FlatParseMarkupParse.Patchcontainers-0.6.5.1 Data.Tree subForest rootLabelNodeTree(flatparse-0.5.0.1-5UrmBxIjfc61M7qOmrutv5FlatParse.Basic runParserErrFailOKResultFlatParse.Basic.ParserParserFlatParse.Common.Assorted utf8ToStr strToUtf8 ParserWarningParserLeftoverParserErrorParserUncaughtrunParserMayberunParserEither runParserWarn runParser_ws_isWhitespacewswsssqdqnotaisa byteStringOf' wrappedSq wrappedDqwrappedQwrappedQNoGuardeqsep bracketedbracketedSBwrappeddigitintdoublesignedcomma$fEqParserWarning$fShowParserWarning$fOrdParserWarning$fGenericParserWarning$fNFDataParserWarningRenderStyleCompactIndentedAttrattrName attrValue AttrValueAttrNameElementTokenOpenTagEndTagContentCommentDeclDoctypeOpenTagTypeStartTagEmptyElemTagNameTagWarn MarkupWarningBadEmptyElemTagSelfCloserWithChildrenLeafWithChildrenTagMismatchUnmatchedEndTagUnclosedTagEndTagInTreeEmptyContentBadDeclMarkupParserMarkupelementsStandardHtmlXml warnError warnEither warnMaybemarkupmarkup_ normalizeisWellFormed wellFormed escapeCharescapeaddAttrsdoctypeHtml doctypeXmltokenPtokenize tokenize_selfCloserselementelement_ emptyElemelementccontent contentRaw detokenizemarkdown markdown_normContentgathergather_degather degather_xmlVersionInfoPxmlVersionNumPxmlStandaloneP xmlYesNoPxmlEncodingDeclPxmlEncNamePnamePattrsP$fToExprAttr$fNFDataAttr$fEqRenderStyle$fShowRenderStyle$fGenericRenderStyle$fShowMarkup $fEqMarkup$fOrdMarkup$fGenericMarkup$fNFDataMarkup$fToExprMarkup$fSemigroupMarkup$fMonoidMarkup$fShowToken $fOrdToken $fEqToken$fGenericToken $fNFDataToken $fToExprToken $fGenericAttr $fShowAttr$fEqAttr $fOrdAttr$fShowOpenTagType$fOrdOpenTagType$fEqOpenTagType$fGenericOpenTagType$fNFDataOpenTagType$fToExprOpenTagType$fEqMarkupWarning$fShowMarkupWarning$fOrdMarkupWarning$fGenericMarkupWarning$fNFDataMarkupWarning$fEqStandard$fShowStandard $fOrdStandard$fGenericStandard$fNFDataStandard$fToExprStandardgoldenPatchpatch showPatchbyteStringOfghc-prim GHC.TypesIntDoublebase GHC.MaybeMaybebytestring-0.11.3.1Data.ByteString.Internal ByteStringthese-1.2-UBdGAEuHN58xE7uqj4k9i Data.TheseTheseGHC.Errerror normAttrsrenderAttrs renderAttrnameXmlPdeclXmlPdoctypeXmlP startTagsXmlP endTagXmlP tokenHtmlPattrP(tree-diff-0.3.0.1-9kp7yyxP4SYFOymatbapJJData.TreeDiff.Classediff