úÎ03,Ñ<      !"#$%&'()*+,-./0123456789:; Safe-Infered An existentially quantified Example:. This way they can be mixed within the same set of Specs ;Everything needed to specify and show a specific behavior. An example of this behavior. >What is being tested, usually the name of a type or use case. >What is being tested, usually the name of a type or use case. 5A description of the specific behavior being tested. 5A description of the specific behavior being tested. ,The status of the example of this behavior. The level of nestedness. The level of nestedness. "The result of running an example.  Combine a list of descriptions. DCreate a set of specifications for a specific type being described. 2 Once you know what you want specs for, use this.  describe "abs" [ : it "returns a positive number given a negative number"  (abs (-1) == 1)  ] MDeclare an example as not successful or failing but pending some other work. , If you want to report on a behavior but don'!t have an example yet, use this.  describe "fancyFormatter" [ 5 it "can format text in a way that everyone likes" > (pending "waiting for clarification from the designers")  ] #;Create a more readable display of a quantity of something. ' 1An explanation for why this behavior is pending.  !"#<=>$  !"#'  !"#    !"#<=> Safe-Infered?@?@ Safe-Infered$%&'($%&'(($%&'$%&'( Safe-Infered*Use in place of hspec" to also exit the program with an ExitCode +%Use in place of hspec to also give a Bool success indication ,=Create a document of the given specs and write it to stdout. -GCreate a document of the given specs and write it to the given handle. R writeReport filename specs = withFile filename WriteMode (\ h -> hHspec h specs) .GCreate a document of the given specs and write it to the given handle.  THIS IS LIKELY TO CHANGE )*+,-./ )*+,-./ ),*+-./)*+,-./None1=Create a document of the given specs and write it to stdout. 2Use in place of hspec" to also exit the program with an ExitCode 3%Use in place of hspec to also give a Bool success indication 4GCreate a document of the given specs and write it to the given handle. R writeReport filename specs = withFile filename WriteMode (\ h -> hHspec h specs) 7ACombine a list of descriptions. (Note that descriptions can also ' be combined with monadic sequencing.) 9Converts a specs created with  into a monadic 6. 0123456789 0123456789 0681327495 0123456789 Safe-Infered;*Monadic DSL shortcut, use this instead of it :;A:;:;:;A Safe-Infered )*+,- ),+*-B        !"#$%&'()*+,-./01234.1/025 "6789:;<=>? hspec-0.9.2.2Test.Hspec.CoreTest.Hspec.FormattersTest.Hspec.RunnerTest.Hspec.MonadicTest.Hspec.QuickCheckTest.Hspec.HUnitdescribe Test.Hspec AnyExampleExampleevaluateExample Formatter formatterNameexampleGroupStarted examplePassed exampleFailedexamplePendingerrorsFormatterfooterFormatterusesFormattingSpecUnevaluatedSpecexamplename requirementresultdepthResultFailPendingSuccess descriptions evaluateSpecitpending failedCountfailuresuccess isFailurequantifysilentspecdocprogressfailed_examples restoreFormatSpecshspecXhspecBhspechHspechHspecWithFormat toExitCoderunSpecM fromSpecListpropertyprop$fExampleAnyExample$fExampleResult $fExampleBool $fExampleTest $fExampleIO$fExampleQuickCheckProperty