$Pq      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopNone35C &Types that support conversion to HTML.A chunk of HTML source.!Extract HTML source code from an Html value.,Convert a chunk of HTML source code into an Html value as-is. Note that this bypasses any and all HTML encoding; the caller is responsible for taking appropriate measures against XSS and other potential vulnerabilities. In other words, the input to this function is considered pre-sanitized."Safely convert plain text to HTML.q$HTML-encode an individual character.r!Html itself is a trivial instances6String is automatically HTML-encoded and converted to tu"Text is automatically HTML-encoded vwqrsu vwqrsuNone=Expressions, building blocks for the expression minilanguage.#String literal expression: "foobar"!Numeric literal expression: 123.4  Boolean literal expression: true  Literal null Variable reference: foobar $List construct: [ expr, expr, expr ] 1Object construct: { expr: expr, expr: expr, ... }foo[bar] (also dot access)foo(bar=baz, quux)Ginger statements.!A sequence of multiple statements&Run wrapped statement in a local scope,Literal output (anything outside of any tag){{ expression }}:{% if expression %}statement{% else %}statement{% endif %};{% for index, varname in expression %}statement{% endfor %}{% set varname = expr %}+{% macro varname %}statements{% endmacro %}{% include "template" %}The do-nothing statement (NOP)A block definition (  {% block %} )A macro definition (  {% macro %} )#?Top-level data structure, representing a fully parsed template.(A context variable name.#  !"#$%&'(#  !"#$%&'(#(#$%&' !"     !"#$%&'(None357N+)QA key/value pair, used for constructing dictionary GVals using a compact syntax.*#Types that implement conversion to -.,GA function that can be called from within a template execution context.-A variant type designed as the unitype for the template language. Any value referenced in a template, returned from within a template, or used in a template context, will be a -. m, in most cases, should be a x..| Some laws apply here, most notably: - when 8 is y, then all of 6, 3, 5, 2, /, 0, and 7 should produce z - when 8 is y, then 4 should produce { - when 5 is not z, then 4 should only return { for exactly zero - z -ness of 7 should match one or both of / / 0/"Convert value to list, if possible0=Convert value to association list ("dictionary"), if possible1"Convert value to a lookup function2Render value as HTML3Render value as plain-text4Get value's truthiness5&Convert value to a number, if possible61Access value as a callable function, if it is one76Get length of value, if it is a collection (list/dict)8Check if the value is null9]Match arguments passed to a function at runtime against a list of declared argument names. !matchFuncArgs argNames argsPassed returns ((matchedArgs, positionalArgs, namedArgs) , where  matchedArgsR is a list of arguments matched against declared names (by name or by position), positionalArgs5 are the unused positional (unnamed) arguments, and  namedArgs are the unused named arguments.:{Construct a dictionary GVal from a list of pairs. Internally, this uses a hashmap, so element order will not be preserved.;Construct an ordered dictionary GVal from a list of pairs. Internally, this conversion uses both a hashmap (for O(1) lookup) and the original list, so element order is preserved, but there is a bit of a memory overhead.<(Construct a pair from a key and a value.=4Silly helper function, needed to bypass the default | instance of } in order to make integral }s look like integers.>Turn a , into a -?-Check if the given GVal is a list-like object@3Check if the given GVal is a dictionary-like objectATreat a - as a flat list and look up a value by integer index. If the value is not a List, or if the index exceeds the list length, return z.BHelper function; look up a value by an integer index when the index may or may not be available. If no index is given, return z.CeStrictly-typed lookup: treat value as a dictionary-like object and look up the value at a given key.DLoosely-typed lookup: try dictionary-style lookup first (treat index as a string, and container as a dictionary), if that doesn't yield anything (either because the index is not string-ish, or because the container doesn't provide dictionary-style access), try index-based lookup.ETreat a -E as a dictionary and list all the keys, with no particular ordering.F Convert a - to a number.G Convert a - to an ~e. The conversion will fail when the value is not numeric, and also if it is too large to fit in an ~.HLoose cast to boolean.9Numeric zero, empty strings, empty lists, empty objects, Null, and boolean {S are considered falsy, anything else (including functions) is considered true-ish.I-Dynamically cast to a function. This yields  a , if the value is a function, z if it's not.JConvert Aeson Values to -ps over an arbitrary host monad. Because JSON cannot represent functions, this conversion will never produce a ,.K%This instance is slightly wrong; the 4, 5, and 3e methods all treat the HTML source as plain text. We do this to avoid parsing the HTML back into a t (and dealing with possible parser errors); the reason this instance exists at all is that we still want to be able to pass pre-rendered HTML around sometimes, and as long as we don't call any numeric or string functions on it, everything is fine. When such HTML values accidentally do get used as strings, the HTML source will bleed into the visible text, but at least this will not introduce an XSS vulnerability.-It is therefore recommended to avoid passing K values into templates, and also to avoid calling any string functions on f values inside templates (e.g. capturing macro output and then passing it through a textual filter).N*Single characters are treated as length-1 ts.OString -> - conversion uses the  class; because String, is an alias for '[Char]', there is also a * instance for StringA, but it marshals strings as lists of characters, i.e., calling +3 on a string produces a list of characters on the - side.PGBooleans render as 1 or empty string, and otherwise behave as expected.W of t becomes a dictionary-like -XHaskell lists become list-like -sYz becomes NULL,  unwraps.ZTrivial instance for - itself.[6Converting to HTML hooks into the ToHtml instance for tW for most tags. Tags that have no obvious textual representation render as empty HTML.\For convenience, |A is implemented in a way that looks similar to JavaScript / JSON] The default - is equivalent to NULL.5)*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]!)*+,-./0123456789:;<=>?@ABCDEFGHI5-./012345678]\[,9*+ZYXWVUTSRQ):;<=PONMLKJ>?@ABCDEFGHI))*+,- ./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]None3457FN^8Internal type alias for our template-runner monad stack._sExecution context. Determines how to look up variables from the environment, and how to write out template output.`Create an execution context for runGingerT. Takes a lookup function, which returns ginger values into the carrier monad based on a lookup key, and a writer function (outputting HTML by whatever means the carrier monad provides, e.g. putStr for IO, or tell for Writers).aCreate an execution context for runGinger. The argument is a lookup function that maps top-level context keys to ginger values. a is a specialized version of `, targeting the  H monad (which is what is used for the non-monadic template interpreter b).The type of the lookup function may look intimidating, but in most cases, marshalling values from Haskell to Ginger is a matter of calling +S on them, so the 'GVal (Run (Writer Html))' part can usually be ignored. See the  module for details.bAPurely expand a Ginger template. The underlying carrier monad is  ;, which is used to collect the output and render it into a  value.c'Monadically run a Ginger template. The m parameter is the carrier monad.d!Lift a value from the host monad m into the ^ monad.e$Lift a function from the host monad m into the ^ monad.8Find the effective base template of an inheritance chainRun a template.2Run an action within a different template context.$Run an action within a block contextRun one statement.(Deeply magical function that converts a  into a Function.xHelper function to run a State action with a temporary state, reverting to the old state after the action has finished.xHelper function to run a Scope action with a temporary scope, reverting to the old scope after the action has finished.DRun (evaluate) an expression and return its value into the Run monad[Helper function to output a HTML value using whatever print function the context provides.(^_`abcde^_`abcdecb_a`^de ^_`abcdeNoneFN f+Error information for Ginger parser errors.hHuman-readable error messageiSource name, if anyjLine number, if availablekColumn number, if availablelUsed to resolve includes. Ginger will call this function whenever it encounters an {% include %}, {% import %}, or {% extends %} directive. If the required source code is not available, the resolver should return Nothing, else Just the source.m+A source identifier (typically a filename).n(Input type for the parser (source code).DHelper function to create a Ginger parser error from a Parsec error.o Parse Ginger source from a file.p Parse Ginger source from memory.dfghijklmnop fghijklmnop pofghijklnmZfghijklmnopNoneW  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHI^_`abcdefghijklmnop      !"#$$%&&'())*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghiijklmnopqrstuvwxy z{|}~{|~{~{|{bginge_IhcLWjxGtjx1ZVFFnpUjh6Text.Ginger.HtmlText.Ginger.ASTText.Ginger.GValText.Ginger.RunText.Ginger.Parse Text.GingerGValToHtmltoHtmlHtml htmlSource unsafeRawHtmlhtml ExpressionStringLiteralENumberLiteralE BoolLiteralE NullLiteralEVarEListEObjectE MemberLookupECallE StatementMultiSScopedSLiteralSInterpolationSIfSForSSetVarS DefMacroS BlockRefSPreprocessedIncludeSNullSBlock blockBodyMacro macroArgs macroBodyTemplate templateBodytemplateBlockstemplateParentVarNamePairToGValtoGValFunctionasList asDictItemsasLookupasHtmlasText asBooleanasNumber asFunctionlengthisNull matchFuncArgsdict orderedDict~>scientificToText fromFunctionisListisDict lookupIndexlookupIndexMay lookupKey lookupLoosekeystoNumbertoInt toBoolean toFunction$fToGValmValue $fToGValmHtml $fToGValmText$fToGValmText0 $fToGValmChar$fIsStringGVal $fToGValmBool$fToGValm(,,,) $fToGValm(,,) $fToGValm(,)$fToGValmScientific$fToGValmInteger $fToGValmInt$fToGValmHashMap $fToGValm[]$fToGValmMaybe $fToGValmGVal $fToHtmlGVal $fShowGVal $fDefaultGValRun GingerContext makeContextM makeContext runGinger runGingerTliftRunliftRun2 ParserErrorpeErrorMessage peSourceName peSourceLinepeSourceColumnIncludeResolver SourceNameSourceparseGingerFile parseGingerhtmlEncodeChar $fToHtmlHtml $fToHtml[]text_5c7VCmRXJenGcMPs3kwpkIData.Text.InternalText $fToHtmlTextunHtmlbaseGHC.BaseMonadghc-prim GHC.TypesTrueNothingFalseGHC.ShowShowscien_6xEQkE5AsJW8hirjgZRUMtData.Scientific ScientificIntJust Data.StringIsStringunord_6idQPCkIYrOLZJk30a4LOmData.HashMap.BaseHashMaptrans_GZTjP9K5WFq01xC9BAGQpFControl.Monad.Trans.Writer.LazyWriter baseTemplate runTemplate withTemplate withBlockName runStatement macroToGValwithLocalStatewithLocalScope runExpressionechoRunStatersScope rsCapturersCurrentTemplatersCurrentBlockName contextLookupcontextWriteHtml unaryFuncignoreArgNamesvariadicNumericFuncunaryNumericFuncvariadicStringFunc defRunState liftLookup lookupBlocksetVargetVar clearCapture appendCapture fetchCapturefromParsecErrorParser ParseStatepsBlocks ParseContext pcResolvepcCurrentSource defParseStateignore getResolverincludeincludeTemplatereduceStatements templatePderivedTemplateP baseTemplateP statementsP statementPinterpolationStmtP literalStmtP endOfLiteralP commentStmtPifStmtP elseBranchP elifBranchPsetStmtP setStmtInnerP defineBlock blockStmtPblockP macroStmtP macroHeadP callStmtP callHeadP scopeStmtPforStmtPincludePforHeadP forIteratorPforIndexedIteratorPforSimpleIteratorP forHeadInP forHeadAsP fancyTagP simpleTagP openCommentP closeCommentPopenTagP closeTagPopenPopenWPopenNWPclosePcloseWPcloseNWP expressionPoperativeExprP booleanExprPcomparativeExprP additiveExprPmultiplicativeExprP postfixExprPpostfixP dotPostfixP arrayAccessP funcCallPfuncArgP namedFuncArgPpositionalFuncArgPfilterP atomicExprPparenthesizedExprP listExprP objectExprPexpressionPairPgroupPbracedPvarExprP identifierP identCharPstringLiteralExprPstringLiteralP stringCharPnumberLiteralExprPnumberLiteralP followedBybefore