нУЁh$╪,▌╠│ !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─ к None >юяЎ funcons-toolsфAn alternative is either a datatype constructor or the inclusion of some other type. The types are arbitrary funcon terms (with possible variables) that may require evaluation to be resolved to a . funcons-toolsоA datatype has `zero or more' type parameters and `zero or more' alternatives. funcons-toolsдA type parameter is of the form X:T where the name of the parameter,X, is optional. When present, X< can be used to specify the type of constructors. Variable X be a sequence variable. funcons-toolsюThe typing environment maps datatype names to their definitions. funcons-tools Representation of builtin types. funcons-tools(Funcon term representation identical to /, but with meta-variables./ funcons-toolsцInternal representation of funcon terms. The generic constructors 0 and 1Э use names to represent nullary funcons and applications of funcons to other terms. Funcon terms are easily created using =, or via the smart constructors exported by Funcons.Core.= funcons-tools▀Build funcon terms by applying a funcon name to `zero or more' funcon terms. This function is useful for defining smart constructors, e,g,сhandle_thrown_ :: [Funcons] -> Funcons handle_thrown_ = applyFuncon "handle-thrown"or alternatively,Фhandle_thrown_ :: Funcons -> Funcons -> Funcons handle_thrown_ x y = applyFuncon "handle-thrown" [x,y]│ funcons-toolsCreates a list of funcon terms.> funcons-toolsCreates a set of funcon terms.? funcons-toolsCreates an integer literal.@ funcons-toolsCreates a natural literal.C funcons-toolsCreates an atom from a ┌ .D funcons-toolsCreates a string literal.┐ funcons-toolsThe empty map as a /.└ funcons-toolsThe empty map as a /.┘ funcons-toolsThe empty set as a /.N funcons-toolsоCreates a tuple of funcon terms. tuple_ :: [Funcons] -> Funcons tuple_ = FTupleQ funcons-toolsReturns the unicodeл representation of an assci value. Otherwise it returns the original value.-Attempt to downcast a funcon term to a value.` funcons-tools>Lookup the definition of a datatype in the typing environment.a funcons-tools The empty .b funcons-toolsUnites a list of s.c funcons-toolsUnites two s.d funcons-tools Creates a from a list.ї├ ┤ ┬ ┴ ┼ ▀ ▄ █ ▌ ▐ ░ ▒ ▓ ⌠ ■ ∙ √ ≈ ≤ ≥ ⌡ ° ² · ÷ ═ ║ ╒ ё є ╔ і ї ╗ ╘ ╙ ╚ ╛ ґ ў ╞ ╟ ╠ ╡ Ё Є ╣ І Ї ╦ ╧ ╨ ╩ ╪ Ґ Ў © ю а б ц д е ф г х и й к л м н о п я р с т у ж в ь ы з ш э щ ч ъ Ю А Б Ц Д Е Ф Г Х И Й К Л М Н О П Я Р С Т У Ж В Ь Ы З Ш Э Щ Ч Ъ ─ │ ┌ ┐ └ ┘ ├ ┤ ┬ ┴ ┼ ▀ ▄ █ ▌ ▐ ░ ▒ ▓ ⌠ ■ ∙ √ ≈ ≤ ≥ ⌡ ° ² · ÷ ═ ║ ╒ ё є ╔ і ї ╗ ╘ ╙ ╚ ╛ ґ ў ╞ ╟ ╠ ╡ Ё Є ╣ І Ї ╦ ╧ ╨ ╩ ╪ Ґ Ў © ю а б ц д е ф г х и й к л м н о п я р с т у ж в ь ы з ш э щ ч ъ Ю А Б Ц Д Е Ф Г Х И Й К Л М Н О П Я Р С Т У Ж В Ь Ы З Ш Э Щ Ч Ъ ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬ ЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡ °²·÷.-,+*)('&%$#"! /<;:9876543201═║=╒│ >ёє╔ії╗╘╙╚╛?@ABCDEFGHIJKLM┐ └ ┘ Nґў╞O╟P╠╡ЁЄ╣ІQЇR╦╧╨╩╪SҐTUVWXЎY©Zюа[\б]^ц_`abcdNone #гejihgfklmnopqrstuvwxyz{|}~─│klmnopqrstuvwxyz{ejihgf|}~─│ None $#lmnolmnoNone ?я$L:┌┐┬┤├┘└┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩:▄▀┼┴┌┐┬┤├┘└█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩None &w╪ funcons-toolsPretty-print a .Ґ funcons-toolsPretty-print a sequence of .© funcons-toolsPretty-print a /.ю funcons-toolsPretty-print a sequence of /.а funcons-toolsPretty-print a .д funcons-toolsPretty-print a sort or Мдф╪ҐЎе©юфадбгхNone&╠цнмлкйихфегдоийкл None >юя&ВмнопярNone >юятыЮB╘*п funcons-toolsA map storing the values of input entities.я funcons-toolsa map storing the values of output entities.р funcons-toolsa map storing the values of control entities.с funcons-toolsa map storing the values of inherited entities.т funcons-toolsA map storing the values of mutable entities.у funcons-toolsєMonadic type for the propagation of semantic entities and meta-information on the evaluation of funcons. The meta-information includes a library of funcons (see Ф), a typing environment (see ), runtime options, etc.4The semantic entities are divided into five classes:цinherited entities, propagated similar to values of a reader monad.юmutable entities, propagated similar to values of a state monad.юoutput entities, propagation similar to values of a write monad.йcontrol entities, similar to output entities except only a single control signal= can be emitted at once (signals do not form a monoid).╠input entities, propagated like values of a state monad, but access like value of a reader monad. This package provides simulated input/outout and real interaction via the с monad. See Funcons.Tools.ЬFor each entity class a map is propagated, mapping entity names to values. This enables modular access to the entities.ж funcons-tools░Monadic type for the implicit propagation of meta-information on the evaluation of funcon terms (no semantic entities). It is separated from уУ to ensure that side-effects (access or modification of semantic entities) can not occur during syntactic rewrites.т funcons-toolsПA single step on a funcon term produces either a funcon term or a (possibly empty or unary) sequence of valuesв funcons-toolsеAfter a term is fully rewritten it is either a value or a term that requires a computational step to proceed. This types forms the interface between syntactic rewrites and computational steps.у funcons-toolsFully rewritten to a value.ж funcons-toolsгFully rewritten to a term and the step required to continue evaluation.ь funcons-toolsцDenotes whether an argument of a funcon should be evaluated or not.ш funcons-tools=Type synonym for the evaluation functions of nullary funcons.э funcons-tools"Type synonym for value operations.щ funcons-tools?Type synonym for the evaluation function of non-strict funcons.ч funcons-toolsеType synonym for the evaluation function of fully non-strict funcons.ъ funcons-toolsзType synonym for the evaluation function of strict funcons. The evaluation function of a ъ$ receives fully evaluated arguments.Ю funcons-tools≤Evaluation functions capture the operational behaviour of a funcon. Evaluation functions come in multiple flavours, each with a different treatment of the arguments of the funcon. Before the application of an evaluation funcon, any argument may be evaluated, depending on the ь of the argument.А funcons-tools Funcons for which arguments are not evaluated.Б funcons-tools-Strict funcons whose arguments are evaluated.Ц funcons-toolsFuncons for which some arguments are evaluated.Д funcons-toolsSynonym for ъ, for value operations.Е funcons-toolsFuncons without any arguments.Ф funcons-toolsаA funcon library maps funcon names to their evaluation functions.Й funcons-toolsCreates an empty Ф.К funcons-toolsUnites two Фs.Л funcons-toolsRight-based union of ФsМ funcons-toolsUnites a list of Фs.Н funcons-toolsRight-based union of list of ФsО funcons-tools Creates a Ф from a list.Р funcons-tools Function РУ implements a backtracking procedure. It receives two lists of alternatives as arguments, the first containing all rewrite rules of a funcon and the second all step rules. The first successful rule is the only rule fully executed. A rule is unsuccessfulм if it throws an exception. Some of these exceptions (partial operation, sort error or pattern-match failure) cause the next alternative to be tried. Other exceptions (different forms of internal errors) will be propagated further. All side-effects of attempting a rule are discarded when a rule turns out not to be applicable.©First all rewrite rules are attempted, therefore avoiding performing a step until it is absolutely necessary. This is a valid strategy as valid (I)MSOS rules can be considered in any order.зWhen no rules are successfully executed to completetion a 'no rule exception' is thrown.С funcons-toolsЧYields an error signaling that no rule is applicable. The funcon term argument may be used to provide a useful error message.Т funcons-toolsыYields an error signaling that a sort error was encountered. These errors render a rule inapplicableб and a next rule is attempted when a backtracking procedure like Ру is applied. The funcon term argument may be used to provide a useful error message.У funcons-tools≈Yields an error signaling that a partial operation was applied to a value outside of its domain (e.g. division by zero). These errors render a rule inapplicableб and a next rule is attempted when a backtracking procedure like Ру is applied. The funcon term argument may be used to provide a useful error message.Ж funcons-tools+Returns a value as a fully rewritten term. В funcons-toolsАYield a funcon term as the result of a syntactic rewrite. This function must be used instead of return%. The given term is fully rewritten.Ь funcons-toolsРYield a sequence of funcon terms as the result of a rewrite. This is only valid when all terms rewrite to a valueЫ funcons-tools(Yield a funcon term as the result of an у5 computation. This function must be used instead of return. З funcons-toolsЖYield a sequence of funcon terms as the result of a computation. This is only valid when all terms rewrite to a valueШ funcons-toolsУExecute a premise as either a rewrite or a step. Depending on whether only rewrites are necessary to yield a value, or whether a computational step is necessary, a different continuation is applied (first and second argument). Example usage:сstepScope :: NonStrictFuncon --strict in first argument stepScope [FValue (Map e1), x] = premiseEval x rule1 step1 where rule1 v = rewritten v step1 stepX = do Map e0 <- getInh "environment" x' <- withInh "environment" (Map (union e1 e0)) stepX stepTo (scope_ [FValue e1, x']) в funcons-tools"Execute a computational step as a premise7. The result of the step is the returned funcon term. Щ funcons-tools Yield an уЧ computation as a fully rewritten term. This function must be used in order to access entities in the definition of funcons.┴ =╪Ґ©юадимняпопярстуьызшэщчъЮАБЦДЕФГХИжЙКЛМНОПЯРСТУЖВтвужьызшэщчъЮДБЦАЕФЬГХИЙКЛМНОЫЗШЭЩЧЪП─ ЯР│ ┌ ┐ └ ┘ ├ ┤ ┬ ┴ ┼ ▀ СТУ▄ █ ▌ ▐ ░ Ж▒ ВЬЫЗШвЭ▓ ⌠ ■ ∙ √ ≈ ≤ ≥ ⌡ Щ° ² NoneЮFЧ funcons-tools█An environment mapping meta-variables to funcon terms. This environment is used by a substitution procedure to transform funcon terms from representation to /.Ъ funcons-toolsоThe empty substitution environment. Bindings are inserted by pattern-matching.─ funcons-toolsVariant of В that applies substitution.│ funcons-toolsVariant of Ы that applies substitution.┘ funcons-toolsЦApply as many rewrites as possible to the term bound to the given variable in the meta-environment· ÷ ═ ║ ╒ ё є ЧЪ╔ і ї ╗ ╘ ╙ ╚ ╛ ґ ў ╞ ╟ ╠ ─│┌┐└┘None 2яЮNЦ├ funcons-toolsкCSB supports five kinds of side conditions. Each of the side conditions are explained below. When a side condition is not accepted an exception is thrown that is caught by the backtrackign procedure Р. A value is a ground value9 if it is not a thunk (and not composed out of thunks).┤ funcons-toolsT1 == T2. Accepted only when T1 and T2 rewrite to equal ground values.┬ funcons-tools T1 =/= T2. Accepted only when T1 and T2 rewrite to unequal ground values.┴ funcons-toolsT1 : T2. Accepted only when T2 rewrites to a type and T1" rewrites to a value of that type.┼ funcons-tools ~(T1 : T2). Accepted only when T2 rewrites to a type and T1 rewrites to a value not of that type.▀ funcons-toolsT = P. Accepted only when T. rewrites to a value that matches the pattern P. (May produce new bindings in Ч).▄ funcons-toolsPatterns for matching values ().■ funcons-tools$Patterns for matching funcon terms ().⌡ funcons-toolsVariant of ° that is lifted into the у monad.° funcons-toolsАMatching values with value patterns patterns. If the list of patterns is a singleton list, then °ф attempts to match the values as a tuple against the pattern as well.╡ funcons-tools#Match stricly values with patterns.² funcons-toolsVariant of Э. that applies substitute and pattern-matching.· funcons-toolsVariant of ÷ that is lifted into the у- monad. If all given terms are values, then ° is used instead.÷ funcons-tools4Match a sequence of terms to a sequence of patterns.═ funcons-toolsVariant of ║ that is lifted into the у monad.║ funcons-tools$Executes a side condition, given an Чу environment, throwing possible exceptions, and possibly extending the environment.Ё funcons-toolsЙTo type check a sequence values simply checker whether all elements of the sequence are of the given typeё funcons-tools7Parameterisable evaluation function function for types.х├▀┼┴┬┤▄⌠▓█▌░▒▐■≥≤≈√∙Є ╣ І Ї ╦ ╧ ╨ ╩ ╪ ⌡°╡ ²·÷Ґ Ў © ю а б ц д е ф г х и й к л ═║м н о п я р Ё с т ╒у ж в ь ёє╔іNone QCї funcons-tools"Used for replacing meta-variables T6 in pattern annotations `P:T` with the type to which T+ is bound in some type-environment (if any)ґ funcons-tools-Associates types (Terms) with meta-variables ў funcons-toolsVersion of ╗; that does not replace the meta-variables in the given set╞ funcons-toolsVersion of ╘; that does not replace the meta-variables in the given set ї╘╗╙╛╚ґў╞None ЮZ√╟ funcons-tools0Default values of entities can be specified for inherited and mutable entities. Ё funcons-tools├For the purpose of unit-testing it is advised to notify an interpreter of the existence of control, output and input entities as well.І funcons-tools A list of ╟9s is used to declare (and possibly initialise) entities.Ї funcons-tools%Get the value of some mutable entity.╦ funcons-toolsVariant of Ї that performs pattern-matching.╧ funcons-tools%Set the value of some mutable entity.╨ funcons-toolsVariant of ╧ that applies substitution.╩ funcons-tools Provides extraй values to a certain input entity, available to be consumed by the given у computation argument.╪ funcons-toolsProvides an exact8 amount of input for some input entity, that is to be completely consumed by the given уъ computation. If less output is consumed a 'insufficient input consumed' exception is thrown.Ґ funcons-toolsVariant of ы that matches the given ▄% to the consumed value in the given Ч. Ў funcons-toolsVariant of ╩ that performs substitution.© funcons-toolsVariant of ╪ that performs substitution.ю funcons-tools3Receive the value of a control entity from a given у computation.а funcons-toolsVariant of receiveSignal that performs pattern-matching.б funcons-tools&Signal a value of some control entity.ц funcons-toolsVariant of б that applies substitution.е funcons-toolsVersion of з that applies pattern-matching.ф funcons-tools%Get the value of an inherited entity.г funcons-toolsVersion of ф that applies pattern-matching.х funcons-tools9Set the value of an inherited entity. The new value is only set for у' computation given as a third argument.и funcons-toolsVariant of х that performs substitution.й funcons-tools*Add new values to a certain output entity.к funcons-toolsVariant of й that applies substitution.л funcons-toolsмRead the values of a certain output entity. The output is obtained from the у( computation given as a second argument.м funcons-toolsVariant of л that performs pattern-matching.╟╠╡ЁЄ╣Іш Ї╦╧╨╩╪ҐЎ©юабцдефгхийклмNone [Он funcons-tools║Create an environment from a list of bindings (String to Values) This function has been introduced for easy expression of the semantics of builtin identifiers о funcons-tools0A funcon library with funcons for builtin types.Ж !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcd╪ҐЎ©юабпярстужвьызшэщчъЮДБЦАЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄▐▒░▌█▓⌠■∙√≈≤≥ ⌡°²·÷═║ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызЖ/0123456789:;< =пярс>Oн?ABHIJFG@KLMDEC^]_Nтжуывьз╪Ґ©юабЎSWVXY[\UZTRQЮДБЦАЕьызъщчэшФЙКЛМНОоИГХужвВЬЫЗЩЖЭШСТУсфхтЇ╧яйлрбюп╩╪ !"#$%&'()*+,-.ЧЪP─│²иг╨╦кмацҐЎ©деРЯП├┤┬┴┼▀║═▄▐▒░▌█▓⌠■∙√≈≤≥°÷ ⌡·є╔і┘┐└┌ґ╙╚╛ї╗╘ў╞ёІ╟╠╡ЁЄ╣ `cbdaNone Ю`Еш funcons-tools╞This function implements the ==CT=> relation. Compiling programs to executable funcons terms, removing occurrences of `meta-up`, `meta-down` and `meta-let` and `meta-bound`.э funcons-toolsЮThis function implements the ==UL=> relation. Translating a funcon into its meta-representationщ funcons-toolsУThis function implements the ==DL=> relation. Translating a meta-representation of a program into the actual programшэщчъЮАБЦДЕФГХИЙКЛМНОПЯшэщчъЮАБЦДЕФГХИЙКЛМНОПЯNone a_э щ ч РСТУЖВЬЫЗШЭЩЧЪ─None Юaєъ │┌┐└┘├None aяЮ ┤None aТА Б Ц ┬┴┼▀▄None b#Д Е Ф █▌▐░▒▓⌠■∙√≈≤≥ ⌡°²None bjГ Х И ·÷═║╒ёє╔ії╗╘None bїЙ ╙╚╛ґў╞╟╠╡ЁЄ╣ІЇNone bДК Л М ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопяNone c=Н О П рстужвьызшэщчъЮАБNone c└Я ЦNone cї'Р ДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴None dлС ┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстNone dлТ ужвьызшэщч None eУ ъЮ!None e& Ж В Ь АБЦДЕФ"None eWЫ З Ш ГХИЙКЛМН#None e▄Э Щ Ч ОПЯРСТУЖ$None eаЪ ─│ВЬЫЗШЭЩЧЪ─│┌┐└┘├%None f ┌┐└┤┬┴┼▀▄&None f7┘█▌▐░▒▓⌠■∙√≈≤≥'None fr├┤┬ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞(None fц ┴┼▀╟╠╡ЁЄ╣ІЇ╦╧)None fЭ▄█▌╨╩╪ҐЎ©юа*None g1▐░▒бцдефгхийклмнопя+None gv▓рстужвь,None h,Ю funcons-toolsЯComputes the union over a sequence of maps. If the maps do not have disjoint domains a failure signal is raised.⌠ызшэщчъЮАБЦДЕФГ-None hk■∙√ХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩ.None h╪≈ЧЪ/None hА≤≥ ─│0None Юi⌡┌┐└┘├┤┬┴┼▀▄█▌1None iG°²·▐░▒▓2None it÷═║⌠■∙√≈≤≥ ⌡°²·÷═║╒3None i╧╒ёєёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣4None j╔іїІЇ╦╧╨╩╪Ґ5None j9 ╗╘╙Ў©юабц6None jj╚╛ґдефгхийклмнопярстужвьызш7None j©ў╞╟эщчъЮАБЦ8None jТ╠╡ЁДЕФГХИЙКЛМНОПЯРС9None k9*Є╣ІТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ :None k╛Ї╦╧⌡°²·÷═║╒ёє╔ії╗╘╙╚;None kС╨╩╪╛ґў╞<None l ҐЎ©╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефг=None luхий>None l юабклмн?None lг%цдеопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОП@None m0+фгхЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤ANone m╔ийклмBNone mнноп≥ ⌡°²·÷═║╒ёє╔іCNone nярсї╗DNone n8 туж╘╙╚╛ґў╞╟╠╡ENone nqвьыЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцFNone n╦зшэдефгхийклмнопGNone nВ щчъярстужвьызHNone o0 ЮАБшэщчъЮАБЦДINone oiЦДЕЕФГХИЙКЛJNoneo²ІРСТУЖВЬЫЗШЭЩЧЪ─┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопяХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩ─│▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОKNone t)ФПЯNonetMх│┌┐└┘├┤╙╚╛ґў╞╟╠╡ЁЄ╣ІЇЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮ█▌▐░▒▓⌠■∙√≈≤≥рстужвьызшэщчъЮАБЦДЕФГЧЪ┌┐└┘├┤┬┴┼▀▄█▌ПЯРкРхий█▌▐░▒▓⌠■∙√≈≤≥рстужвьызшэщчъЮАБЦДЕФГЧЪ┌┐└┘├┤┬┴┼▀▄█▌┤ужвьызшэщчДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстъЮЦ╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ│┌┐└┘├ПЯNone │╩С funcons-tools(The empty collection of entity defaults.Т funcons-tools Creates a mainу function for the default interpreter (no extension). The executable made from this main? function receives command line argumenst as explained above ( Funcons.Tools). У funcons-tools Creates a mainА function for the interpreter obtained by extending the default library with the funcons in the Ф argument.Ж funcons-tools Creates a mainЦ function for the interpreter obtained by extending the main interpreter with the funcons in the Ф? argument and with default values for entities defined in the І argument.В funcons-tools Creates a mainБ function for the interpreter obtained by extending the main interpreter with the funcons in the Ф argument and with a = mapping datatypes to their constructors and type arguments.Ь funcons-tools Creates a mainь function for the interpreter obtained by extending the main interpreter with funcons, І and a . Ы funcons-tools Creates a main7 function for the interpreter aware of only the given Ф, І and . З funcons-tools Creates a main7 function for the interpreter aware of only the given Ф, І and *, and the built-in types and operations. Ш funcons-toolsSame as ЧА, except receiving additional interpreter extensions as arguments. Useful when a translation to /- has been implemented in Haskell as well as /г, entities or datatypes specific to the object language. Includes the LM funcons.Э funcons-toolsSame as ЧА, except receiving additional interpreter extensions as arguments. Useful when a translation to /- has been implemented in Haskell as well as /о, entities or datatypes specific to the object language. Does not include the LM funcons.Щ funcons-toolsSame as ЧА, except receiving additional interpreter extensions as arguments. Useful when a translation to /- has been implemented in Haskell as well as /о, entities or datatypes specific to the object language. Does not include the LM funcons.Ч funcons-toolsАCreates a main function by passing in a list of command line arguments and an optional initial / to execute. The /│ argument is optional as one of the command line arguments may refer to an .fct file or .config file that specifies an initial /% term. Useful when a translation to /! has been implemented in Haskell.% abcdФЙКЛМНО╟╠╡ЁЄ╣ІСТУЖВЬЫЗШЭЩЧ%ТУЖВЬЫЗЧШЭЩФЙКЛМНО acbdІ╟╠╡ЁЄ╣СNone┌VЪ?@РСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡Є╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРЪ?@МНО╛ґў╞опярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгклмнЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤ЕФГХИЙКЛ╘╙╚╛ґў╞╟╠╡дефгхийклмноп≥ ⌡°²·÷═║╒ёє╔іЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцї╗шэщчъЮАБЦДярстужвьызІЇ╦╧╨╩╪Ґ╨╩╪ҐЎ©юа┤┬┴┼▀▄╟╠╡ЁЄ╣ІЇ╦╧─│АБЦДЕФГХИЙКЛМНВЬЫЗШЭЩЧЪ─│┌┐└┘├ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞ХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩ⌠■∙√≈≤≥ ⌡°²·÷═║╒бцдефгхийклмнопя▐░▒▓ОПЯРСТУЖёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣·÷═║╒ёє╔ії╗╘рстужвьызшэщчъЮАБ┬┴┼▀▄╦╧╨╩╪ҐЎ©юабцдефгхийклмнопя█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²РСТУЖВЬЫЗШЭЩЧЪ─Ў©юабцдефгхийклмнопярстужвьызшДЕФГХИЙКЛМНОПЯРСэщчъЮАБЦ│┌┐└┘├┤╙╚╛ґў╞╟╠╡Є╣ІЇЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮ█▌▐░▒▓⌠■∙√≈≤≥рстужвьызшэщчъЮАБЦДЕФГЧЪ┌┐└┘├┤┬┴┼▀▄█▌ПЯРNone▌mцдгефхийклмно╒Ъ─ ─ Ъоцдгефхийклмн╒ГNOPNOQNORNOSNOTNOUNOVNOWNOXNOYNOZNO[ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~ L ─ │ ┌ ┐ └ ┘ ├ ┤ ┬ ┴ ┼ ▀ ▄ █ ▌ ▐ ░ ▒ ▓ ⌠ ■ ∙ √ ≈ ≤ ≥ ⌡ ° ² · ÷ ═ ║ ╒ ё є ╔ і ї ╗ ╘ ╙ ╚ ╛ ґ ў ╞ ╟ ╠ ╡ ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопяярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШфЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґ╚╛╙╘╗ў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґ≈ў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘З├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗░╘╛╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ ё ▓!є!╔!і!ї!ў!╗"╘"╙"╚"╛"ґ"ў"╞"╟#╠#╡#Ё#Є#╣#І#Ї#╦$╧$╨$╩$╪$Ґ$Ў$©$ю$а$б$ц$д$е$ф$г$х%и%й%⌠%к%л%м&н&о&п&я&р&с&т&█&у&ж&в&ь&ы'з'ш'э'щ'ч'ъ'Ю'А'Б'Ц'Д'Е'Ф'Г'Х'И'Й'К'Л'М'Н'О(П(Я(Р(С(Т(У(Ж(В(Ь(Ы)З)Ш)Э)Щ)Ч)Ъ)─)│*┌*┐*└*┘*├*┤*┬*┴*┼*▀*▄*█*▌*▐*░*▒+▓+⌠+■+∙+√+≈+≤,≥, ,⌡,°,²,·,÷,═,║,╒,ё,є,╔,і,ї-╗-╘-╙-╚-╛-ґ-ў-╞-╟-╠-╡-Ё-Є-╣-І-Ї-╦-╧-╨-╩-╪-Ґ.Ў.©/ю/а0б0ц0д0е0ф0г0х0и0й0к0л0м0н1о1п1я1р2с2т2у2ж2в2ь2ы2з2ш2э2щ2ч2ъ2Ю2А2Б3Ц3Д3Е3Ф3Г3Х3И3Й3К3Л3М3Н3О3П3Я3Р3С3Т3У4Ж4В4Ь4Ы4З4Ш4Э4Щ5Ч5Ъ5─5│5┌5┐6└6┘6├6┤6┬6┴6┼6▀6▄6█6▌6▐6░6▒6▓6⌠6■6∙6√6≈6≤6≥6 6⌡7°7²7·7÷7═7║7╒7ё8є8╔8і8ї8╗8╘8╙8╚8╛8ґ8ў8╞8╟8╠8╡8Ё9Є9╣9І9Ї9╦9╧9╨9╩9╪9Ґ9Ў9©9ю9а9б9ц9д9е9ф9г9х9и9й9к9л9м9н9о9п9я9р9с9т9у9ж9в9ь9ы9з:ш:э:щ:ч:ъ:Ю:А:Б:Ц:Д:Е:Ф:Г:Х:И:Й:К;Л;М;Н;О<П<Я<Р<С<Т<У<Ж<В<Ь<Ы<З<Ш<Э<Щ<Ч<Ъ<─<│<┌<┐<└<┘<├<┤=≈=┬=┴>┼>▀>▄>█?▌?▐?░?▒?▓?⌠?■?∙?√?≈?≤?≥? ?⌡?°?²?·?÷?═?║?╒?ё?є?╔?і?ї?╗?╘?╙?╚?╛?ґ?ў?╞@╟@╠@╡@Ё@Є@╣@І@Ї@╦@╧@╨@╩@╪@Ґ@Ў@©@ю@а@б@ц@д@е@ф@г@х@и@й@к@л@м@н@о@п@я@р@с@т@у@ж@вBьBыBзBшBэBщBчBъBЮBАBБBЦBДBЕCФCГDХDИDЙDКDЛDМDНDОDПDЯEРEСEТEУEЖEВEЬEЫEЗEШEЭEЩEЧEЪE─ E│ E┌ F┐ F└ F┘ F├ F┤ F┬ F┴ F┼ F▀ F▄ F█ F▌ F▐ G░ G▒ G▓ G⌠ G■ G∙ G√ G≈ G≤ G≥ H H⌡ H° H² H· H÷ H═ H║ H╒ Hё Iє I╔ Iі Iї I╗ I╘ I╙ I╚ J╛ Jґ Jў K╞ K╟ ≈╠ ╡ Ё Є ╣ І Ї ╦ ╧ ╨ ╩ ╪ Ґ Ў ╗© ю а б ⌡ ц Nд е Nд ф Nд ≈Nг х Nг и Nг й Nг к Nг л Nг м Nн о Nн мNн п Nн кNн иNн гNн я Nн р Nс т Nс у Nс ж Nс в Nс ь Nс ы Nз ш Nз э Nз щ Nз ч Nз ъ Nз ═Nз Ю Nз ╒Nз А Nз ║Nз Б Nз ÷Nз Ц Nз ·Nз Д Nз ²Nз Е Nз °Nз Ф Nз ⌡Nз Г Nз Nз Х Nз ≥NИ Й NИ К NИ Л NИ М NИ Н NИ О NИ П NИ ©NИ Я NИ ЎNИ Р NС Т NС лNС У NС йNС Ж NС хNС В NС фNС Ь NС дNС Ы NС юNС З NС бNС Ш NС ЎNС Э NС ҐNС Щ NС ╧NС Ч NС ╠NС ╟NС Ъ NС ╞NС ўNС ─ NС ЇNС │ NС ╣NС ┌ NС ІNС ЄNС ЁNС ┐ NС └ NС ┘ NС ╛NС ├ NС ╙NС ┤ NС ┬ NС ╨NС ╪N┴ ┼ N┴ ▀ N┴ ІN┴ ЁN┴ ▄ N┴ █ N┴ ▌ N┴ ╨N┴ ▐ N┴ ╟N┴ ░ N┴ ▒ N┴ ▓ N┴ ґN┴ ⌠ N┴ ■ N┴ ∙ N┴ ╪N√ ≈ N√ їN√ ≤ N√ ≥ N√ N√ ═N√ ёN√ ⌡ N√ єN√ ° N√ ²N√ ² N√ ÷N√ · N√ ╒N√ ÷ N√ ·N√ ═ N√ °N√ ║ N√ ╒ N√ ё N√ N√ ≥Nє ╔ Nє ≤Nє і Nє ≈Nє ї Nє √Nє ╗ Nє ∙Nє ╘ Nє ■Nє ⌠Nє ▓N╙ ╚ N╙ ьN╙ ╛ N╙ вN╙ жN╙ ґ N╙ тN╙ ў N╙ сN╙ ╞ N╙ рN╙ яN╙ ╟ N╙ пN╙ ╠ N╙ оN╙ ╡ N╙ уN╙ Ё N╙ ыN╙ нNЄ ╣ NЄ І NЄ Ї NЄ ╦ NЄ ╧ NЄ ╨ NЄ ╩ NЄ ╪ NЄ Ґ NЄ Ў NЄ © NЄ ю NЄ ЇNа б Nа ц Nа д Nа нNа е Nа ф Nг х Nг и Nг й Nг к Nг л Nг м Nг н Nг о Nг ╪Nг п Nг пNг я Nг р Nг мNг с Nг ў Nг т Nг иNг у Nг хNж в Nж еNж Nж ≤Nж їNж ь Nж ы Nз ш Nз ЪNз э Nз щ Nз ч Nз ШNз ъ Nз ЗNз Ю Nз А Nз Б Nз Ц Nз Д Nз ЯNз Е Nз Ф Nз Г Nз ЬNз Х Nз СNз И Nз ЩNЙ К NЙ Л NЙ │NЙ М NЙ нNЙ Н NО П NО Я NО Р NО С NТ У NТ Ж NТ В NТ Ь NТ Ы NТ З NТ Ш NТ Э NТ Щ NЧ Ъ NЧ ─N│┌N│┐N│└N│┘N│├N│┤N│┬N│┴N│┼N│▀N│▄N│█N│▌N│▐N│░N│▒N│▓N│⌠N│■N│∙N│√N│≈N│≤N│≥N│ N│⌡N│°N│²N│·N│÷N│═N│║N│╒N│ N│≥N│≤N│≈N│√N│ёN│єN│╔N│іN│їN│╗N│╘N│╔N│іN│їN│╘N│╗NO╙NO╚NO╛NOґNOўNO╞NO╟NO╠NO╡NOЁNOЄNO╣NOІNOЇNO╦NO╧NO╨NO╩NO╪NOҐNOЎNO©NOюNOаNOбNOцNOдNOеNOфNOгNOхNOиNOйNOкNOлNOмNOнNOоNOпNOяNOрNOсNOтNOуNOжNOвNOьNOыNOзNOшNOэNOщNOчNOъNOЮNOАNOБNOЦNOДNOЕNOФNOГNOХNOИNOЙNOКNOЛNOМNOНNOОNOПNOЯNOРNOСNOТNOУNOЖNOВNOЬNOЫNOЗNOШNOЭNOЩNOЧNOЪNO─NO│NO┌NO┐ └ ┘ ь ы ├ ┤ ╠ ┬ ┴ ┼ ▀ ▄ █ ▌ ▐ ░ ▒ ▓ ⌠ ■ ∙ √ ≈ ≤ ≥ ⌡ ° ² · ÷ ═ ║ ╒ ё є ╔ і ї ╗╘╙╚╛ґў╞╟╠ ╡ Ё Є ╣ І Ї╦╧╨╩╪ҐЎ╒©ююабцддефгххийклёмнноппяярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─ │ ┌ ┐ └ ┘ ├ ┤ ┬ ┴ ┼ ▀ ▄ █ ▌ ▐ ░ ▒ ▓ ⌠ ■ ∙ √ ≈ ≤ ≥ ⌡ ° ² · ÷ ═ ║ ╒ ё є ╔ і ї ╗ ╘ ╙ ╚ ╛ ґ ў ╞ ╟ ╠ ╡ Ё и Є х ╣ І Ї ╦ ґ ў ╛ ≈≈ґ ў ╛ ґ ў ╛ ґ ў ╛ ≈ґ ў ╛ ґ ў ╛ ≈≈≈≈ ≈!ґ !ў !╛ "ґ "ў "╛ #ґ #ў #╛ $ґ $ў $╛ %ґ %ў %╛ &≈'ґ 'ў '╛ (ґ (ў (╛ )ґ )ў )╛ *ґ *ў *╛ +≈,≈-ґ -ў -╛ .≈/ґ /ў /╛ 0≈1ґ 1ў 1╛ 2ґ 2ў 2╛ 3ґ 3ў 3╛ 4ґ 4ў 4╛ 5ґ 5ў 5╛ 6ґ 6ў 6╛ 7ґ 7ў 7╛ 8ґ 8ў 8╛ 9ґ 9ў 9╛ :ґ :ў :╛ ;ґ ;ў ;╛ <ґ <ў <╛ >ґ >ў >╛ ?ґ ?ў ?╛ @ґ @ў @╛ A≈AчAъAОAЫBґ Bў B╛ Cґ Cў C╛ Dґ Dў D╛ Eґ Eў E╛ Fґ Fў F╛ Gґ Gў G╛ Hґ Hў H╛ Iґ Iў I╛ K≈╧ -funcons-tools-0.2.0.13-KJm3P6NXplc3t1SpwzOyTzFuncons.EDSLFuncons.GLLParserFuncons.RunOptionsFuncons.ValueOperationsFuncons.MetaProgrammingFuncons.CoreFuncons.Core.Manual Funcons.Tools Funcons.TypesFuncons.ParserFuncons.PrinterFuncons.ExceptionsFuncons.SimulationFuncons.MSOSFuncons.SubstitutionFuncons.PatternsFuncons.TypeSubstitutionFuncons.Entities)Funcons.Core.Values.ValueTypes.ValueTypes Funcons.Core.Values.TypesBuiltin,Funcons.Core.Values.Primitive.StringsBuiltin'Funcons.Core.Values.Primitive.Null.Null/Funcons.Core.Values.Primitive.Integers.Integers+Funcons.Core.Values.Primitive.Floats.Floats/Funcons.Core.Values.Primitive.CharactersBuiltin3Funcons.Core.Values.Primitive.Characters.Characters/Funcons.Core.Values.Primitive.Booleans.Booleans)Funcons.Core.Values.Primitive.BoolBuiltin-Funcons.Core.Values.Primitive.IntegersBuiltin+Funcons.Core.Values.Primitive.FloatsBuiltin)Funcons.Core.Values.Primitive.BitsBuiltin#Funcons.Core.Values.Primitive.Atoms-Funcons.Core.Values.Composite.Vectors.Vectors/Funcons.Core.Values.Composite.Variants.Variants+Funcons.Core.Values.Composite.Tuples.Tuples)Funcons.Core.Values.Composite.Trees.Trees-Funcons.Core.Values.Composite.Strings.Strings)Funcons.Core.Values.Composite.SetsBuiltin1Funcons.Core.Values.Composite.Sequences.Sequences3Funcons.Core.Values.Composite.References.References-Funcons.Core.Values.Composite.Records.Records-Funcons.Core.Values.Composite.Objects.Objects.Funcons.Core.Values.Composite.MultisetsBuiltin)Funcons.Core.Values.Composite.MapsBuiltin)Funcons.Core.Values.Composite.Lists.Lists+Funcons.Core.Values.Composite.GraphsBuiltin+Funcons.Core.Values.Composite.Graphs.Graphs.Funcons.Core.Values.Composite.DatatypesBuiltin1Funcons.Core.Values.Composite.Datatypes.Datatypes-Funcons.Core.Values.Composite.Classes.Classes'Funcons.Core.Values.Composite.Bits.Bits'Funcons.Core.Values.Composite.ASTs.ASTs-Funcons.Core.Values.Abstraction.Thunks.Thunks1Funcons.Core.Values.Abstraction.Patterns.Patterns/Funcons.Core.Values.Abstraction.Generic.Generic3Funcons.Core.Values.Abstraction.Functions.Functions0Funcons.Core.Computations.Normal.Storing.Storing0Funcons.Core.Computations.Normal.Linking.Linking8Funcons.Core.Computations.Normal.Interacting.Interacting.Funcons.Core.Computations.Normal.Giving.Giving2Funcons.Core.Computations.Normal.GeneratingBuiltin6Funcons.Core.Computations.Normal.Generating.Generating0Funcons.Core.Computations.Normal.Flowing.Flowing0Funcons.Core.Computations.Normal.Binding.Binding)Funcons.Core.Computations.AbnormalBuiltin4Funcons.Core.Computations.Abnormal.Throwing.Throwing+Funcons.Core.Computations.Abnormal.Sticking6Funcons.Core.Computations.Abnormal.Returning.Returning2Funcons.Core.Computations.Abnormal.Failing.Failing:Funcons.Core.Computations.Abnormal.Controlling.Controlling8Funcons.Core.Computations.Abnormal.Continuing.Continuing4Funcons.Core.Computations.Abnormal.Breaking.Breaking6Funcons.Core.Computations.Abnormal.Abrupting.AbruptingFuncons.Core.Library&Funcons.Core.Computations.TypesBuiltinFunconsCore-funcons-values-0.1.0.9-GrRVyB8ZR7nJh46v2e4fw1Funcons.Operations.Valuesnull__unString isString_upcastCharacterupcastNaturalsupcastIntegersupcastRationalsdowncastValueTypeQuestionMarkOpPlusOpStarOp SeqSortOpDataTypeAlttDataTypeInclusionnDataTypeMemberConstructorDataTypeMembersDataTypeMemberssTPattern TPWildCardTPVarTPSeqVarTPLit TPComputesTPComputesFromTPADT TypeParamTypeRelationTypesComputationTypesValuesFTermTVarTNameTAppTSeqTSetTMapTBindingTFunconTSortSeq TSortPower TSortUnion TSortInterTSortComplement TSortComputesTSortComputesFromTAnyFNameFAppFSetFMapFBindingFValueFSortSeq FSortPower FSortUnion FSortInterFSortComplement FSortComputesFSortComputesFromapplyFunconset_int_nat_bool_bool__atom_string_string__char_char__list__vector__tuple__float_ieee_float_32_ieee_float_64_type_vec_fvaluesdowncastType downcastValueisValisStringisCharisNatisIntisListisMapisTupisTypeisVec integers_values_vectors_ typeLookupemptyTypeRelation typeEnvUnionstypeEnvUniontypeEnvFromListFSuffixSuffixComputesFrom SuffixSeqSuffixSortUnionSuffixSortInterSuffixPowerParser fct_parsefct_parse_eitherfvalue_parsefvalue_parse_either fvalue_parse_fvalue_parse_either_parseparser_a allParsesparsesWithErrorsfct_lexerSettingslexerlexerEitherfct_keywordsfct_keycharslNamepFuncons pFunconsspFunconsSeqpKeyPairpOppValues RunOptionsmfuncon_termgeneral_optsbuiltin_funconsexpected_outcomesgiven_inputsInputValuesTestOptionsBuiltinFunconsOptionsGeneralOptionsdefaultRunOptionsoptionsOverridefuncon_termbool_opt_defaultbool_opt do_refocusmax_restartsdo_abrupt_terminatepp_full_environmentsshow_resultshow_countsshow_mutablehide_output hide_inputhide_controlinteractive_modepp_string_outputs string_inputs show_testsshow_output_onlyauto_config csv_outputcsv_output_with_keysinputValuesbooleanOptionsbooleanOptions_ stringOptionsstringOptions_ allOptionsallOptions_run_optionsparseAndApplyConfig config_parsercfg_lexerSettingscfg_keycharscfg_keywordspRunOptionspSpecpGeneralchoosespBoolpStringValuepFunconName pTestOutcomespBuiltinFunconspInputValues showValues showValuesSeqshowOpshowFunconsshowFunconsSeq showTypes showTermsIESortErrErr PartialOpInternalNoRuleNoMoreBranchesSideCondFailInsufficientInputInsufficientInputConsumedPatternMismatchStepOnValue IExceptionInputOutputControl InheritedMutableMSOSRewrite Rewritten StrictnessStrict NonStrict NullaryFunconValueOpPartiallyStrictFunconNonStrictFunconStrictFunconEvalFunction FunconLibrary fromValOpfromSeqValOpfromNullaryValOplibEmptylibUnionlibOverride libUnionslibOverrideslibFromListrewriteRules stepRules evalRulesnorulesortErr partialOp rewritten rewriteTorewriteSeqTostepTo stepSeqTopremiseEvalpremiseStepcompstepEnvemptyEnv rewriteTermTo stepTermTolifted_envStoreenvStorelifted_envRewrite envRewrite SideCondition SCEqualitySCInequality SCIsInSortSCNotInSortSCPatternMatchVPatternPADT VPWildCard VPMetaVarVPAnnotatedVPSeqVarVPLitVPTypeFPatternPValuePMetaVarPSeqVar PAnnotated PWildCard f2vPatternlifted_vsMatchvsMatchpremiselifted_fsMatchfsMatchlifted_sideCondition sideConditionisInrewriteTypepat2term vpat2term typat2term HasTypeVarsubsTypeVarsubsTypeVarWildcardTyAssocElemOfSubTyOfTypeEnvlimitedSubsTypeVarlimitedSubsTypeVarWildcard EntityDefault DefMutableDefInherited DefOutput DefControlDefInputEntityDefaultsgetMut getMutPattputMut putMutTermwithExtraInputwithExactInput matchInputwithExtraInputTermswithExactInputTermsreceiveSignalsreceiveSignalPattraiseSignal raiseTermwithControlTermgetControlPattgetInh getInhPattwithInhwithInhTermwriteOutwriteOutTermreadOutreadOutPatt env_fromlist_libraryapp0_app1_app2_app3_ty_starty_optty_plusty_negty_interty_unionty_powerctRelulReldlRelevalRelcompile env_entitystore_entityatom_gen_entitytranslationStepcmp_MSOSReader cmp_MSOSStatemeta_up_ meta_down_ meta_let_eval_code_step_meta_eval step_codeast_term ast_valuetype_of_ step_ty_ofis_in_type_is_stepIs_in_type is_value_is_val_stepIs_value when_true_when_ stepWhen_true cast_to_type_cast_stepCast_to_type is_equal_is_eq_stepIs_equaldatatype_values_ground_values_ground_vals_types_value_types_empty_type_ to_string_null_value_null_stepNull_value null_type_ stepNull_typebounded_integers_ bounded_ints_stepBounded_integerspositive_integers_ pos_ints_stepPositive_integersnegative_integers_ neg_ints_stepNegative_integersnatural_numbers_nats_stepNatural_numbersinteger_negate_int_neg_stepInteger_negateinteger_sequence_stepInteger_sequence binary32_stepBinary32 binary64_stepBinary64 binary128_ stepBinary128 decimal64_ stepDecimal64decimal128_stepDecimal128float_formats_stepFloat_formatsascii_characters_ascii_chars_unicode_characters_iso_latin_1_characters_latin_1_chars_$basic_multilingual_plane_characters_ bmp_chars_unicode_points_ basic_multilingual_plane_points_ascii_character_unicode_character_ unicode_char_characters_chars_unicode_point_unicode_stepUnicode_pointiso_latin_1_points_stepIso_latin_1_points ascii_points_stepAscii_pointsascii_char_stepAscii_character backspace_ stepBackspacehorizontal_tab_stepHorizontal_tab line_feed_ stepLine_feed form_feed_ stepForm_feedcarriage_return_stepCarriage_return double_quote_stepDouble_quote single_quote_stepSingle_quote backslash_ stepBackslashtrue_stepTruefalse_ stepFalsenot_stepNotimplies_stepImpliesand_stepAndor_stepOr exclusive_or_xor_stepExclusive_or booleans_stepBooleansints_integers_from_from_integers_up_to_up_to_natural_predecessor_ nat_pred_natural_successor_ nat_succ_int_add_integer_add_integer_multiply_integer_divide_integer_subtract_integer_power_integer_power_op integer_list_integer_modulo_int_mod_integer_mod_integer_absolute_value_decimal_natural_decimal_octal_natural_octal_binary_natural_binary_hexadecimal_natural_hexadecimal_is_less_integer_is_less_is_less_or_equal_integer_is_less_or_equal_is_greater_integer_is_greater_is_greater_or_equal_integer_is_greater_or_equal_ieee_float_truncatestepIEEE_Float_TruncatestepIEEE_Float_AddstepIEEE_Float_MultiplystepIEEE_Float_SubtractstepIEEE_Float_NegatestepIEEE_Float_DividestepIEEE_Float_Powersigned_bits_maximumstepSigned_Bits_Maximumsigned_bits_minimumstepSigned_Bits_Minimumieee_float_acosstepIEEE_Float_Acosieee_float_asinstepIEEE_Float_Asinieee_float_atanstepIEEE_Float_Atanieee_float_atan2stepIEEE_Float_Atan2ieee_float_cosstepIEEE_Float_Cosieee_float_coshstepIEEE_Float_Coshieee_float_expstepIEEE_Float_Expieee_float_logstepIEEE_Float_Logieee_float_log10stepIEEE_Float_Log10ieee_float_sinstepIEEE_Float_Sinieee_float_sinhstepIEEE_Float_Sinhieee_float_sqrtstepIEEE_Float_Sqrtieee_float_tanstepIEEE_Float_Tanieee_float_tanhstepIEEE_Float_Tanhieee_float_ceilingstepIEEE_Float_Ceilingieee_float_floorstepIEEE_Float_Floorieee_float_absolute_valuestepIEEE_Float_Absolute_ValuestepIEEE_Float_RemainderstepIEEE_Float_Is_LessstepIEEE_Float_Is_GreaterstepIEEE_Float_Is_Less_Or_Equal"stepIEEE_Float_Is_Greater_Or_Equal ieee_float_opieee_float_addieee_float_add_opieee_float_multiply_ieee_float_multiplyieee_float_multiply_opieee_float_divideieee_float_divide_opieee_float_remainderieee_float_remainder_opieee_float_negateieee_float_negate_opieee_float_subtractieee_float_subtract_opieee_float_float_powerieee_float_power_opieee_float_is_lessieee_float_is_less_opieee_float_is_greaterieee_float_is_greater_opieee_float_is_less_or_equalieee_float_is_less_or_equal_opieee_float_is_greater_or_equal!ieee_float_is_greater_or_equal_opbit_vector_not_bit_vector_and_bit_vector_or_bit_vector_xor_bit_vector_shift_left_bit_vector_logical_shift_right_$bit_vector_arithmetical_shift_right_integer_to_bit_vector_bit_vector_to_integer_bit_vector_to_natural_atoms_vector_ stepVectorvector_elements_stepVector_elementsstepVectorsvariant_stepVariantvariant_id_stepVariant_idvariant_value_stepVariant_value variants_stepVariantstuple_ stepTupletuple_elements_stepTuple_elements tuple_zip_ stepTuple_ziptuples_ stepTuplestree_stepTreetree_root_value_stepTree_root_valuetree_branch_sequence_stepTree_branch_sequencesingle_branching_sequence_stepSingle_branching_sequenceforest_root_value_sequence_stepForest_root_value_sequenceforest_branch_sequence_stepForest_branch_sequenceforest_value_sequence_stepForest_value_sequencetrees_ stepTreesstrings_stepStrings stepStringstring_append_stepString_appendsets_ set_elements_ set_size_set_intersect_set_difference_ some_element_ is_subset_ is_in_set_ set_unite_set_insert_element_not_in_ set_empty_length_ stepLengthis_in_ stepIs_inindex_ stepIndexfirst_ stepFirstsecond_ stepSecondthird_ stepThirdfirst_n_stepFirst_n drop_first_n_stepDrop_first_nreverse_stepReversen_of_stepN_ofintersperse_stepIntersperse reference_ stepReference pointer_null_stepPointer_nulldereference_stepDereferencereferences_stepReferences pointers_stepPointersrecord_ stepRecordrecord_map_stepRecord_maprecord_select_stepRecord_selectrecords_stepRecordsobject_ stepObjectobject_identity_stepObject_identityobject_class_name_stepObject_class_nameobject_feature_map_stepObject_feature_mapobject_subobject_sequence_stepObject_subobject_sequenceobject_tree_stepObject_tree&object_single_inheritance_feature_map_)stepObject_single_inheritance_feature_mapobjects_stepObjects multisets_ multiset_multiset_elements_multiset_occurrences_multiset_insert_multiset_delete_is_submultiset_map_maps_ map_empty_ is_map_empty_ is_in_domain_map_insert_map_delete_ map_unite_lookup_map_lookup_ map_override_domain_dom_map_domain_ map_elements_list_stepListlist_elements_stepList_elements list_nil_nil_stepList_nil list_cons_cons_ stepList_cons list_head_head_ stepList_head list_tail_tail_ stepList_taillist_length_stepList_lengthlist_append_stepList_appendlists_ stepLists is_cyclic_topological_sort_directed_graphs_stepDirected_graphsdatatype_value_adt_val_evalADT lazy_adt_val_evalLazyADTadt_construct_adtConstructadt_type_construct_adtTypeConstructadt_constructor_adtConstructoradt_fields_ adtFieldsdatatype_value_id_stepDatatype_value_iddatatype_value_elements_stepDatatype_value_elementsclass_ stepClassclass_instantiator_stepClass_instantiatorclass_feature_map_stepClass_feature_mapclass_superclass_name_sequence_"stepClass_superclass_name_sequenceclass_name_tree_stepClass_name_treeis_subclass_name_stepIs_subclass_name*class_name_single_inheritance_feature_map_-stepClass_name_single_inheritance_feature_mapclasses_stepClassesbits_stepBitsbit_vector_stepBit_vectorbytes_octets_ stepBytesunsigned_bit_vector_maximum_stepUnsigned_bit_vector_maximumsigned_bit_vector_maximum_stepSigned_bit_vector_maximumsigned_bit_vector_minimum_stepSigned_bit_vector_minimumis_in_signed_bit_vector_stepIs_in_signed_bit_vectoris_in_unsigned_bit_vector_stepIs_in_unsigned_bit_vectorbit_vectors_stepBit_vectorstags_stepTags ast_value_ stepAst_value ast_term_stepAst_termasts_stepAststhunk_ stepThunkforce_ stepForcethunks_ stepThunkspattern_stepPatternpattern_any_stepPattern_any pattern_bind_stepPattern_bind pattern_type_stepPattern_type pattern_else_stepPattern_elsepattern_unite_stepPattern_unitematch_ stepMatchmatch_loosely_stepMatch_looselycase_match_stepCase_matchcase_match_loosely_stepCase_match_looselycase_variant_value_stepCase_variant_value patterns_stepPatternsabstraction_stepAbstractionclosure_stepClosureenact_ stepEnact abstractions_stepAbstractions function_stepFunctionapply_ stepApplysupply_ stepSupplycompose_stepComposeuncurry_stepUncurrycurry_ stepCurrypartial_apply_stepPartial_apply functions_ stepFunctions locations_locs_ stepLocationsstores_ stepStoresstore_clear_stepStore_clearinitialise_storing_ init_storing_stepInitialise_storing variable_var_stepVariableallocate_variable_alloc_stepAllocate_variablerecycle_variables_recycle_stepRecycle_variablesinitialise_variable_init_stepInitialise_variableallocate_initialised_variable_alloc_init_!stepAllocate_initialised_variableassign_ stepAssign assigned_stepAssignedcurrent_value_stepCurrent_value un_assign_ stepUn_assignstructural_assign_stepStructural_assignstructural_assigned_stepStructural_assigned variables_ stepVariableslink_stepLinkinitialise_linking_stepInitialise_linkingfresh_link_stepFresh_linkfresh_initialised_link_fresh_init_link_stepFresh_initialised_link set_link_stepSet_linkfollow_link_stepFollow_linkfollow_if_link_stepFollow_if_linklinks_ stepLinksprint_ stepPrintread_stepReadinitialise_giving_stepInitialise_givinggive_stepGivegiven_ stepGiven no_given_stepNo_givenleft_to_right_map_stepLeft_to_right_mapinterleave_map_stepInterleave_mapleft_to_right_repeat_stepLeft_to_right_repeatinterleave_repeat_stepInterleave_repeatleft_to_right_filter_stepLeft_to_right_filterinterleave_filter_stepInterleave_filter fold_left_ stepFold_leftfold_right_stepFold_rightinitialise_generating_stepInitialise_generatingfresh_atom_stepFresh_atomuse_atom_not_in_stepUse_atom_not_inleft_to_right_l_to_r_stepLeft_to_rightright_to_left_r_to_l_stepRight_to_leftsequential_seq_stepSequentialeffect_ stepEffectchoice_ stepChoice if_true_else_if_else_stepIf_true_elsewhile_true_while_stepWhile_truedo_while_true_ do_while_stepDo_while_trueinterleave_stepInterleavesignal_ stepSignalyield_ stepYieldyield_on_value_stepYield_on_valueyield_on_abrupt_stepYield_on_abrupt yielding_stepYielding environments_envs_stepEnvironmentsidentifier_tagged_ id_tagged_stepIdentifier_taggedfresh_identifier_stepFresh_identifierinitialise_binding_stepInitialise_bindingbind_value_bind_stepBind_valueunbind_ stepUnbindbound_directly_stepBound_directlybound_value_bound_stepBound_valueclosed_ stepClosedscope_ stepScopeaccumulate_stepAccumulatecollateral_stepCollateralbind_recursively_stepBind_recursively recursive_ stepRecursive re_close_stepRe_closebind_to_forward_links_stepBind_to_forward_linksset_forward_links_stepSet_forward_linksidentifiers_stepIdentifiersthrown_ stepThrownfinalise_throwing_stepFinalise_throwingthrow_ stepThrowhandle_thrown_stepHandle_thrownhandle_recursively_stepHandle_recursivelycatch_else_throw_stepCatch_else_throw throwing_stepThrowingstuck_ stepStuck returned_stepReturnedfinalise_returning_stepFinalise_returningreturn_ stepReturnhandle_return_stepHandle_return returning_ stepReturningfailed_ stepFailedfinalise_failing_stepFinalise_failingfail_stepFailelse_stepElseelse_choice_stepElse_choicecheck_true_check_stepCheck_truechecked_stepCheckedfailing_stepFailing continuation_stepContinuationhole_stepHoleresume_continuation_stepResume_continuationcontrol_stepControldelimit_current_continuation_delimit_cc_ stepDelimit_current_continuationcontinuations_stepContinuations continued_ stepContinuedfinalise_continuing_stepFinalise_continuing continue_stepContinuehandle_continue_stepHandle_continuecontinuing_stepContinuingbroken_ stepBrokenfinalise_breaking_stepFinalise_breakingbreak_ stepBreak handle_break_stepHandle_break breaking_stepBreakingfinalise_abrupting_stepFinalise_abruptingabrupt_ stepAbrupthandle_abrupt_stepHandle_abruptfinally_stepFinallyfunconsentitiestypescomputation_types_stepComputation_TypesnoEntityDefaultsmkMainmkMainWithLibrarymkMainWithLibraryEntitiesmkMainWithLibraryTypesmkMainWithLibraryEntitiesTypesmkFullyFreshInterpretermkFreshInterpreterrunWithExtensionsrunWithExtensionsNoCorerunWithExtensionsNoNothingrun evalOperationexecRewritesbaseGHC.BaseString empty_map_ empty_set_Funcons.Operations libAppWithlibAppFuncons.Operations.Eval applyEvaleval EvalResultEvalResultsErrorSuccessFuncons.Operations.ADTs adt_fieldsadt_constructoradtsadts_Funcons.Operations.Atomsatomatoms next_atom next_atom_ atom_seed atom_seed_Funcons.Operations.Bits bit_nat_op binary_bit_op args_to_boolsapply_to_vecinteger_to_bit_vectorbit_vector_to_naturalbit_vector_to_integer#bit_vector_arithmetical_shift_rightbit_vector_logical_shift_rightbit_vector_shift_leftbit_vector_xor bit_vector_orbit_vector_andbit_vector_notFuncons.Operations.Graphsis_emptycyclicscheduledeleteentriestoGraphtopological_sort is_cyclicGraphFuncons.Operations.Integersis_greater_or_equal is_greateris_less_or_equalis_lesshexadecimal_natural octal_naturalbinary_naturaldecimal_naturalinteger_absolute_valueinteger_listnatural_successornatural_predecessor integer_powerinteger_divideinteger_subtract is_integeris_integer_integers_up_to integers_fromintegersstepModFuncons.Operations.ListstailOpheadOplist_concatlist_concat_list_appendconsis_nilis_nil_nillist_singletonlist_singleton_listsFuncons.Operations.Mapsmap_elementsallDomainPairstoMap map_unitedomainis_in_domain map_delete map_lookup map_insertis_map_empty map_singletonmap_singleton_ map_emptyFuncons.Operations.Multisetsis_submultisetmultiset_deletemultiset_insertmultiset_occurrencesmultiset_elementsFuncons.Operations.Setselement_not_in set_insert is_subsetsome_elementset_differenceset_sizeset_elements is_in_set set_emptyFuncons.Operations.TuplestupleTailOptupleHeadOptuple_tail_tuple_head_tuple_indextuple_index_ tuple_prependempty_tupletuple_prepend_empty_tuple_tuple_is_emptytuple_is_empty_Funcons.Operations.Strings mk_string stepTo_String to_string is_string is_string_Funcons.Operations.Types isInTupleTypeisInTypetype_membertype_member_tyOf value_typevalue_type_is_valuevaluesnulltype empty_typevalue_types ground_valuesdatatype_valuesFuncons.Operations.Booleansis_equalfrombooltoboolFuncons.Operations.Characters unicode_pointnumBMPCodesnumUnicodeCodesunicode_characterascii_characterbmp_charactersbmp_characters_iso_latin_charactersiso_latin_characters_ascii_characters bmp_pointsbmp_points_unicode_pointsunicode_characters charactersFuncons.Operations.FloatsdoubleFromIEEEFormatisIEEEFormatieee_float_add_ieee_float_truncate_"Funcons.Operations.NonGroundValuesnon_grounded_valuesnon_grounded_values_non_grounded non_grounded_Funcons.Operations.Optionalsnonenone_somesome_some__ optionals optionals_none__toOptFuncons.Operations.LibrarieslibUniteLibraryFuncons.Operations.Expr applyExprarityErr ternaryOpbinaryOpunaryOp nullaryOpopNamevNaryOp vTernaryOp vBinaryOpvUnaryOp vNullaryOpchoiceOPResultNondeterministicNormalProjErrDomErrArityErr NullaryOpUnaryOpBinaryOp TernaryOpNaryOp NullaryVOpUnaryVOp BinaryVOp TernaryVOpNaryVOpOpExpr RewritesTo InvalidOpValExprTermExprNullaryExpr UnaryExpr BinaryExprNaryExprTernaryExpr showArgs_ppOpppTypesppComputationTypesppValuesnull_value__isGround=/====downcast_unicode_charactersmk_unicode_charactersmk_naturalsmk_integerscastTypestructTMcomparestructVMcomparestructCTMcomparestructVcomparetraverseCTM traverseTM traverseT traverseVM traverseVvmapvectorsmaps multisetssetsmulti_multivectorsetlisttupleunicode_cons ascii_consMVarValSeqVAnyVectorMultiset IEEE_Float_64 IEEE_Float_32ComputationTypeAtomADTValSetMapRationalNatFloatInt ValueMaps ValueSetsValueVectorsComputesFromTypeTypeComputesTypeUnionUnicodeCharacters RationalsNullTypeNaturalsIntersectionIntegers IEEEFloats EmptyType Complement CharactersIntegersUpToIntegersFromAtoms BMPCharactersISOLatinCharactersAsciiCharacters AnnotatedTypeADTsADT HasValuesprojectinjectHasComputationTypes projectCTinjectCTHasTypesprojectTinjectTIEEEFormatsBinary32Binary64TTParamVectorsNameMetaVarbinary32binary64adtvaltuple_val__ tuple_val_nullaryTypes unaryTypesbinaryTypesboundedIntegerTypes floatTypessort_ comp_type_vectypeVallistvalsetvalsetval_mapvalmapval_fromBindingdowncastSortrecursiveFunconValueallEqual allUnEqualisNullhasStepisDefinedValisEnvisSetisSortisSort_isCharacter_ nulltype_ showSortsppValuesSeqppFunconsSeq ppFunconsppTermsshowIException mkRuleErr mkRulesErr failsRuleSimIOInteractivefexecfprintfreadrunSimIOghc-prim GHC.TypesIOStepResValTermCompTermpremiseStepApprunMSOS MSOSStateestateinp_esmut_entities MSOSWriterewriter ctrl_entitiesout_entities MSOSReaderereaderinh_entitiesdctrl_entities def_fread runRewriteRewriteWriterrcountersRewriteState RewriteReader funconlibrun_optsty_env global_fct local_fcttraceLibemptyRewriteStateliftRewrite eval_catchrewrite_rethrow rewrite_throwevalctxt2exceptionctxt2exceptionemptyMSOSState msos_throwgiveINHgiveCTRLemptyINH emptyDCTRL singleCTRLreadOutscount_delegation ppCounterscounterKeysdisplayCounters exceptioninternalsidecond buildStep optRefocus rewrittensevalFunconsrewritesToTyperewritesToValuerewritesToValuesrewriteToValErrrewriteFunconsWcountrewriteFunconsrewriteStrictSequenceevalStrictSequenceevalSequence stepTrans toStepResLevelledTypeTerm TypesTerm ValueTerm ValuesTerm FunconTermFunconsTerm envLookup envInsertvsLevelvLevelfsLevelfLevelsubstitute_signal substitutesubsAndRewritesInEnvsubsAndRewritesToValuesubsAndRewritesToValueInEnvsubsAndRewritesToValuessubsAndRewritesToValuesInEnvstrict_vsMatchisInMaybeTupleType SeqVarInfoMatcher singleMatcher seqMatchermatchingordered_subsequences v2tPattern v2fPatternsubstitute_patt_signalstrict_fsMatchfsMatchStrictnessfMatchlifted_fMaybeMatchfMaybeMatchlifted_vMaybeMatchvMaybeMatch lifted_vMatchvMatchtsMatchstrict_tsMatchtMatchadtMatchfpSeqVarInfovpSeqVarInfotpSeqVarInfomatchTypeParamsalwaysAcceptrewritesToAnnotatedTypeisInMaybeTermTypePreserveisInMaybeTypeTypePreserveisInMaybeTermType isInTuple paramFromTypeisInUnicodeType typeEnvLookupconsumeInput getControlsetEntityDefaults