i      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~SafeSafeS      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ Safe2unstableSafeA < represents the location of an example within the spec tree.JIt consists of a list of group descriptions and a requirement description.pluralize count singular pluralizes the given singular word unless given count is 1. Examples:pluralize 0 "example" "0 examples"pluralize 1 "example" "1 example"pluralize 2 "example" "2 examples"%Strip leading and trailing whitespace,ensure that lines are not longer than given n(, insert line breaks at word boundariesQTry to create a proper English sentence from a path by applying some heuristics.3A predicate that can be used to filter a spec tree. The function # converts an exception to a string.This is different from /. The type of the exception is included, e.g.:*formatException (toException DivideByZero)!"ArithException (divide by zero)"For s the  is included, as well.safeTryu evaluates given action and returns its result. If an exception occurs, the exception is returned instead. Unlike , it is agnostic to asynchronous exceptions. Safe Safe09;DRA marker for source locations The source location is accurate XThe source location was determined on a best-effort basis and my be wrong or inaccurate Location' is used to represent source locations. The result of running an exampleAn F) action that expects an argument of type a A type class for examples(  !"#$       !"#$   !"#$      unstableSafe*234: %ItemF is used to represent spec items internally. A spec item consists of:+a textual description of a desired behavioran example for that behavioradditional meta information&Everything that is an instance of the  r type class can be used as an example, including QuickCheck properties, Hspec expectations and HUnit assertions.'Textual description of behavior( Source location of the spec item)fA flag that indicates whether it is safe to evaluate this spec item in parallel with other spec items*Example for behavior+A tree is used to represent a spec internally. The tree is parametrize over the type of cleanup actions and the type of the actual spec items.,Internal tree data structure0The  specGroup6 function combines a list of specs into a larger spec.1The specItem function creates a spec item. %&'()*+,-./01 %&'()*+,-./01%&'()*+,-./01 NoneI2A writer monad for + forests6 Convert a 5 to a forest of +s.7 Create a 5 from a forest of +s.82Run an IO action while constructing the spec tree.2J is a monad to construct a spec tree, without executing any spec items. runIO allows you to run IO actions during this construction phase. The IO action is always run when the spec tree is constructed (e.g. even when  --dry-run] is specified). If you do not need the result of the IO action to construct the spec tree, ( may be more suitable for your use case. 23456789:;< 23456789:;< 23456789:;< provisionalNone =+Run a custom action before every spec item.>+Run a custom action before every spec item.?+Run a custom action before every spec item.@/Run a custom action before the first spec item.A/Run a custom action before the first spec item.B*Run a custom action after every spec item.C*Run a custom action after every spec item.D8Run a custom action before and/or after every spec item.E-Run a custom action after the last spec item.F-Run a custom action after the last spec item.G8Run a custom action before and/or after every spec item.H8Run a custom action before and/or after every spec item.=>?@ABCDEFGH =>?@ABCDEFGH =>?@ABCEFDGH=>?@ABCDEFGHunstableNone*: IThe describe6 function combines a list of specs into a larger spec.Jcontext is an alias for I.K Changing I to K> marks all spec items of the corresponding subtree as pending.3This can be used to temporarily disable spec items.Lxcontext is an alias for K.MThe it function creates a spec item.A spec item consists of:+a textual description of a desired behavioran example for that behavior odescribe "absolute" $ do it "returns a positive number when given a negative number" $ absolute (-1) == 1Nspecify is an alias for M.O Changing M to O. marks the corresponding spec item as pending.4This can be used to temporarily disable a spec item.Pxspecify is an alias for O.QQL marks all spec items of the given spec to be safe for parallel evaluation.RR, can be used to mark a spec item as pending.VIf you want to textually specify a behavior but do not have an example yet, use this: `describe "fancyFormatter" $ do it "can format text in a way that everyone likes" $ pendingSS is similar to Rv, but it takes an additional string argument that can be used to specify the reason for why the spec item is pending. IJKLMNOPQRS@  !"#$%&'()*+,-./0123456789:;<IJKLMNOPQRS@MNIJRSOPKLQ54236789:;< !"#  $+,-./%&'()*01 IJKLMNOPQRSNone !"/9;AOT] evaluated before each test group@The given number indicates the position within the parent group._>used to notify the progress of the currently evaluated exampleNote2: This is only called when interactive/color mode.`'evaluated after each successful examplea#evaluated after each failed exampleb$evaluated after each pending examplecevaluated after a test rundevaluated after failuresFormattere9Get the number of successful examples encountered so far.f6Get the number of pending examples encountered so far.g5Get the number of failed examples encountered so far.h4Get the total number of examples encountered so far.i-Get the list of accumulated failure messages.j,The random seed that is used for QuickCheck.k:Get the used CPU time since the test run has been started.l=Get the passed real time since the test run has been started.m!Append some output to the report.n The same as m, but adds a newline character.oRSet output color to red, run given action, and finally restore the default color.pTSet output color to green, run given action, and finally restore the default color.qUSet output color to yellow, run given action, and finally restore the default color.rSSet output color to cyan, run given action, and finally restore the default color.sOutput given chunk in red.tOutput given chunk in green.E !"#$%&'T()*+,-./01234567UVWXYZ[\]^_`abcd8efghijklmnopqrst9:7 !"#$%&'TUVWXYZ[\]^_`abcd8efghijklmnopqrst !"#$%&'T()*+,-./01234567UVWXYZ [\]^_`abcd8efghijklmnopqrst9:NoneI;A lifted version of <A lifted version of =,The random seed that is used for QuickCheck.>,Increase the counter for successful examples?)Increase the counter for pending examples@(Increase the counter for failed examplesA9Get the number of successful examples encountered so far.B6Get the number of pending examples encountered so far.C5Get the number of failed examples encountered so far.D3Append to the list of accumulated failure messages.E-Get the list of accumulated failure messages.F!Append some output to the report.GRSet output color to red, run given action, and finally restore the default color.HTSet output color to green, run given action, and finally restore the default color.IUSet output color to yellow, run given action, and finally restore the default color.JSSet output color to cyan, run given action, and finally restore the default color.K5Set a color, run an action, and finally reset colors.LOutput given chunk in red.MOutput given chunk in green.Nfinally_ actionA actionB runs actionA and then actionB. actionB is run even when a O occurs during actionA.P:Get the used CPU time since the test run has been started.Q=Get the passed real time since the test run has been started.)RSTUVWXYZ[\]^_`a;<=b>?@ABCDEFGHIJKcdLMNPQRab>?@DNRST UVWXYZ[\]^_`a;<=b>?@ABCDEFGHIJKcdLMNPQ provisionalNoneuUse a modified e for given spec.vUse a modified f for given spec.wUse a modified g for given spec.uvwhuvwuvwuvwhSafe ijklmnopqrstujpqrstu ijklmnopqrstu1(c) Sterling Clover 2008-2011, Kevin Charter 2011 BSD 3 Clauses.clover@gmail.com experimentalportableSafe2vA value is either from the w list, the x or from y. y contains both the left and right values, in case you are using a form of equality that doesn't check all data (for example, if you are using a newtype to only perform equality on side of a tuple).zITakes two lists and returns a list of differences between them. This is { with  used as predicate.|^Takes two lists and returns a list of differences between them, grouped into chunks. This is } with  used as predicate.{ A form of z with no L constraint. Instead, an equality predicate is taken as the first argument.~vwxyz|{}vwxyz|{} ~vwxyz|{}Safevwxy experimentalNonexyz{*TUVWXYZ[\]^_`abcdefghijklmnopqrstxyz{*xyz{Z[\]^_`abcdTefghUVWXYijklmnrpqostxyz{NoneqA predicate that is used to filter the spec before it is run. Only examples that satisfy the predicate are run.@|}~ |}~#|}~None  NonecAdd a filter predicate to config. If there is already a filter predicate, then combine them with . |}~ None;Evaluate all examples of a given spec and produce a report.?Execute given action at most every specified number of seconds.  provisionalNoneSummary of a test run. Filter specs by given predicate.DThe predicate takes a list of "describe" labels and a "requirement".%Run given spec and write a report to  . Exit with ! if at least one spec item fails.8Run given spec with custom options. This is similar to , but more flexible.5Run given spec and returns a summary of the test run.Note:  does not exit with B on failing spec items. If you need this, you have to check the  yourself and act accordingly.IRun given spec with custom options and returns a summary of the test run.Note:  does not exit with B on failing spec items. If you need this, you have to check the  yourself and act accordingly.%|}~%|}~ !" # $ % & & ' ( ) * + , - . / 0 1 2 3 4 5 6 6 7 8 9 : ; < = > > ? @ A B C D E F G H I J J K L M N O P Q R STUVWXYZ[\]^_`abcdefghijkklmnoopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123242526789:;<=<><?<@<A<B<C<D<E<F<G<H<I<J<K<L<MNONPNQNRNSTUVWXYXZX[X\X]X^X_`abcdeXfXgXhXijXkXlmnmompq2rstNuNvNwNxNyNz{|{}{~{{{{{{{<<<<<<<<<<<<<<<<<<<<m2222        ! " # $%&'( ) * + , - . / 0 1 2 3 4 5 6 7 8 9:;:<=>??@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`a~bcdyz{e}fghjjiijklmnopqrstuvwxyz{yz|yz}~::/'hspec-core-2.4.3-CwRAXRYsKqAGFzTsBd4aCoTest.Hspec.Core.UtilTest.Hspec.Core.SpecTest.Hspec.Core.HooksTest.Hspec.Core.FormattersTest.Hspec.Core.QuickCheckTest.Hspec.Core.RunnerTest.Hspec.Core.TimerTest.Hspec.Core.CompatTest.Hspec.Core.Formatters.FreeTest.Hspec.Core.QuickCheckUtilTest.Hspec.Core.ExampleTest.Hspec.Core.TreeTest.Hspec.Core.Spec.Monad beforeAll Test.Hspec.Core.Formatters.Monad#Test.Hspec.Core.Formatters.InternalControl.Monad.Trans.StategetsmodifyPaths_hspec_coreData.Algorithm.DiffTest.Hspec.Core.Formatters.DiffTest.Hspec.Core.OptionsTest.Hspec.Core.FailureReportTest.Hspec.Core.ConfigTest.Hspec.Core.Runner.EvalPath pluralizestrip lineBreaksAtformatRequirementfilterPredicateformatExceptionsafeTryLocationAccuracy ExactLocation BestEffortLocation locationFile locationLinelocationColumnlocationAccuracy FailureReasonNoReasonReasonExpectedButGotResultSuccessPendingFailure ActionWithProgressCallbackProgressParamsparamsQuickCheckArgsparamsSmallCheckDepthExampleArgevaluateExample defaultParamssafeEvaluateExampleItemitemRequirement itemLocationitemIsParallelizable itemExampleSpecTreeTreeNodeNodeWithCleanupLeaf specGroupspecItemSpecMSpecWithSpecrunSpecM fromSpecListrunIO mapSpecTree mapSpecItem mapSpecItem_ modifyParamsbeforebefore_ beforeWith beforeAll_afterafter_aroundafterAll afterAll_around_ aroundWithdescribecontext xdescribexcontextitspecifyxitxspecifyparallelpending pendingWithFormatM FailureRecordfailureRecordLocationfailureRecordPathfailureRecordMessage FormatterheaderFormatterexampleGroupStartedexampleGroupDoneexampleProgressexampleSucceeded exampleFailedexamplePendingfailedFormatterfooterFormattergetSuccessCountgetPendingCount getFailCount getTotalCountgetFailMessagesusedSeed getCPUTime getRealTimewrite writeLine withFailColorwithSuccessColorwithPendingColor withInfoColor extraChunk missingChunkmodifyMaxSuccessmodifyMaxDiscardRatio modifyMaxSizesilentspecdocprogressfailed_examples ColorMode ColorAuto ColorNever ColorAlwaysConfigconfigIgnoreConfigFile configDryRunconfigPrintCpuTimeconfigFastFailconfigFailureReport configRerunconfigRerunAllOnSuccessconfigFilterPredicateconfigSkipPredicateconfigQuickCheckSeedconfigQuickCheckMaxSuccessconfigQuickCheckMaxDiscardRatioconfigQuickCheckMaxSizeconfigSmallCheckDepthconfigColorMode configDiffconfigFormatterconfigHtmlOutputconfigOutputFileconfigConcurrentJobs defaultConfigconfigAddFilterSummarysummaryExamplessummaryFailureshspec hspecWith hspecResulthspecWithResult$fMonoidSummary $fEqSummary $fShowSummarynewTimershowType showFullTypegetDefaultConcurrentJobsbaseGHC.Base++ghc-primGHC.PrimseqGHC.Listfilterzip System.IOprint Data.Tuplefstsnd otherwisemap$GHC.Real fromIntegral realToFracGHC.EnumBoundedminBoundmaxBoundEnumenumFrom enumFromThenenumFromThenTo enumFromTofromEnumtoEnumsuccpred GHC.ClassesEq==/= GHC.FloatFloatingpiexplogsqrt**logBasesincostanasinacosatansinhcoshtanhasinhacoshatanh Fractional fromRational/recipIntegral toIntegerquotremdivmodquotRemdivModMonad>>=>>returnfailFunctorfmap<$GHC.NumNum*+-negate fromIntegerabssignumOrd>=minmax><<=compareGHC.ReadRead readsPrecreadListReal toRational RealFloat floatRadix floatDigits floatRange decodeFloat encodeFloatexponent significand scaleFloatisNaN isInfiniteisDenormalizedisNegativeZeroisIEEEatan2RealFracproperFractiontruncateroundceilingfloorGHC.ShowShowshow showsPrecshowList Applicativepure<*>*><* Data.FoldableFoldabletoListfoldrfoldlfoldl'foldl1sumproductfoldr1maximumminimumelemfoldfoldr'foldMapnulllengthData.Traversable TraversablemapMsequencetraverse sequenceAMonoidmemptymappendmconcat GHC.TypesBoolTrueFalseCharDoubleFloatInt integer-gmpGHC.Integer.TypeIntegerMaybeNothingJustOrderingLTEQGTRationalIOWord Data.EitherEitherLeftRightStringShowSSystem.Environment lookupEnvfoldMapDefault fmapDefault mapAccumR mapAccumLforMforControl.Applicativeoptional WrappedMonad WrapMonad unwrapMonad WrappedArrow WrapArrow unwrapArrowZipList getZipListreadIOreadLn appendFile writeFilereadFileinteract getContentsgetLinegetCharputStrLnputStrputChar Text.Readread readMaybereadsGHC.IO.ExceptionioErrorData.Functor.ConstConstgetConstfindnotElem minimumBy maximumByallanyorand concatMapconcatmsumasum sequence_ sequenceA_forM_mapM_for_ traverse_foldlMfoldrM Data.Monoid<>DualgetDualEndoappEndoAllgetAllAnygetAnySumgetSumProduct getProductFirstgetFirstLastgetLastAltgetAlt Data.IORefatomicWriteIORefatomicModifyIORef'atomicModifyIORef modifyIORef' modifyIORef mkWeakIORef GHC.IORef writeIORef readIORefnewIORefIORefGHC.IOFilePath userErrorIOErroreither Data.OldListunwordswordsunlineslineslex readParenText.ParserCombinators.ReadPReadS Data.Functor<$>lcmgcd^^^oddeven showParen showStringshowCharshowsunzip3unzipzipWith3zipWithzip3!!lookupreversebreakspansplitAtdroptake dropWhile takeWhilecycle replicaterepeatiteratescanr1scanrscanl1scanlinitlasttailhead Data.MaybemaybeuncurrycurrysubtractasTypeOfuntil$!flip.constid=<<liftA3liftA2liftA<**> Alternativeempty<|>somemanyGHC.Err undefinederrorWithoutStackTraceerror&&||notFreePureliftF $fMonadFree$fApplicativeFree IOException IOErrorTypeControl.Exception.BasetryaroundProperty aroundProp aroundRose formatNumbersnewSeedmkGenhunitFailureToResult $fExample(->)$fExampleProperty$fExample(->)0 $fExampleIO$fExample(->)1 $fExampleBool$fExample(->)2$fExampleResult$fExceptionResult$fNFDataFailureReasonMemoizedEmptyFailedmemoizemodifyAroundAction EnvironmentenvironmentGetSuccessCountenvironmentGetPendingCountenvironmentGetFailCountenvironmentGetFailMessagesenvironmentUsedSeedenvironmentGetCPUTimeenvironmentGetRealTimeenvironmentWriteenvironmentWithFailColorenvironmentWithSuccessColorenvironmentWithPendingColorenvironmentWithInfoColorenvironmentExtraChunkenvironmentMissingChunkenvironmentLiftIOFormatFGetSuccessCountGetPendingCount GetFailCountGetFailMessagesUsedSeed GetCPUTime GetRealTimeWrite WithFailColorWithSuccessColorWithPendingColor WithInfoColor ExtraChunk MissingChunkLiftIO interpretWith $fMonadIOFree$fFunctorFormatFincreaseSuccessCountincreasePendingCountincreaseFailCountaddFailMessage withColorfinally_ UserInterruptFormatterState stateHandle stateUseColor stateUseDiff produceHTML successCount pendingCount failCount failMessages stateUsedSeed cpuStartTime startTime interpret runFormatMhtmlSpan withColor_'QuickCheck-2.9.2-3a8nWdLsV8cEn9LdMoftRmTest.QuickCheck.Test maxSuccessmaxDiscardRatiomaxSize modifyArgscatchIOversionbindirlibdirdatadir libexecdir sysconfdir getBinDir getLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNameDiffSecondBothgetDiff getDiffBygetGroupedDiffgetGroupedDiffByDLpoipojpathDIFSBcanDiagdstepaddsnakelcs$fOrdDLdiff partition breakListdefaultFailedFormatter defaultFooter _argumentName_argumentParser_argumentSetterInvalidArgumentEnvVar ConfigFile envVarNamefilterOraddMatchaddSkipsetDepth setMaxSuccess setMaxSizesetMaxDiscardRatiosetSeed formatters formatHelpmkOption addLineBreakshcommandLineOptionsconfigFileOptionssetdocumentedOptionsundocumentedOptionsrecognizedOptions parseOptionsparseCommandLineOptionsparseFileOptionsparseEnvVarOptionsparseOtherOptionsparseignoreConfigFile FailureReportfailureReportSeedfailureReportMaxSuccessfailureReportMaxSizefailureReportMaxDiscardRatiofailureReportPathswriteFailureReportreadFailureReportmkConfigconfigQuickCheckArgs getConfigreadConfigFilesreadGlobalConfigFilereadLocalConfigFilereadConfigFileexitWithMessage runFormattereveryMessageDoneRunReportReportProgress ReportResult FormatResultEvalTree parallelizerunSequentially runParallelrunprocessMessages filterSpecsGHC.IO.Handle.FDstdout System.Exit exitFailure applyDryRun ensureSeed isSuccessrunSpecdumpFailureReport'doNotLeakCommandLineArgumentsToExampleswithHiddenCursor doesUseColor withHandlererunAllisDumb