śĪMžGƒ      !"#$%&'()*+,-./0123456789:;<=>? @ 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 [ \ ] ^ _ ` 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 { | } ~  €  ‚ None#!"%&*+,/02569:;<=?DILOQRTLOperator 'Data.Equality.(==)' expects both arguments to have the same kind.None#!"%&*+,/02569:;<=?DILOQRT:Execute an action and map a pure function over the result.9Convert data types to Partially applicable type functionsList constructionTuple construction`Execute an action that returns a function than map function over the result of the next action.EExecute one action and then the next, ignore the result of the first.Bind to actions.    0None#!"%&*+,/02569:;<=?DILOQRTNone#!"%&*+,/02569:;<=?DILOQRTA nice name than ƒ"ĄWhen a type level expectation is tested, it might be that compound expectations fail. In order to have a small, precise error message, the type level assertion results are made to have kind ". !" !""!  !"None#!"%&*+,/02569:;<=?DILOQRT#$A class for pretty printing via the „ instance of &.%IAn open family of type level expectation evaluators, that return either () or an  ErrorMessage.&A type specification.'lExpect the given expectations to hold. If the compiler does not reject it - the expectation seem plausible.(}Expect the given expectations to **NOT** hold. If the compiler does not reject it - the expectation seem indeed implausible.)"The default indention to use when …ing †uments.*!Nest using the default indention ).+Print a sentence with the second part ‡ing from the first. Generate: predicate: object #$%&'()*+,-./ !"#$%&'()*+ &'(%#$)*+ #$%&'()*+,-./None#!"%&*+,/02569:;<=?DILOQRT0A consR like operator. Make a list of expectations. Use this to chain together anything belowg or inside '(-/-)' and '(~~~)' parts. The precedence of this operator is higher that that of '(-/-)'.1A cons° like operator. Make a list of expectations. Use this to chain together any expectations especially those using '(~~~)' or '(-*)', since it has a lower precedence than both.01201100120311None#!"%&*+,/02569:;<=?DILOQRT3bAdd a type level string as label or longer descripton around expectations. This is analog to the it function in the hspec package.343334None#!"%&*+,/02569:;<=?DILOQRT5>State that two types or type constructs are NOT the same type.6IState that two types or type constructs are boiled down to the same type.7_State that one type is different to two other types. This must always be used right next to a 6$ pair, otherwise this will not work.8-State that a type is equal to the type level False.9-State that a type is equal to the type level True.ˆ-Pretty print a test prefix by a bullet-point. 56789ˆ:;<=>5678965987 56789ˆ:;<=> None#!"%&*+,/02569:;<=?DILOQRTOAnother alias for & (and also 3)P An alias for &.?@ABCDEFGHIJKLMNOP) !"#$%&'()*+01356789?@ABCDEFGHIJKLMNOPPO?MNLKJIHGFDECBA@?@ABCDEFGHIJKLMNOP None#!"%&*+,/02569:;<=?DILOQRTj7Specify an expectation using an underlined title using 3.‚ Create a &^ with an initial description or title followed by some expectations. Note that the number of #s is alway a multiple of 3.2QRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚[ !"#$%&'()*+01356789?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚2‚€~}|{zyxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQ2QRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚2Q2R2S2T2U2V2W2X2Y2Z2[2\2]2^2_2`2a2b2c2d2e2f2g2h2i2j2k0l0m0n0o0p0q0r0s0t0u0v0w0x0y0z0{0|0}0~00€00‚0‰    !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHI J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` 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 { | } ~  €  ‚ ƒ „ … † ‡ ˆ ‰ Š ‹ Œ ŽŽ‘’“”•“”–“”—˜™(type-spec-0.1.0.0-7riNEUXxMsQCu7W7Ok9yAdTest.TypeSpec.Internal.EqualityTest.TypeSpec.Internal.ApplyTest.TypeSpec.Internal.EitherTest.TypeSpec.Internal.ResultTest.TypeSpec.CoreTest.TypeSpec.GroupTest.TypeSpec.LabelTest.TypeSpec.ShouldBe Test.TypeSpecTest.TypeSpecCrazy PolyKindEqApply~> TyFunDataTyFunConst''Const'ConstCompose_ComposeCompose' Compose''Flip__Flip_FlipFlip'<$><$>$<$>$$TyCon2TyCon1Cons'Cons''Pair'Pair''<*>>>>>=FromLeftPrependToErrorFAILEDOKDontTryTryResultPrettyTypeSpecprettyTypeSpecEvalExpectationTypeSpecValidInvalidprettyIndentationnest'sentence$fPrettyTypeSpec[]:$fPrettyTypeSpec[][]$fPrettyTypeSpec(,)(,)$fShowTypeSpec-*-/-$fPrettyTypeSpecTYPE-/-It$fPrettyTypeSpecTYPEIt ShouldNotBeShouldBeButNot ShouldBeFalse ShouldBeTrue$fPrettyTypeSpecTYPEButNot$fPrettyTypeSpecTYPEShouldNotBe$fPrettyTypeSpecTYPEShouldBe!$fPrettyTypeSpecTYPEShouldBeFalse $fPrettyTypeSpecTYPEShouldBeTrueIt'sContextDescribeTheyIsFalse ThereforeAndIsTrueTheseAreNotEqualIsDifferentFromIsNotTheSameAsIsn'tIsNot TheseAreEqual IsTheSameAsIsExplainExpect-*-H~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~E~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~B~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~?~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~<~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~9~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~6~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~3~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~0~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~-~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~*~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~'~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~$~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~!~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~~~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~--*H########################################################################E#####################################################################B##################################################################?###############################################################<############################################################9#########################################################6######################################################3###################################################0################################################-#############################################*##########################################'#######################################$####################################!######################################################################################################################################################################## ############ ##################base Data.EitherLeftGHC.ShowShowpretty-1.1.3.3Text.PrettyPrint.HughesPJnestDochangprettyBulletPoint