h&;8      !"#$%&'()*+,-./01234567 Safe-Inferred89:;<=>? Safe-InferredE@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~)./01)./01 Safe-Inferred:2 Safe-Inferredstable Safe-Inferred4hspecexample! is a type restricted version of . It can be used to get better error messages on type mismatches. Compare e.g. 4it "exposes some behavior" $ example $ do putStrLnwith *it "exposes some behavior" $ do putStrLn?  !"#$%&'()*,+-4*)*+,4( -'&%$#"!  Safe-Inferred/'5hspec prop ".." $ ..is a shortcut for  ".." $  $ .. 6hspec xprop ".." $ ..is a shortcut for  ".." $  $ .. 7hspec fprop ".." $ ..is a shortcut for   ".." $  $ .. 567567       !"!#!$!%!&!'!(!)!*!+!,!-!.!/!0!1!2!3454647898:8;<=>?@ABCDEFGHIJKLMNOPQRSNTUNTVNWXNYZNY[NO\NO]NO^N_`N_aNbcNbdNbeNbfNbgNbhNbiNbjNbkNblNbmNbnQopQoqQorNstNsuNsvNswNsxNsyNszNs{Ns|Ns}Ns~NsNsNsNsNsNsNsNsN_N_N_N_N_N_N_N_N_N_N_N_NONONONONONONONNNNNNNNQoQoQoQoQoQoQoQoNNNN_N_NsNsNsNsNsNsNsNsNsNsNsNsNsNsNsN_N_N_N_N_N_NNNNNNNONONONONONNNNNNNNNNNNNNNNNNNONONONONONOQQQNOQQQQNNNQQQQN_QQNNNNNWNWNWNWNWNWNWNWNWNWNWNWNNNNNNNNNNNNNNNNNNNNNNNN_N_N_N_N_N_NNNNNTNTNTNTNTNTNTNTNTNTNTNTNTNTNTNTNTNTNTNTNTNTNTNTNTNTNTNNNYNYNNONONONONONONONONNNQoQoQo88888N#hspec-2.10.8-94KM5YYKaX9B3fcs3o8H02Test.Hspec.DiscoverTest.Hspec.QuickCheck Test.Hspec Paths_hspecTest.Hspec.FormattersTest.Hspec.Runner(hspec-core-2.10.8-1rY2ldfXJe45sNWBbtkNOCTest.Hspec.Core.RunnerhspecTest.Hspec.Core.QuickCheck modifyArgsmodifyMaxShrinks modifyMaxSizemodifyMaxDiscardRatiomodifyMaxSuccessTest.Hspec.Core.Spec pendingWithpendingparallelfcontext fdescribefspecifyfitfocusxspecifyxitspecifyitxcontext xdescribecontextdescribeTest.Hspec.Core.Hooks ignoreSubject mapSubject aroundAllWith aroundAll_ aroundAll aroundWitharound_ afterAll_afterAllaroundafter_after beforeAllWith beforeAll_ beforeAll beforeWithbefore_beforeTest.Hspec.Core.Spec.MonadrunIOSpecSpecWithTest.Hspec.Core.ExampleArgExample ActionWith IsFormatter toFormatterhspecWithFormatterpostProcessSpec$fIsFormatterFormatter$fIsFormatterIOexamplepropxpropfpropversiongetDataFileName getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirbaseGHC.Base++ghc-primGHC.PrimseqGHC.Listfilterzip System.IOprint Data.Tuplefstsnd otherwisemap$GHC.Real fromIntegral realToFracGHC.EnumBoundedminBoundmaxBoundEnumsuccpredtoEnumfromEnumenumFrom enumFromThen enumFromToenumFromThenTo GHC.ClassesEq==/= GHC.FloatFloatingtanhtansqrtsinhsinpilogBaselogexpcoshcosatanhatanasinhasinacosh**acos Fractionalrecip fromRational/IntegralremquotRemquotmoddivMod toIntegerdivMonad>>=return>>Functorfmap<$GHC.NumNumsignumabs*+negate fromInteger-Ord<<=>maxmin>=compareGHC.ReadRead readsPrecreadListReal toRational RealFloat significand scaleFloatisNegativeZeroisNaN isInfiniteisIEEEisDenormalized floatRange floatRadix floatDigitsexponent encodeFloatatan2 decodeFloatRealFractruncateroundproperFractionceilingfloorGHC.ShowShowshowListshow showsPrecControl.Monad.Fail MonadFailfail Applicative<*pure*><*> Data.FoldableFoldablefoldMapsumproductnullminimummaximumfoldr1foldl1elemfoldlfoldrlengthData.Traversable TraversabletraversesequencemapM sequenceA Semigroup<>Monoidmemptymconcatmappend GHC.TypesBoolTrueFalseStringCharDoubleFloatInt ghc-bignumGHC.Num.IntegerInteger GHC.MaybeMaybeNothingJustOrderingGTLTEQRationalIOWord Data.EitherEitherRightLeftShowS writeFilereadLnreadIOreadFileputStrLnputStrputCharinteractgetLine getContentsgetChar appendFileGHC.IO.ExceptionioErrorGHC.IOFilePathIOError userError sequence_ornotElemmapM_ concatMapconcatanyandall Data.OldListwordsunwordsunlineslines Text.Readreadsreadeither readParenlexText.ParserCombinators.ReadPReadSoddlcmgcdeven^^^shows showString showParenshowCharzipWith3zipWithzip3unzip3unzip takeWhiletaketailsplitAtspanscanr1scanrscanl1scanlreverse replicaterepeatlookuplastiterateinithead dropWhiledropcyclebreak!! Data.Maybemaybe Data.Functor<$>uncurrycurrysubtractuntilidflipconstasTypeOf=<<.$!GHC.Err undefinederrorWithoutStackTraceerror&&not||Test.Hspec.Core.Formatters.V1failed_examplesprogressspecdoccheckssilentformatterToFormat#Test.Hspec.Core.Formatters.V1.Monad missingChunk extraChunkuseDiff withInfoColorwithPendingColorwithSuccessColor withFailColorwriteTransient writeLinewrite getRealTime getCPUTimeusedSeedgetFailMessages getTotalCount getFailCountgetPendingCountgetSuccessCount FormatterfooterFormatterfailedFormatterexamplePending exampleFailedexampleSucceededexampleProgressexampleStartedexampleGroupDoneexampleGroupStartedheaderFormatter FailureRecordfailureRecordMessagefailureRecordPathfailureRecordLocationFormatM FailureReasonNoReasonExpectedButGotErrorReasonTest.Hspec.Core.UtilformatExceptionTest.Hspec.Core.ClockSeconds toSummary runSpecForestrunSpechspecWithResult hspecResultevaluateResultevaluateSummary isSuccess hspecWithevalSpecregisterDefaultFormatterregisterFormatterSummarysummaryFailuressummaryExamplesTest.Hspec.Core.Config readConfigconfigAddFilter!Test.Hspec.Core.Config.Definition defaultConfig ColorMode ColorAlways ColorAuto ColorNever UnicodeMode UnicodeAlways UnicodeAuto UnicodeNeverConfigconfigConcurrentJobsconfigHtmlOutputconfigFormatter configFormatconfigAvailableFormatters configTimesconfigPrettyPrintFunctionconfigPrettyPrintconfigExternalDiff configDiffconfigUnicodeModeconfigColorModeconfigSmallCheckDepthconfigQuickCheckMaxShrinksconfigQuickCheckMaxSizeconfigQuickCheckMaxDiscardRatioconfigQuickCheckMaxSuccessconfigQuickCheckSeedconfigSkipPredicateconfigFilterPredicateconfigRerunAllOnSuccess configRerunconfigFailureReportconfigRandomizeconfigFailFastconfigPrintCpuTimeconfigPrintSlowItemsconfigFailOnPendingconfigFailOnFocusedconfigFailOnEmptyconfigFocusedOnly configDryRunconfigIgnoreConfigFileconfigDiffContextTest.Hspec.Core.Runner.ResultresultItemIsFailure SpecResultspecResultItemsspecResultSuccess ResultItemresultItemPathresultItemStatusResultItemStatusResultItemFailureResultItemSuccessResultItemPendingPathGHC.Stack.Types HasCallStack.hspec-expectations-0.8.2-Bcg5ePnwzlowjIZUPXZS8Test.Hspec.ExpectationsanyArithExceptionanyIOException errorCall anyErrorCall anyException shouldThrowshouldNotReturnshouldNotContainshouldNotSatisfy shouldNotBe shouldReturnshouldMatchList shouldContain shouldEndWithshouldStartWith shouldSatisfyshouldBeexpectationFailure ExpectationSelector(QuickCheck-2.14.2-9EAFA6afNUqGbN355JryFuTest.QuickCheck.Propertyproperty