Îõ³h$h ¼­      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ¡¢£¤¥¦§¨©ª«¬ None3àç(jl-A value variable, inputted by the programmer.*jl.A type variable, generated by the type system.,jlA self-evaluating constant.5jlDesugared core AST.DjlA parsed expression.NjlA type.Ö  '&%$#"!  ()*+,0/.-14325=<;:9876>@?ACBDMLKJIHGFENQPORTSUÖRTSNQPODMLKJIHGFEACB>@?5=<;:98761432U,0/.-*+() '&%$#"!   None ?ÑÔÙ ~jl2Consume the given predicate from the token stream.jl The parser anyTokenÁ accepts any kind of token. It is for example used to implement ­. Returns the accepted token.€jl2Consume the given predicate from the token stream.jl;Make a string out of the token, for error message purposes.ƒjl!Update the position by the token.„jlnotFollowedBy p only succeeds when parser p¦ fails. This parser does not consume any input. This parser can be used to implement the 'longest match' rule. For example, when recognizing keywords (for example let›), we want to make sure that a keyword is not followed by a legal identifier character, in which case the keyword is actually an identifier (for example lets-). We can program this behaviour as follows: ì keywordLet = try (do{ string "let" ; notFollowedBy alphaNum })…jlëThis parser only succeeds at the end of the input. This is not a primitive parser but it is defined using ®. 1 eof = notFollowedBy anyToken "end of input"qrstuvwxyz{|}~€‚ƒ„…†rstuvwxyz{|}~€‚ƒq„…†None ?Ùà ã‡jlPretty printing for type.ˆjlPretty printing for expression.‰jlPretty printing for core.‡ˆ‰Š‹Œ‡ˆ‰Š‹ŒNone à Ž‘’“Ž‘’“None ?ÔÙà \ ”•–—˜™š›œ ”•–—˜™š›œNone '(?Ùà (jl Eval core.žjl!Substitute name in function body.Ÿjl8Remove syntactic sugar and convert into executable form.žŸžŸNone ?Ùà â  jlGet the type of the expression.¡jl%Check the exp with the given context.¢jlGenerate a fresh type variable.£jlUnify the list of constraints.¤jl$Unify a type variable for two types.¥jl Occurs check.¦jl1Substitute the unified type into the constraints.§jlApply a substitution to a type.¨jl.Quote something for showing to the programmer.  ¡¢£¤¥¦§¨  ¡¢£¤¥¦§¨None à ©jlThe typing context.ªjlBindings available in scope.«jlAll functions.©ª«©ª«¯9  None à ´¬¬°      !"#$%&'()*+,-./001123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ¡¢£¤¥¦§¨©ª«¬­®¯°± ²³´µ³´¶·¸jl-0.1.0-6YSsu3pHWiGkh6UzpnpeDJL.Types JL.Tokenizer JL.Printer JL.Serializer JL.ParserJL.Interpreter JL.Inferer JL.FunctionsJL DefinitiondefinitionName definitionDocdefinitionTypedefinitionCoreLocationlocationStartLinelocationStartColumnlocationEndLinelocationEndColumnTokenIfThenElseCaseOf Backslash RightArrowDollar OpenParen CloseParen OpenBracket CloseBracket VariableToken StringTokenOperatorPeriodCommaIntegerDecimal OpenBrace CloseBraceColonNonIndentedNewlineBar TrueToken FalseToken NullTokenVariable TypeVariableConstantStringConstantNumberConstant BoolConstant NullConstantCompareConstantCompare VectorCompare RecordCompareCore VariableCore LambdaCoreApplicationCoreIfCoreEvalCore RecordCore ArrayCore ConstantCore SubscriptPropertySubscriptExpressionSubscript SubscriptedWildcardSubscriptedExpressionSubscripted ExpressionVariableExpressionLambdaExpressionApplicationExpressionInfixExpression IfExpressionSubscriptExpressionRecordExpressionArrayExpressionConstantExpressionType VariableType FunctionTypeJSONTypeParseExceptionTokenizerError ParserError coreToCompare$fExceptionParseException$fShowLocation $fEqLocation $fEqToken $fOrdToken $fShowToken$fShowExpression$fEqExpression$fShowSubscript $fEqSubscript$fShowSubscripted$fEqSubscripted$fShowVariable $fEqVariable $fOrdVariable $fOrdType$fEqType $fShowType$fShowTypeVariable$fEqTypeVariable$fOrdTypeVariable $fEqCompare $fOrdCompare$fShowConstant $fEqConstant $fOrdConstant$fShowParseException TokenParsertokenizetokensTokenizertokenTokenizerspaces1ellipsisspecialParsingatom atomThenSpaceparsing parseNumbers smartQuotes equalToken satisfyTokenanyToken consumeToken tokenStringtokenStr tokenPositionnotFollowedBy' endOfTokens curlyQuotes prettyType prettyExp prettyCoreprettyConstantprettySubcriptprettyVariable coreToNumber coreToString coreToArray coreToValueconstantToValue valueToCorevalueToExpression parseTextexpressionParserparens varParserifParseratomic stringParserlambda funcParamevalsubstdesugarinfercheckgenerateTypeVariableunify unifyVariableoccurs substitutereplacequotecontextscope functionsreplparsec-3.1.14.0Text.Parsec.Combinatoreof notFollowedBy.->