h$      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                                                                            Safe-Inferred  Safe-Inferred 705 Safe-Inferred  Safe-Inferred \=HTF2An abstract type representing locations in a file.>HTF Render a = as a .?HTFExtract the file name of a =.@HTFExtract the line number of a =.AHTFCreate a new location.BHTFThe unknown location (file ? and line 0).AHTF The file nameHTFThe line number=>?@AB=B?@>ANone GHIJKLMLKMGHIJ Safe-Inferred> THTFA type class for pretty-printable things. Minimal complete definition: pretty.UHTFPretty-print a single value.VHTFPretty-print a list of things.WHTF!Pretty-print a single value as a .XHTF!Utility function for inserting a = between two 8 values.  !"#$%&'()*+,-./012345678<9:;TUVWXTUVWX  !"#$%&'()*+,-./012345678<9:; Safe-InferredHTFRun a command using the shell.HTFRun a command.HTFCommandHTFContent of stdinHTF(stdout, stderr, exit code)HTFBinaryHTF ArgumentsHTFContent of stdinHTF(stdout, stderr, exit code) Safe-Inferred3? _HTF2The full result of a test, as used by HTF plugins.aHTF/The stack to the location of a possible failurebHTFAn error messagecHTFThe outcome of the test,  means timeoutjHTFThe summary result of a test.oHTFAn assertion is just an < action. Internally, the body of any test in HTF is of type o. If a test specification of a certain plugin has a type different from o, the plugin's preprocessor pass must inject wrapper code to convert the test specification into an assertion.Assertions may use x to signal a j different from k. If the assertion finishes successfully, the tests passes implicitly.Please note: the assertion must not swallow any exceptions! Otherwise, timeouts and other things might not work as expected.vHTFFormats a stack trace.wHTF%Auxiliary function for contructing a _.xHTFTerminate a HTF test, usually to signal a failure. The result of the test is given in the _ argument.zHTFOpens a new assertion stack frame to allow for sensible location information. This function should be used if the function being called does not carry a  annotation.]^_`abcdefghijnmklopqrstuvwxyzojnmkl_`abc]^efghidrpvtsuqxzywNone HTF(A type synonym for time in milliseconds.jnmkljnmkl Safe-InferredHTF;Type for evaluating a generic assertion as a pure function.HTF9Assertion passes successfully and yields the given value.HTFAssertion fails with the given stack trace. In the stack trace, the outermost stackframe comes first.HTF#A typeclass for generic assertions.HTF#Evaluates a generic assertion to a  value.HTF$Evaluates a generic assertion to an  value. The result is Right x* if the assertion passes and yields value x, otherwise the result is Left err, where err is an error message.None>%HTF)Reports the overall results of all tests.HTF$Reports the result of a single test.HTF#Reports the start of a single test.HTF.Signals that test execution is about to start.HTF'Reports the IDs of all tests available.HTFA / provides hooks to customize the output of HTF.HTF0Called to report the IDs of all tests available.HTF-Called to report the start of test execution.HTF,Called to report the start of a single test.HTF-Called to report the result of a single test.HTF2Called to report the overall results of all tests.HTF Configuration of test execution.HTF0If set, displays messages only for failed tests.HTFUse Just i for parallel execution with i threads, Nothing for sequential execution.HTF'Shuffle tests before parallel executionHTF3Output destination of progress and result messages.HTF(Output destination of XML result summaryHTFFilter for the tests to run.HTFTest reporters to use.HTFWhether to use colored outputHTFPath to history fileHTFHistory of previous test runsHTF*Sort ascending by previous execution timesHTF'Stop test run as soon as one test failsHTF!Do not regard timeout as an errorHTF- HTF*Type class providing access to the custom 4 of a quick check property. Used only internally.HTFAbstract type for representing quick check properties with custom . Used only internally.HTFThe  used if not explicitly changed.HTFChange the default ) used to evaluate quick check properties.HTF Retrieve the  currently used per default when evaluating quick check properties.HTFTurns a  property into an o=. This function is used internally in the code generated by htfpp, do not use it directly.HTFRun a . property with modified quick check arguments .HTFUse qcPending msg prop to mark the given quick check property as pending without removing it from the test suite and without deleting or commenting out the property code.HTF Sets the  parameter of the & datatype by parsing the given string.HTF&Modification function for the default HTFProperty  None/ENone ?[sHTF#Fail with the given reason in some  monad.HTFSpecialization of  to IO.HTF.Signals that the current unit test is pending.HTFUse unitTestPending' msg test to mark the given test as pending without removing it from the test suite and without deleting or commenting out the test code.HTF Fail if the  value is .HTF Fail in some ! monad if the two values of type a: are not equal, supplying an additional message. Use if a is an instance of  but not of T.HTF Fail in some ! monad if the two values of type a are not equal. Use if a is an instance of  but not of T.HTFFail if the two values of type a: are not equal, supplying an additional message. Use if a is an instance of  but not of T.HTFFail if the two values of type a are not equal. Use if a is an instance of  but not of T.HTF Fail in some ! monad if the two values of type a6 are equal, supplying an additional message. Use if a is an instance of  but not of T.HTF Fail in some ! monad if the two values of type a are equal. Use if a is an instance of  but not of T.HTFFail if the two values of type a6 are equal, supplying an additional message. Use if a is an instance of  but not of T.HTFFail if the two values of type a are equal. Use if a is an instance of  but not of T.HTF Fail in some ! monad if the two values of type a: are not equal, supplying an additional message. Use if a is an instance of T.HTF Fail in some ! monad if the two values of type a are not equal. Use if a is an instance of T.HTFFail if the two values of type a: are not equal, supplying an additional message. Use if a is an instance of T.HTFFail if the two values of type a are not equal. Use if a is an instance of T.HTF Fail in some ! monad if the two values of type a6 are equal, supplying an additional message. Use if a is an instance of T.HTF Fail in some ! monad if the two values of type a are equal. Use if a is an instance of T.HTFFail if the two values of type a6 are equal, supplying an additional message. Use if a is an instance of T.HTFFail if the two values of type a are equal. Use if a is an instance of T.HTF Fail in some ! monad if the two values of type a: are not equal, supplying an additional message. Use if a is neither an instance of  nor of T.HTF Fail in some ! monad if the two values of type a are not equal. Use if a is neither an instance of  nor of T.HTFFail if the two values of type a: are not equal, supplying an additional message. Use if a is neither an instance of  nor of T.HTFFail if the two values of type a are not equal. Use if a is neither an instance of  nor of T.HTF Fail in some ! monad if the two values of type a6 are equal, supplying an additional message. Use if a is neither an instance of  nor of T.HTF Fail in some ! monad if the two values of type a are equal. Use if a is neither an instance of  nor of T.HTFFail if the two values of type a6 are equal, supplying an additional message. Use if a is neither an instance of  nor of T.HTFFail if the two values of type a are equal. Use if a is neither an instance of  nor of T.HTF Fail in some  monad if the two given lists are not equal when considered as sets, supplying an additional error message.HTF Fail in some  monad if the two given lists are not equal when considered as sets.HTFFail if the two given lists are not equal when considered as sets, supplying an additional error message.HTFFail if the two given lists are not equal when considered as sets.HTF Fail in some  monad if the given list is empty, supplying an additional error message.HTF Fail in some " monad if the given list is empty.HTFFail if the given list is empty, supplying an additional error message.HTF Fail if the given list is empty.HTF Fail in some  monad if the given list is not empty, supplying an additional error message.HTF Fail in some & monad if the given list is not empty.HTFFail if the given list is not empty, supplying an additional error message.HTF$Fail if the given list is not empty.HTF Fail in some  monad if the element given is not contained in the list, supplying an additional error message.HTF Fail in some 9 monad if the element given is not contained in the list.HTFFail if the element given is not contained in the list, supplying an additional error message.HTF7Fail if the element given is not contained in the list.HTFFail if executing the  action does not throw an exception satisfying the given predicate  (e -> Bool)(, supplying an additional error message.HTFFail if executing the  action does not throw an exception satisfying the given predicate  (e -> Bool).HTFFail if executing the  action does not throw any exception, supplying an additional error message.HTFFail if executing the % action does not throw any exception.HTFFail if executing the m action does not throw an exception satisfying the given predicate  (e -> Bool)(, supplying an additional error message.HTFFail if executing the m action does not throw an exception satisfying the given predicate  (e -> Bool).HTFFail if executing the m action does not throw any exception, supplying an additional error message.HTFFail if executing the m% action does not throw any exception.HTF*Fail if evaluating the expression of type a= does not throw an exception satisfying the given predicate  (e -> Bool)), supplying an additional error message.HTF*Fail if evaluating the expression of type a= does not throw an exception satisfying the given predicate  (e -> Bool).HTF*Fail if evaluating the expression of type a does not throw any exception, supplying an additional error message.HTF*Fail if evaluating the expression of type a does not throw any exception.HTF Fail in some  monad if the given  Either a b value is a , supplying an additional error message. Use this function if b is an instance of .HTF Fail in some  monad if the given  Either a b value is a . Use this function if b is an instance of .HTFFail if the given  Either a b value is a , supplying an additional error message. Use this function if b is an instance of .HTFFail if the given  Either a b value is a . Use this function if b is an instance of .HTF Fail in some  monad if the given  Either a b value is a , supplying an additional error message. Use this function if b is not an instance of .HTF Fail in some  monad if the given  Either a b value is a . Use this function if b is not an instance of .HTFFail if the given  Either a b value is a , supplying an additional error message. Use this function if b is not an instance of .HTFFail if the given  Either a b value is a . Use this function if b is not an instance of .HTF Fail in some  monad if the given  Either a b value is a , supplying an additional error message. Use this function if a is an instance of .HTF Fail in some  monad if the given  Either a b value is a . Use this function if a is an instance of .HTFFail if the given  Either a b value is a , supplying an additional error message. Use this function if a is an instance of .HTFFail if the given  Either a b value is a . Use this function if a is an instance of .HTF Fail in some  monad if the given  Either a b value is a , supplying an additional error message. Use this function if a is not an instance of .HTF Fail in some  monad if the given  Either a b value is a . Use this function if a is not an instance of .HTFFail if the given  Either a b value is a , supplying an additional error message. Use this function if a is not an instance of .HTFFail if the given  Either a b value is a . Use this function if a is not an instance of .HTF Fail in some  monad if the given value is a Nothing, supplying an additional error message.HTF Fail in some ' monad if the given value is a Nothing.HTFFail if the given value is a Nothing, supplying an additional error message.HTF%Fail if the given value is a Nothing.HTF Fail in some  monad if the given Maybe a value is a , supplying an additional error message. Use this function if a is an instance of .HTF Fail in some  monad if the given Maybe a value is a . Use this function if a is an instance of .HTFFail if the given Maybe a value is a , supplying an additional error message. Use this function if a is an instance of .HTFFail if the given Maybe a value is a . Use this function if a is an instance of .HTF Fail in some  monad if the given Maybe a value is a , supplying an additional error message. Use this function if a is not an instance of .HTF Fail in some  monad if the given Maybe a value is a . Use this function if a is not an instance of .HTFFail if the given Maybe a value is a , supplying an additional error message. Use this function if a is not an instance of .HTFFail if the given Maybe a value is a . Use this function if a is not an instance of .HTFUse  if you want location information for the call site but the function being called does not carry a  constraint. None ^vHTFA "specification" of the output format in terms of haskell data types: The name of each data type corresponds to the name of an XML element (lowercase first letter). The name of a field with a primitive corresponds to an attribute with then same name as the field (without the prefix up to the first _).The root element is  testsuites  None `sHTFInvokes " on all test reporters registered.HTFInvokes " on all test reporters registered.HTFInvokes " on all test reporters registered.HTFInvokes " on all test reporters registered.HTFInvokes " on all test reporters registered.HTF#The default test reporters for HTF.NonenHTF&Commandline options for running tests.HTFBe quiet or not.HTF$Run only tests matching this filter.HTFIf ", display a help message and exit.HTF5Regular expressions matching test names which should not run.HTFUse Just i for parallel execution with i threads, Nothing for sequential execution.HTFIf 8, shuffle tests when running them in parallel. Default: HTF8Format output for machines (JSON format) or humans. See % for a definition of the JSON format.HTF,Output file for junit-style XML output. See $ for a definition of the XML format.HTFUse Just b" to enable/disable use of colors, Nothing infers the use of colors.HTF#The output file, defaults to stdoutHTFIf &, lists all tests available and exits.HTFIf , each message is sent to a new ouput file (derived by appending an index to ).HTFHistory file, default: ..HTF ProgramName.historyHTFFail and terminate test run as soon as the first test fails. Default: HTF=Sort tests by their previous run times (ascending). Default: HTFIgnore tests with a runtime greater than given in a previous test run.HTF6Abort tests that run more than the given milliseconds.HTFWarn if a test runs more than N times slower than in a previous run.HTF'Do not regard test timeout as an error.HTFNumber of times to repeat tests selected on the command line before reporting them as a success.HTF The default .HTF!Parse commandline arguments into . Here is a synopsis of the format of the commandline arguments:  USAGE: COMMAND [OPTION ...] PATTERN ... where PATTERN is a posix regular expression matching the names of the tests to run. -q --quiet Only display errors. -n PATTERN --not=PATTERN Tests to exclude. -l --list List all matching tests. -j[N] --threads[=N] Run N tests in parallel, default N=1. --shuffle=BOOL Shuffle test order. Default: false -o FILE --output-file=FILE Name of output file. --json Output results in machine-readable JSON format (incremental). --xml=FILE Output results in junit-style XML format. --split Splits results in separate files to avoid file locking (requires -o/--output-file). --colors=BOOL Use colors or not. --history=FILE Path to the history file. Default: ./.HTF/.history --fail-fast Fail and abort test run as soon as the first test fails. --sort-by-prev-time Sort tests ascending by their execution of the previous test run (if available). Default: false --max-prev-ms=MILLISECONDS Do not try to execute tests that had a execution time greater than MILLISECONDS in a previous test run. --max-cur-ms=MILLISECONDS Abort a test that runs more than MILLISECONDS. --prev-factor=DOUBLE Abort a test that runs more than DOUBLE times slower than in a previous run. --timeout-is-success Do not regard a test timeout as an error. -h --help Display this message.HTFThe string displayed for the --help option.HTF Turn the  into a .None|MHTFA type class for things that can be run as tests. Mainly used internally.HTFKind of specialised 7 type class for tests, which allows you to modify the o s of the '-thing without changing any test code.E.g. if you want to add timeouts to all tests of a module, you could write: addTimeout test = timeout 100 test >>= assertJustVerbose "Timeout exceeded" testsWithTimeouts = wrap addTimeout htf_thisModulesTestsHTF!Construct a test where the given o checks a quick check property. Mainly used internally by the htfpp preprocessor.HTF%Construct a unit test from the given ; action. Mainly used internally by the htfpp preprocessor.HTF*Construct a black box test from the given o. Mainly used internally.HTFCreate a named  from a list of  values.HTFCreate an unnamed  from a list of  values.HTFTurn a  into a proper .HTF Extend a  with a list of  valuesHTF!Run something testable using the .HTF!Run something testable using the .HTF"Run something testable, parse the  from the given commandline arguments. Does not print the overall test results but returns an  action for doing so.HTF"Run something testable, parse the & from the given commandline arguments.HTF'Runs something testable with the given . See  for a specification of the  result.HTF'Runs something testable with the given :. Does not print the overall test results but returns an  action for doing so. See  for a specification of the  result.HTF'Runs something testable with the given . The result is + if all tests were executed successfully, 1 otherwise. In the latter case, an error code of 1 indicates that failures but no errors occurred, otherwise the error code 2 is used. A test is  successful if the test terminates and no assertion fails. A test is said to fail0 if an assertion fails but no other error occur.HTF'Runs something testable with the given :. Does not print the overall test results but returns an  action for doing so. See  for a specification of the  result.HTFRuns something testable by parsing the commandline arguments as test options (using (). Exits with the exit code returned by ;. This function is the main entry point for running tests.HTFRuns something testable by parsing the commandline arguments as test options (using (). Exits with the exit code returned by .HTFTestable thingHTFSee  for a specification of the  resultHTFTestable thingHTF action for printing the overall test results, and exit code for the test run. See  for a specification of the  resultHTFCommandline argumentsHTFTestable thingHTFSee  for a specification of the  result.HTFCommandline argumentsHTFTestable thingHTF action for printing the overall test results, and exit code for the test run. See  for a specification of the  result.jlknmNoneA HTFUse a value of this datatype to customize various aspects of your black box tests.HTF*File extension for the file used as stdin.HTFFile extension for the file specifying expected output on stdout.HTFFile extension for the file specifying expected output on stderr.HTFName of a file defining various arguments for executing the tests contained in a subdirectory of the test hierarchy. If a directory contains a such-named file, the arguments apply to all testfiles directly contained in this directory. See the documentation of  for a specification of the argument file format. Default: BBTArgsHTFBe verbose or not.HTFDiff program for comparing output on stdout with the expected value.HTFDiff program for comparing output on stderr with the expected value.HTFThe type of a function comparing the content of a file against a string, similar to the unix tool diff. The first parameter is the name of the file containing the expected output. If this parameter is , then output should not be checked. The second parameter is the actual output produced. If the result is , then no difference was found. Otherwise, a 3 value contains a string explaining the difference.HTFSensible default values for : defaultBBTArgs = BBTArgs { bbtArgs_stdinSuffix = ".in" , bbtArgs_stdoutSuffix = ".out" , bbtArgs_stderrSuffix = ".err" , bbtArgs_dynArgsName = "BBTArgs" , bbtArgs_stdoutDiff = defaultDiff , bbtArgs_stderrDiff = defaultDiff , bbtArgs_verbose = False } HTFA default value for the % datatype that simple resorts to the diff commandline utility.HTFCollects all black box tests with the given file extension stored in a specific directory. For example, the invocation blackBoxTests "bbt-dir" "dist/build/sample/sample" ".num" defaultBBTArgsreturns a list of  values, one  for each .num file found in bbt-dir and its subdirectories. (The samples directory of the HTF source tree contains the example shown here, see  3https://github.com/skogsbaer/HTF/tree/master/sample.)Suppose that one of the .num files is bbt-dir/should-pass/x.num. Running the corresponding  invokes dist/build/sample/sample (the program under test) with bbt-dir/should-pass/x.num as the last commandline argument. The other commandline arguments are taken from the flags specification given in the file whose name is stored in the  field of the ( record (see below, default is BBTArgs).If bbt-dir/should-pass/x.in existed, its content would be used as stdin. The tests succeeds if the exit code of the program is zero and the output on stdout and stderr matches the contents of bbt-dir/should-pass/x.out and bbt-dir/should-pass/x.err, respectively. If bbt-dir/should-pass/x.out and bbt-dir/should-pass/x.err* do not exist, then output is not checked.The  field of the  record specifies a filename that contains some more configuration flags for the tests. The following flags (separated by newlines) are supported: Skip;Skips all tests in the same directory as the argument file.FailSpecify that the test should succeed if it exits with a non-zero exit code. Flags: flagsPasses the given flags to the program under test.HTF$root directory of the test hierarchyHTFname of program under testHTFfilename suffix for input fileHTF configuration  NoneA A !"#$"#%"#&"#'"#("#)"#)"#*"#+"#,"#-"./".0".1".2".3".4".5".6".7".8".9".:".;".<".=".>".?".@".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".["#\"#]"#^"#_`abcdefghijjklmnopqrstuvwxyz{|}~                                                                                           #HTF-0.15.0.0-EXFqOP7YqFZG781Ct58reZTest.Framework.HUnitWrapperTest.Framework.PrettyTest.Framework.LocationTest.Framework.PreprocessorTest.Framework.TestInterfaceTest.Framework.HistoryTest.Framework.AssertMTest.Framework.TestTypesTest.Framework.JsonOutputTest.Framework.ThreadPool Test.Framework.QuickCheckWrapperTest.Framework.PrettyHaskellTest.Framework.XmlOutputTest.Framework.TestManagerTest.Framework.BlackBoxTest Paths_HTFTest.Framework.ColorsTest.Framework.DiffTest.Framework.ProcessTest.Framework.TutorialTest.Framework.UtilsTest QuickCheckTest.Framework.TestReporterTest.Framework.CmdlineOptionsTest.Framework JsonOutput XmlOutputTest.Framework.TestConfigdefaultCmdlineOptions$HUnit-1.6.2.0-6lS9XV7H6ci3Vp6TLJ1QC2Test.HUnit.Lang HUnitFailurepretty-1.1.3.6#Text.PrettyPrint.Annotated.HughesPJModePageMode ZigZagModeLeftMode OneLineModeStylemode lineLengthribbonsPerLinestyleText.PrettyPrint.HughesPJ fullRender renderStylerenderfsepfcatcatsep<+>$+$$$ punctuatehangnestvcathsephcatbracesbracketsparens doubleQuotesquotesrationaldoublefloatintegerintrbracelbracerbracklbrackrparenlparenequalsspacecoloncommasemiisEmptyempty zeroWidthText sizedTextptexttextcharDocPStrStrChr TextDetailsLocationshowLocfileName lineNumbermakeLocunknownLocation $fEqLocation $fOrdLocation$fShowLocation$fReadLocationTransformOptionsdebug literateTexprogName transformpreprocessorTests$fShowModuleInfo$fEqModuleInfo$fShowImportDecl$fEqImportDecl$fEqDefinition$fShowDefinitionPrettypretty prettyList showPretty<=> $fPrettyBool $fPrettyInt $fPretty[] $fPrettyCharHTFFailureException HTFFailureFullTestResult ftr_stack ftr_message ftr_resultHtfStack HtfStackEntry hse_locationhse_calledFunction hse_message TestResultPassPendingFailError Assertion mkHtfStackhtfStackToList emptyHtfStackfailureLocationfailureLocationFromStack restCallStackformatHtfStackmkFullTestResultfailHTFaddCallerToSubAssertStack subAssertHTF$fExceptionHTFFailureException$fShowHTFFailureException$fEqFullTestResult$fShowFullTestResult$fReadFullTestResult $fEqHtfStack $fOrdHtfStack$fShowHtfStack$fReadHtfStack$fEqHtfStackEntry$fOrdHtfStackEntry$fShowHtfStackEntry$fReadHtfStackEntry$fShowTestResult$fReadTestResult$fEqTestResultHistoricTestResult htr_testId htr_result htr_timedOut htr_timeMs TestHistory MillisecondsemptyTestHistorymkTestRunHistoryupdateTestHistoryfindHistoricTestResult findHistoricSuccessfulTestResult$fFromJSONTestResult$fToJSONTestResult$fShowTestRunHistory$fShowTestHistory$fEqTestHistory$fEqTestRunHistory$fShowHistoricTestResult$fEqHistoricTestResult$fFromJSONHistoricTestResult$fToJSONHistoricTestResult$fFromJSONTestRunHistory$fToJSONTestRunHistoryserializeTestHistorydeserializeTestHistory historyTests!$fFromJSONSerializableTestHistory$fToJSONSerializableTestHistory AssertBoolAssertOk AssertFailedAssertMgenericAssertFailuregenericSubAssert boolValue eitherValue $fAssertMIO$fAssertMAssertBool$fMonadAssertBool$fApplicativeAssertBool$fFunctorAssertBool$fEqAssertBool$fOrdAssertBool$fShowAssertBool$fReadAssertBoolReportGlobalResultsReportGlobalResultsArg rgra_timeMs rgra_passed rgra_pending rgra_failed rgra_errors rgra_timedOut rgra_filteredReportTestResultReportTestStartReportGlobalStartReportAllTests TestReportertr_idtr_reportAllTeststr_reportGlobalStarttr_reportTestStarttr_reportTestResulttr_reportGlobalResults TestConfigtc_quiet tc_threads tc_shuffle tc_output tc_outputXml tc_filter tc_reporters tc_useColorstc_historyFile tc_historytc_sortByPrevTime tc_failFasttc_timeoutIsSuccesstc_maxSingleTestTime tc_prevFactor tc_repeat TestOutputTestOutputHandleTestOutputSplittedTR TestState ts_resultsts_indexFlatTestResult RunResult rr_resultrr_stack rr_message rr_wallTimeMs rr_timeout CallStack TestFilterFlatTest GenFlatTestft_sortft_path ft_location ft_payloadTestPath TestPathBaseTestPathCompound TestSuite AnonTestSuiteBaseTest CompoundTestAssertionWithTestOptions testOptions assertionWithTestOptions wto_options wto_payload TestOptions to_parallelTestSortUnitTestQuickCheckTest BlackBoxTestTestIDdefaultTestOptions withOptionstestPathToListflatName finalName prefixName historyKeyattachCallStack initTestStateemptyTestReporter)$fAssertionWithTestOptionsWithTestOptions$fAssertionWithTestOptionsIO$fEqTestReporter$fShowTestReporter$fShowTestConfig$fShowTestOutput$fEqTestOutput$fShowTestPath$fEqWithTestOptions$fShowWithTestOptions$fReadWithTestOptions$fEqTestOptions$fShowTestOptions$fReadTestOptions $fEqTestSort$fShowTestSort$fReadTestSortTestObjTestResultsObj TestListObjTestEndEventObjTestStartEventObj HTFJsonObjmkTestStartEventObjmkTestEndEventObj mkTestListObjmkTestResultsObj decodeObj$fToJSONLocation$fToJSONTestSort$fToJSONTestPath$fHTFJsonObjTestResultsObj$fToJSONTestResultsObj$fToJSONTestObj$fHTFJsonObjTestListObj$fToJSONTestListObj$fHTFJsonObjTestEndEventObj$fToJSONTestEndEventObj$fHTFJsonObjTestStartEventObj$fToJSONTestStartEventObj ThreadPooltp_runThreadPoolEntryStopFlagDoStop DoNotStopsequentialThreadPoolparallelThreadPoolthreadPoolTest$fShowWorkItem$fShowWorkResult $fEqStopFlag$fShowStopFlag$fReadStopFlag QCAssertion WithQCArgs defaultArgssetDefaultArgsgetCurrentArgs qcAssertion withQCArgs qcPendingassertionAsPropertysetReplayFromString$fExceptionQCPendingException$fQCAssertionWithQCArgs$fQCAssertiona$fShowQCPendingException$fReadQCPendingException$fEqQCPendingException prettyHaskellprettyHaskell'prettyHaskellTests$fShowMySuperSuperHero$fShowMySuperHerogassertFailure assertFailureunitTestPendingunitTestPending' assertBoolassertBoolVerbose gassertBoolgassertBoolVerbosegassertEqualVerbose gassertEqualassertEqualVerbose assertEqualgassertNotEqualVerbosegassertNotEqualassertNotEqualVerboseassertNotEqualgassertEqualPrettyVerbosegassertEqualPrettyassertEqualPrettyVerboseassertEqualPrettygassertNotEqualPrettyVerbosegassertNotEqualPrettyassertNotEqualPrettyVerboseassertNotEqualPrettygassertEqualNoShowVerbosegassertEqualNoShowassertEqualNoShowVerboseassertEqualNoShowgassertNotEqualNoShowVerbosegassertNotEqualNoShowassertNotEqualNoShowVerboseassertNotEqualNoShowgassertListsEqualAsSetsVerbosegassertListsEqualAsSetsassertListsEqualAsSetsVerboseassertListsEqualAsSetsgassertNotEmptyVerbosegassertNotEmptyassertNotEmptyVerboseassertNotEmptygassertEmptyVerbose gassertEmptyassertEmptyVerbose assertEmptygassertElemVerbose gassertElemassertElemVerbose assertElemassertThrowsIOVerboseassertThrowsIOassertThrowsSomeIOVerboseassertThrowsSomeIOassertThrowsMVerbose assertThrowsMassertThrowsSomeMVerboseassertThrowsSomeMassertThrowsVerbose assertThrowsassertThrowsSomeVerboseassertThrowsSomegassertLeftVerbose gassertLeftassertLeftVerbose assertLeftgassertLeftNoShowVerbosegassertLeftNoShowassertLeftNoShowVerboseassertLeftNoShowgassertRightVerbose gassertRightassertRightVerbose assertRightgassertRightNoShowVerbosegassertRightNoShowassertRightNoShowVerboseassertRightNoShowgassertJustVerbose gassertJustassertJustVerbose assertJustgassertNothingVerbosegassertNothingassertNothingVerbose assertNothinggassertNothingNoShowVerbosegassertNothingNoShowassertNothingNoShowVerboseassertNothingNoShow subAssert gsubAssertsubAssertVerbosegsubAssertVerbosehunitWrapperTestsResult r_elemName r_messager_type r_textContentTestcase tc_classnametc_nametc_time tc_result Testsuitets_tests ts_failures ts_errorsts_timets_idts_name ts_package ts_testcases Testsuites tss_tests tss_failures tss_errorstss_time tss_suitesJunitXmlOutputmkGlobalResultsXml TestableHTF WrappableHTFwrapmakeQuickCheckTest makeUnitTestmakeBlackBoxTest makeTestSuitemakeAnonTestSuitetestSuiteAsTestaddToTestSuite flattenTestrunTestrunTest'runTestWithArgsrunTestWithArgs'runTestWithOptionsrunTestWithOptions'runTestWithConfigrunTestWithConfig'htfMainhtfMainWithArgswrappableTests$fWrappableHTFTest$fWrappableHTFTestSuite$fTestableHTFIO$fTestableHTF[]$fTestableHTFTestSuite$fTestableHTFTestBBTArgsbbtArgs_stdinSuffixbbtArgs_stdoutSuffixbbtArgs_stderrSuffixbbtArgs_dynArgsNamebbtArgs_verbosebbtArgs_stdoutDiffbbtArgs_stderrDiffDiffdefaultBBTArgs defaultDiff blackBoxTestsversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName ColorString unColorStringPrimColorString PrimColorMagentaBlueDarkGrayBrownRedNoColorGreenCyanBlackGray LightBlue LightGreen LightCyanLightRed LightMagentaYellowWhiteColorfirstDiffColorsecondDiffColor skipDiffColor diffColor warningColortestStartColor testOkColor pendingColoremptyColorString maxLengthunlinesColorStringcolorStringFindensureNewlineColorStringcolorize colorizeText colorize' colorizeText'noColor noColorTextnoColor' noColorText'+++renderColorString DiffConfig dc_fromFirst dc_fromSecond dc_fromBothdc_sepdc_skipdc_lineFromFirstdc_lineFromSeconddiffdiffWithSensibleConfigmainbaseGHC.BaseString popenShellpopen GHC.MaybeNothingghc-prim GHC.TypesIOGHC.Stack.Types HasCallStackBool Data.EitherEitherGHC.IO.Handle.TypesHandleGHC.IOFilePathTrue shuffleIODirectoryEntryTypeFileOther Directorybasenamedirname startswithendswith dropPrefix dropSuffix replaceSuffix dropSpacedirectoryEntryType collectFiles maybeFile mapAccumLMreadM ensureNewlinestripmeasurediffClockTimes'QuickCheck-2.14.2-6vGnep5JveBx6Bsl9Nf1tTest.QuickCheck.TestArgsreplayTest.QuickCheck.FeatureslabelledExamplesWithResultlabelledExamplesResultlabelledExamplesWithlabelledExamplesTest.QuickCheck.AllverboseCheckAll quickCheckAll allPropertiesforAllProperties monomorphicpolyVerboseCheckpolyQuickCheckverboseCheckWithResultverboseCheckResultverboseCheckWith verboseCheckquickCheckWithResultquickCheckResultquickCheckWith quickCheckstdArgs isSuccess maxShrinkschattymaxSizemaxDiscardRatio maxSuccessNoExpectedFailureGaveUpSuccessFailurefailingClasses failingLabelsfailingTestCase theExceptionreasonusedSizeusedSeednumShrinkFinalnumShrinkTries numShrinksoutputtablesclasseslabelsnumTests numDiscardedTest.QuickCheck.Propertytotal=/====disjoin.||.conjoin.&&..&.forAllShrinkBlindforAllShrinkShow forAllShrink forAllBlind forAllShowforAllwithin==> coverTabletabulatecoverclassifycollectlabel stdConfidencecheckCoverageWith checkCoveragewithMaxSuccessagainonce expectFailureverboseShrinkingverbose whenFail'whenFail printTestCasecounterexample noShrinking shrinkingmapSizeidempotentIOProperty ioPropertyPropertyTestablepropertypropertyForAllShrinkShowDiscardTest.QuickCheck.State Confidence certainty toleranceTest.QuickCheck.Function applyFun3 applyFun2applyFun functionMap functionVoid functionShowfunctionIntegralfunctionRealFracfunctionBoundedEnumFnFn2Fn3FunctionfunctionFunTest.QuickCheck.ModifiersBlindgetBlindFixedgetFixed OrderedListOrdered getOrdered NonEmptyListNonEmpty getNonEmpty InfiniteListgetInfiniteListinfiniteListInternalData SortedListSorted getSortedPositive getPositiveNegative getNegativeNonZero getNonZero NonNegativegetNonNegative NonPositivegetNonPositiveLargegetLargeSmallgetSmallShrink2 getShrink2Smart Shrinking ShrinkState shrinkInit shrinkState ASCIIStringgetASCIIString UnicodeStringgetUnicodeStringPrintableStringgetPrintableStringTest.QuickCheck.Arbitrary infiniteList orderedListvectorcoarbitraryEnumcoarbitraryShowcoarbitraryRealcoarbitraryIntegral><genericCoarbitrary shrinkDecimalshrinkRealFracshrinkIntegral shrinkMapBy shrinkMap shrinkNothingarbitraryPrintableChararbitraryASCIIChararbitraryUnicodeChararbitrarySizedBoundedIntegralarbitraryBoundedEnumarbitraryBoundedRandomarbitraryBoundedIntegralarbitrarySizedFractionalarbitrarySizedNaturalarbitrarySizedIntegralapplyArbitrary4applyArbitrary3applyArbitrary2 shrinkListsubtermsrecursivelyShrink genericShrinkshrink2 arbitrary2shrink1 arbitrary1 Arbitrary arbitraryshrink Arbitrary1 liftArbitrary liftShrink Arbitrary2liftArbitrary2 liftShrink2 CoArbitrary coarbitraryTest.QuickCheck.GeninfiniteListOfvectorOflistOf1listOfgrowingElementsshuffle sublistOfelements frequencyoneof suchThatMaybe suchThatMapsuchThatsamplesample'generate chooseIntegerchooseBoundedIntegral chooseInt chooseEnum chooseAnychoosescaleresizegetSizesizedvariantGenTest.QuickCheck.ExceptiondiscardFalseGHC.ShowShowRightLeftJustreportAllTestsreportGlobalStartreportTestStartreportTestResultreportGlobalResultsdefaultTestReporters IsXmlOutput NoXmlOutput IsJsonOutput NoJsonOutput IsParallelParallel NonParallelisParallelFromBoolCmdlineOptions opts_quiet opts_filter opts_help opts_negated opts_threads opts_shuffleopts_machineOutputopts_machineOutputXmlopts_useColorsopts_outputFileopts_listTests opts_splitopts_historyFile opts_failFastopts_sortByPrevTimeopts_maxPrevTimeMsopts_maxCurTimeMsopts_prevFactoropts_timeoutIsSuccess opts_repeat parseTestArgs helpStringtestConfigFromCmdlineOptionsFunctorGHC.IO.ExceptionExitCode ExitSuccess ExitFailure