npce      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdNoneefghijklmnopqrefgefg Nonesss  Safe-InferredBA tuple that represents the location of an example within a spec. KIt consists of a list of group descriptions and a requirement description. t;Create a more readable display of a quantity of something.  Examples: quantify 0 "example" "0 examples"quantify 1 "example" "1 example"quantify 2 "example" "2 examples"u.A predicate that can be used to filter specs. vETry to create a proper English sentence from a path by applying some  heuristics. w Converts a x into an y . Assumes ) StdGens to be encoded as two positive zs and " $show (StdGen a b) = show a ++   ++ show b$. { Inverse of w. t|uv}~w{ t|uv}~w{ t|uv}~w{ None A type class for examples. #Internal representation of a spec. "The result of running an example. A writer monad for  forests.  Convert a  to a forest of s.  Create a  from a forest of s. The describe7 function combines a list of specs into a larger spec. Create a spec item. Specifies a pending example. LIf you want to textually specify a behavior but do not have an example yet,  use this:  describe "fancyFormatter" $ do 7 it "can format text in a way that everyone likes" $  pending 4Specifies a pending example with a reason for why it' s pending.  describe "fancyFormatter" $ do 7 it "can format text in a way that everyone likes" $ @ pendingWith "waiting for clarification from the designers"     NoneHConvert a HUnit test suite to a spec. This can be used to run existing  HUnit tests with Hspec. !This instance is deprecated, use  instead!  None!evaluated before each test group AThe given number indicates the position within the parent group. ?used to notify the progress of the currently evaluated example *NOTE: This is only called when interactive/ color mode. (evaluated after each successful example $evaluated after each failed example !%evaluated after each pending example "evaluated after a test run #evaluated after failuresFormatter A lifted version of   A lifted version of   A lifted version of  KThis is meant for internal use only, and not part of the public API. This J is also the reason why we do not make FormatM an instance MonadIO, so we : have narrow control over the visibilty of this function. )-The random seed that is used for QuickCheck. 1The total number of examples encountered so far. -Increase the counter for successful examples *Increase the counter for pending examples )Increase the counter for failed examples *:Get the number of successful examples encountered so far. +7Get the number of pending examples encountered so far. ,6Get the number of failed examples encountered so far. -5Get the total number of examples encountered so far. 4Append to the list of accumulated failure messages. ..Get the list of accumulated failure messages. /$Append an empty line to the report. DCalling this multiple times has the same effect as calling it once. 0"Append some output to the report. 1 The same as 0 , but adds a newline character. 2KSet output color to red, run given action, and finally restore the default  color. 3ESet output to color green, run given action, and finally restore the  default color. 4FSet output color to yellow, run given action, and finally restore the  default color. 6Set a color, run an action, and finally reset colors. finally_ actionA actionB runs actionA and then actionB. actionB is  run even when a  occurs during actionA. 5;Get the used CPU time since the test run has been started. 6>Get the passed real time since the test run has been started. : !"#$%&'()*+,-./0123456% !"#$%&'()*+,-./0123456   !"#$%&'( )*+,-./0123456 experimentalNone;"Convert an exception to a string. <The type of the exception is included. Here is an example: import Control.Applicativeimport Control.Exception<either formatException show <$> (try . evaluate) (1 `div` 0)!"ArithException (divide by zero)"789:;# !"#$%&'()*+,-./0123456789:;#789: !"#(*+,-$%&'.)5601/342;789:;NoneGMA predicate that is used to filter the spec before it is run. Only examples % that satisfy the predicate are run. NKAdd a filter predicate to config. If there is already a filter predicate,  then combine them with . %<=>?@ABCDEFGHIJKLMN<=>?@ABCDEFGHIJKLMN<?>=@ ABCDEFGHIJKLMNNone provisionalNoneOSummary of a test run. !Filter specs by given predicate. The predicate takes a list of describe labels and a  requirement. <Evaluate all examples of a given spec and produce a report. S%Run given spec and write a report to .  Exit with " if at least one spec item fails.  (see also T) T$Run given spec with custom options.  This is similar to S, but more flexible. Note: T does not exit with  on failing spec items. ) If you need this, you have to check the O yourself and act  accordingly. OPQRST<=>?@ABCDEFGHIJKLMNOPQRSTSTOPQR@ABCDEFGHIJKL<?>=MNOPQRST experimentalNoneUVWXYZ UVWXYZ  VUYWZXUVWXYZstableNone[,Combine a list of specs into a larger spec. \ An alias for [. ]Create a spec item. A spec item consists of: - a textual description of a desired behavior  an example for that behavior  describe "absolute" $ do A it "returns a positive number when given a negative number" $  absolute (-1) == 1 ^%This is a type restricted version of  . It can be used to get better $ error messages on type mismatches.  Compare e.g.  + it "exposes some behavior" $ example $ do  putStrLn with ! it "exposes some behavior" $ do  putStrLn [\]^S[\]^ [\]^S[\]^None_`abcOPQRS[\]_`abc[\]SOPQR_`bac_`abc provisionalNoned  prop ".." $  .. is a shortcut for  it ".." $ property $  .. dddd              ! " # $ % & ' ( ) *+ , , - . / 0 1 2 3 4 5 6 6 7 8 9 : ; < = > ? @ A B C D E F GHIJKLMNOPQQRSTUVWXYZ[\]^__`abcd$ebfg'h(idjefgklmnopqopropsoptopuopvowxoyzoy{oy|oy} ~  o x #    o 9   ooco hspec-1.5.2Test.Hspec.QuickCheckTest.Hspec.RunnerTest.Hspec.Core Test.HspecTest.Hspec.HUnitTest.Hspec.FormattersTest.Hspec.MonadicTest.Hspec.CompatTest.Hspec.TimerTest.Hspec.UtilTest.Hspec.Core.TypeTest.Hspec.Formatters.InternalControl.Monad.Trans.StategetsmodifyTest.Hspec.ConfigTest.Hspec.FailureReportQuickCheck-2.6Test.QuickCheck.PropertypropertyPathExampleevaluateExampleSpecTreeSpecItem SpecGroupParamsparamsQuickCheckArgsparamsReportProgressProgressResultFailPendingSuccessSpecMSpecrunSpecM fromSpecListdescribeitpending pendingWith fromHUnitTest FormatterheaderFormatterexampleGroupStartedexampleGroupDoneexampleProgressexampleSucceeded exampleFailedexamplePendingfailedFormatterfooterFormatter FailureRecordfailureRecordPathfailureRecordMessageFormatMusedSeedgetSuccessCountgetPendingCount getFailCount getTotalCountgetFailMessages newParagraphwrite writeLine withFailColorwithSuccessColorwithPendingColor getCPUTime getRealTimesilentspecdocprogressfailed_examplesformatException ColorMode ColorAlway ColorNever ColorAutoConfig configVerbose configDryRunconfigPrintCpuTime configReRunconfigFastFailconfigFilterPredicateconfigQuickCheckArgsconfigColorModeconfigFormatterconfigHtmlOutput configHandle defaultConfigconfigAddFilterSummarysummaryExamplessummaryFailureshspec hspecWithSpecshspecXhspecBhHspeccontextexample descriptionspropshowType showFullTypeisUserInterruptbase Data.IORefatomicWriteIORefatomicModifyIORef'atomicModifyIORef modifyIORef' modifyIORef mkWeakIORef Text.Read readMaybe GHC.IORef writeIORef readIORefnewIORefIORefnewTimerquantifyfilterPredicateformatRequirementstdGenToIntegerrandom-1.0.1.1 System.RandomStdGen integer-gmpGHC.Integer.TypeIntegerGHC.IntInt32stdGenFromIntegersafeTrygetEnv lineBreaksAtstrip forceResult $fExampleGen$fExampleResult $fExampleIO $fExampleBool$fExceptionResult $fExampleTestliftIOtransformers-0.3.0.0Control.Monad.IO.Class totalCountincreaseSuccessCountincreasePendingCountincreaseFailCountaddFailMessage withColorfinally_GHC.IO.Exception UserInterruptFormatterState stateHandle stateUseColor produceHTMLlastIsEmptyLine successCount pendingCount failCount failMessages stateUsedSeed cpuStartTime startTime runFormatMsetLastIsEmptyLinehtmlSpan withColor_defaultFailedFormatter defaultFooterghc-prim GHC.Classes||Arg argumentNameargumentParserargumentSetterNoConfigInvalidArgumentHelp formatters formatHelp setMaxSuccess configSetSeedmkOption addLineBreaksoptionsundocumentedOptions getConfigSeedwriteFailureReportreadFailureReportsetSeed filterSpecs runFormatterGHC.IO.Handle.FDstdout System.Exit exitFailure handleReRun ensureStdGen$fMonoidSummaryGHC.Baseidhspec-expectations-0.3.2Test.Hspec.ExpectationsanyArithExceptionanyIOException errorCall anyErrorCall anyException shouldThrow shouldReturn shouldSatisfyshouldBeexpectationFailure ExpectationSelector