ӥ_      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                        ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ 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 { | } ~                                                                                                                                                                   ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ 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 { | } ~                                                                                         !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                        ! " # $ % & ' ( ) * + , - . / 0!1!2!3!4!5!6!7!8!9!:!;!<!=!>!?!@!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! !"%&'()*34579:>?CEFIJKLNU[y  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwx9  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~yTPQRSOLMNKJIHGFEBCD@A?<=>9:;678345012UVWXYZ-./+,)*&'($%"# ![\]^_`abcdefghijklmnopqrstu  vwxxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLyz{KJ|}~IHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!      N    !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwx'!#%(*,9EUVWX^ _`a bcfjk s tuwx~ None! !"%&'()*34579:>?CEFIJKLNU[yz{|}~yz{|}~}~{|yzyz{|}~| ~None! !"%&'()*34579:>?CEFIJKLNU[     +          None! !"%&'()*34579:>?CEFIJKLNU[  !"#$%&'()*+,-./01234567 !"#$%&'()*+,-./01 0/+,-.)*%&'(#$1 !"765432 !"#$%&'()*+,-./01234567/0None! !"%&'()*34579:>?CEFIJKLNU[!89:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWX89:;<=>?@ABCDEFGHIJKLMNOPQRS!@AB<=>?:;89CDXWVEFGUTHIJKLMNOPQRS89:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXNone! !"%&'()*34579:>?CEFIJKLNU[YZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~YZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~}~z{|wxytuvqrsnopklmhijefgbcd_`a\]^YZ[eYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None! !"%&'()*34579:>?CEFIJKLNU[   None! !"%&'()*34579:>?CEFIJKLNU[         None! !"%&'()*34579:>?CEFIJKLNU[  !"#$%& &%$ #"!   !"#$%& None! !"%&'()*34579:>?CEFIJKLNU["'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHs'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~">?<=:;89567@HGFEDCBA@?>4ABC=<;:98765433DE210/.-,+*)2FGHI('&%$#"! 1JKLM0NOPQ     RSTUVWXYZ/[\].^_`ab+,-cdefghijklmnopqrstuvwxyz{|}~()*''()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGH None! !"%&'()*34579:>?CEFIJKLNU[lIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~fIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~lmnopqrstuvklwxyz{|}~hijefgbcd_`a\]^XYZ[UVWQRSTNOPKLMIJTIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~j None! !"%&'()*34579:>?CEFIJKLNU[ None! !"%&'()*34579:>?CEFIJKLNU[%None! !"%&'()*34579:>?CEFIJKLNU[H  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~yz{|}~ !"#$%&'()*+,-./0189:;<=>?@ABCDEFGHIJKLMNOPQRSYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ '()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~IJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None! !"%&'()*34579:>?CEFIJKLNU[None! !"%&'()*34579:>?CEFIJKLNU[      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~     =<;:9876543210/>,-.'()*+? !"#$%&LKJIHMEFGNOBCDP@AQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~v       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None! !"%&'()*34579:>?CEFIJKLNU[None! !"%&'()*34579:>?CEFIJKLNU[    None! !"%&'()*34579:>?CEFIJKLNU[None! !"%&'()*34579:>?CEFIJKLNU[None! !"%&'()*34579:>?CEFIJKLNU[&None! !"%&'()*34579:>?CEFIJKLNU[      !"#$%&'()*+,-./0123456789:;<=>@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None! !"%&'()*34579:>?CEFIJKLNU[i      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGS     !"#%&'()*,-./01234789:;<=>?@ABCi     $ !"#&%+*'()32654,-./01>=<;GF?@A789:EDBCG      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGNone! !"%&'()*34579:>?CEFIJKLNU[HIJKLMNOPQRSTUVWXYZ[\]^_`abcdeHIJKLMNOPQRSTUVXYZ[\]^abcdHIJKLMQPONWVRSTUYX`_Z[\]^cbaedHIJKLMNOPQRSTUVWXYZ[\]^_`abcdeNone! !"%&'()*34579:>?CEFIJKLNU[8fghijklmnopqrstuvwxyz{|}~6fghijklmnopqrstuvwxyz{|}~8jklmnopqrstuvwxyz{|}~fghi3fghijklmnopqrstuvwxyz{|}~None! !"%&'()*34579:>?CEFIJKLNU[.*.None! !"%&'()*34579:>?CEFIJKLNU[    'None! !"%&'()*34579:>?CEFIJKLNU[     !"#%&'()*,-./01234789:;<=>?@ABCHIJKLMNOPQRSTUVXYZ[\]^abcdfghijklmnopqrstuvwxyz{|}~(None! !"%&'()*34579:>?CEFIJKLNU[  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~yz{|}~ !"#$%&'()*+,-./0189:;<=>?@ABCDEFGHIJKLMNOPQRSYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ '()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~IJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~     !"#%&'()*,-./01234789:;<=>?@ABCHIJKLMNOPQRSTUVXYZ[\]^abcdfghijklmnopqrstuvwxyz{|}~None! !"%&'()*34579:>?CEFIJKLNU[_      !"#$%&'()*+,-./012345/  !"#$%_     543210/. !"-,+*#$)('&%P      !"#$%&'()*+,-./012345)None! !"%&'()*34579:>?CEFIJKLNU[/  !"#$%None! !"%&'()*34579:>?CEFIJKLNU[6789:;<=>?@ABCDEFGHIJKLMNOP6789:;<=>?@DEFGHIKL6789<;:C@BA=>?JDEFGHIPOKLNM6789:;<=>?@ABCDEFGHIJKLMNOPNone! !"%&'()*34579:>?CEFIJKLNU[>QRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~=QRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~>QRSTUVWba`_^]XYZ[\ihgfcderqjklmnop|{zyxwstuv}~)QRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None! !"%&'()*34579:>?CEFIJKLNU[)")None! !"%&'()*34579:>?CEFIJKLNU[ None! !"%&'()*34579:>?CEFIJKLNU[B 8B  None! !"%&'()*34579:>?CEFIJKLNU[&     !"#$%&'()*+,-./!     !"#$%&'()*+,&    '&%$#"! /*.-()+,      !"#$%&'()*+,-./!None! !"%&'()*34579:>?CEFIJKLNU['0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUV%0123456789:;<=>?BCDEFGHIJKLMNOPQRSTUV'0123456;:987A@<=>?GFEDHIJKLMNOPQRSTCBUV0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUV"None! !"%&'()*34579:>?CEFIJKLNU[UWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~@WXYZ[\]^_`abcdefghijklmrstuwxyz{|}~Uefghbcdijq_`ak\]^lmponWXYZ[vrstu|}~yz{wx9WXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~#None! !"%&'()*34579:>?CEFIJKLNU[$None! !"%&'()*34579:>?CEFIJKLNU[*None! !"%&'()*34579:>?CEFIJKLNU[J6789:;<=>?@DEFGHIKLQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~     !"#$%&'()*+,0123456789:;<=>?BCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmrstuwxyz{|}~+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijkkllmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`aabcddefghijklmnopqrstuvwxyz{||}~      !"# $ % & ' ( ) * + , - . / 0 1 2 3 3 4 5 6 7 8 9 : ; < = > > ? @ A B C D E F G H I J 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 { | } ~                                                                                                                                                                   ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ 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 b c d e e f g g h i j k l m m n o o p q q r s t u v v w x y z { | } ~                                                                                                   !"#$%&''()*+,-./0123456789:;<=>?@ABCDEFGHHIJJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~       !"#$#%&''()*+,-./01123456789:;<=>?@AABCDEFGHIJJKLMNOPQQRSTUVWXYZ[\\]^__`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\\]^_`abcdefghijklmnopqrstuvwwxyz{||}~                                       ! ! ! !!!!!!!!!!!!!!!!!!!! !!!"!#!$!%!&!'!(!)!*!+!,!-!.!/!0"1"1"2"3"4"5"5"6"7"7"8"9"9":";";"<"=">"?"@"A"B"C"D"E"F"G"G"H"I"J"K"K"L"L"M"N"N"O"P"P"Q"R"R"S"T"T"U"V"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${$|$}$~$$$$maam_DE0Ks0xGpvU6aTRZN5Oy68FP.Prelude.CoreFP.Prelude.DSLFP.Prelude.LatticeFP.Prelude.MorphismFP.Prelude.LensFP.Prelude.EffectsFP.Prelude.VectorFP.Prelude.CompatFP.Prelude.ConstraintsFP.Prelude.MonadsFP.Prelude.LibFP.Prelude.TemplateHaskellFP.Prelude.LensDerivingFP.Pretty.ColorFP.Pretty.PrettyFP.Pretty.ConsoleFP.Pretty.HTMLFP.Pretty.DerivingFP.Pretty.InstancesFP.Pretty.ExamplesFP.Parser.CommonFP.Parser.EffectsFP.Parser.ParserFP.Parser.MixfixFP.Parser.GreedyParserMAAM.GaloisTransformerLang.LamIf.SyntaxLang.LamIf.ParserLang.LamIf.StampLang.LamIf.TimeLang.LamIf.ValuesLang.LamIf.DomainsLang.LamIf.SemanticsLang.LamIf.MonadsLang.LamIf.ExecutionLang.LamIf.Examples FP.Prelude FP.Pretty FP.ParserFPMAAM Lang.LamIfMonadIOioNewOldLookuplookupToString𝕤ToDouble𝕕ToInt𝕚 ToNatural𝕟 ToInteger𝕫 SingletonsingleToStreamstreamToFoldfoldFunctorMmapMMonadreturn≫=FunctormapMonoidnull⧺ Exponential^TruncateDivisible⌿ Divisible/Multiplicativeone× Subtractive-Additive+Peanosuczero𝒫ᵇLazySet runLazySet ⇰♭⊔ LazyDictJoinrunLazyDictJoin ⇰♭⧺LazyDictAppendrunLazyDictAppend⇰ EmptyDict InhabitedDict𝒫EmptySet InhabitedSet𝒮StreamFoldrunFold⨄𝔹𝕊ᵇ𝕊ℂ𝔻𝕀ℕᵀ NInfinityNFiniteℕℤᵀ ZNegInfinity ZPosInfinityZFiniteℤ≟⋚≤≥minBymaxBynegateinversemapOn^⋅^$^∘*⋅*$*∘kreturnextend≫voidmjoinmmap<×><⋅>whenwhenM whenMaybe whenMaybeM returnMaybemapMOnsequence^*⋅^*$^*∘𝕟ᵀ##!chars𝕤show𝕤read𝕤ᵇnot∧∨fifelimSummapSummapLeftmapRightswapSumfstsndswapmapPairmapFstmapSndid♯$♯⋅∘∘∘constflipcurryuncurryrotateRrotateLmirroron elimMaybe elimMaybeOn ifNothing emptyFold singleFoldconsFoldfoldlkfoldlkOnfoldlfoldlOniteriterOnfoldrfoldrOnsumproductconcatmfoldlmitermfoldrforeach foreachOnexeclistsetlazySetdict dictAppendlazyDictAppend emptyStream singleStream unconsStreamisEmpty singleListconsunconszipzipAssumeSameLengthunzip partitionreverseelimPrimConcreteSet elimPrimOnSet elimPrim22Set elimPrim21Set toPrimSetlearnSet learn22SetemptySet singleSetinsertunionSetintersectionSet differenceSet isSubsetOf∈elemelemOf removeMin removeMaxmapSetmapSetOn extendSet≫=* elimPrimDictelimPrimOnDictelimPrim22DictelimPrim21Dict toPrimDict learnDict emptyDictkeysvaluesinsertWithDict insertDict↦ removeMinDict removeMaxDict unionWithDictunionWithDictOn isSubdictOfByintersectionWithDictdifferenceWithDict modifyDict modifyDictOnonlyKeys filterDict concretizeSetconcretizeDictAppendmapKeyLazyDictAppenderror undefinedprintprintLnfailIOabortIOreadFile readInput writeFiletracetraceM ioFailure ifThenElse fromInteger fromStringfail>>=>> $fMonadIO $fFunctorIO $fMonadIOIO$fMonoid⇰♭⧺$fSingleton(,)⇰♭⧺$fToFold(,)⇰♭⧺$fShow⇰♭⧺$fOrd⇰♭⧺ $fEq⇰♭⧺$fFunctor𝒫ᵇ$fSingletona𝒫ᵇ$fToFolda𝒫ᵇ $fShow𝒫ᵇ $fOrd𝒫ᵇ $fEq𝒫ᵇ $fLookupkv⇰$fSingleton(,)⇰$fToStream(,)⇰$fToFold(,)⇰ $fFunctor⇰ $fMonoid⇰ $fShow⇰$fOrd⇰$fEq⇰$fSingletona𝒫$fToStreama𝒫 $fToFolda𝒫 $fMonoid𝒫 $fShow𝒫 $fOrd𝒫$fEq𝒫$fSingletona[] $fToStreama[] $fToFolda[] $fFunctorM[] $fMonad[] $fFunctor[] $fMonoid[]$fSingletonaStream$fToStreamaStream$fToFoldaStream$fFunctorMStream $fMonadStream$fFunctorStream$fMonoidStream $fShowStream $fOrdStream $fEqStream$fSingletonaFold $fToFoldaFold $fMonadFold $fFunctorFold $fMonoidFold $fShowFold $fOrdFold$fEqFold$fFunctorMMaybe $fMonadMaybe$fFunctorMaybe $fMonad(->) $fFunctor(->) $fMonoid(->) $fFunctorM(,) $fMonad(,) $fFunctor(,) $fMonoid(,)$fFunctorMEither $fMonadEither$fFunctorEither$fMonoidBuilder$fToStringBuilder$fToStringText$fSingletonCharText$fToStreamCharText$fToFoldCharText $fMonoidText$fToStringStream$fToStringFold $fToString[]$fToStringChar$fToDoubleDouble$fDivisibleDouble$fMultiplicativeDouble$fSubtractiveDouble$fAdditiveDouble $fPeanoDouble $fToDoubleInt $fToIntInt$fToNaturalInt$fToIntegerInt$fTruncateDivisibleInt$fMultiplicativeInt$fSubtractiveInt $fAdditiveInt $fPeanoInt$fToDoubleℕᵀ$fAdditiveℕᵀ $fPeanoℕᵀ$fToDoubleNatural$fToIntNatural$fToNaturalNatural$fToIntegerNatural$fTruncateDivisibleNatural$fMultiplicativeNatural$fSubtractiveNatural$fAdditiveNatural$fPeanoNatural$fToDoubleInteger$fToIntInteger$fToNaturalInteger$fToIntegerInteger$fTruncateDivisibleInteger$fMultiplicativeInteger$fSubtractiveInteger$fAdditiveInteger$fPeanoIntegerTuptupApply◇⋅Arrow◇⇨◇$◇⋅|AddTopTopAddBotBot DualLatticeLattice MeetLattice JoinLattice Difference⊟DualdualMeet⊓topJoin⊔botPOrd⊑⊒PartialOrderingPLTPEQPGTPUN fromOrdering⊑⊒><poCompareFromLte discretePOdictJoin mapKeyJoinconcretizeDictJoin lazyDictJoinmapKeyLazyDictJoinjoinsmeets elimAddBot$fLatticeAddTop$fMeetLatticeAddTop$fJoinLatticeAddTop $fMeetAddTop $fTopAddTop $fJoinAddTop $fBotAddTop$fFunctorAddTop$fLatticeAddBot$fMeetLatticeAddBot$fJoinLatticeAddBot $fMeetAddBot $fTopAddBot $fJoinAddBot $fBotAddBot$fFunctorAddBot$fDifference⇰♭⊔$fJoinLattice⇰♭⊔$fJoin⇰♭⊔$fBot⇰♭⊔$fPOrd⇰♭⊔$fSingleton(,)⇰♭⊔$fToFold(,)⇰♭⊔$fShow⇰♭⊔$fOrd⇰♭⊔ $fEq⇰♭⊔$fMonad𝒫ᵇ$fDifference𝒫ᵇ$fJoinLattice𝒫ᵇ $fJoin𝒫ᵇ $fBot𝒫ᵇ $fPOrd𝒫ᵇ$fDifference⇰$fJoinLattice⇰ $fMeet⇰ $fJoin⇰$fBot⇰ $fPOrd⇰$fJoinLattice𝒫$fDifference𝒫 $fMeet𝒫 $fJoin𝒫 $fBot𝒫 $fPOrd𝒫$fDualLattice(->) $fLattice(->)$fMeetLattice(->)$fJoinLattice(->)$fDifference(->) $fDual(->) $fMeet(->) $fTop(->) $fJoin(->) $fBot(->) $fPOrdMaybe$fDualLattice(,) $fLattice(,)$fMeetLattice(,)$fJoinLattice(,)$fDifference(,) $fDual(,) $fMeet(,)$fTop(,) $fJoin(,)$fBot(,) $fPOrd(,)$fDualLatticeBool $fLatticeBool$fMeetLatticeBool$fJoinLatticeBool $fDualBool $fMeetBool $fTopBool $fJoinBool $fBotBool $fPOrdBool$fLatticeDouble$fMeetLatticeDouble$fJoinLatticeDouble $fMeetDouble $fTopDouble $fJoinDouble $fBotDouble $fPOrdDouble $fLatticeInt$fMeetLatticeInt$fJoinLatticeInt $fMeetInt$fTopInt $fJoinInt$fBotInt $fPOrdInt$fLatticeℕᵀ$fMeetLatticeℕᵀ $fMeetℕᵀ $fTopℕᵀ$fJoinLatticeℕᵀ $fJoinℕᵀ $fBotℕᵀ $fPOrdℕᵀ$fJoinLatticeNatural $fMeetNatural $fJoinNatural $fBotNatural $fPOrdNatural $fMeetInteger $fJoinInteger $fPOrdInteger SymmetricsymCategoryrefl⌾ Isomorphic3 isomorphic3⇝⇄Iso3isoTo3isoFrom3 Isomorphic2 isomorphic2↝⇄Iso2isoTo2isoFrom2 Isomorphic isomorphic⇄IsoisoToisoFrom⇝↝ iso2FromIso$fSymmetric(->)↝⇄$fCategory(->)↝⇄$fSymmetric*⇄$fCategory*⇄$fCategory*(->)$fIsomorphicText[]AlterMalterMAlteralterPrism constructviewLensrunLensupdateupdateMlensisoLensaccessprismisoPrism unsafeViewshapefiniteLleftLrightRfstLsndLnothingLjustLsingleL $fAlterPrism$fCategory*Prism $fAlterMLens $fAlterLens$fCategory*LensContFun runContFunMonadOpaqueCont opaqueContE opaqueContI OpaqueContTrunOpaqueContT MonadContcontEcontIContTrunContT MonadFlowJoin flowJoinE flowJoinI FlowJoinT runFlowJoinTMonadFlowAppend flowAppendE flowAppendI FlowAppendTrunFlowAppendTMonadNondetJoin nondetJoinE nondetJoinI NondetJoinTrunNondetJoinTMonadNondetAppend nondetAppendE nondetAppendI NondetAppendTrunNondetAppendT MonadStatestateEstateIStateT runStateT MonadWriterwriterEwriterIWriterT runWriterT MonadReaderreaderEreaderIReaderT runReaderT MonadErrorerrorEerrorIErrorT runErrorT MonadFailurefailureEfailureIFailureT runFailureTMonadRWSMonadJoinLattice MonadMeet<⊓>MonadTopmtop MonadJoin<⊔>MonadBotmbot MonadMonoidmnull<⧺> mnullMaybe mbotMaybemconcatmlistmsummseteffMaybeabort abortMaybeobsMaybe<|>triesmapErroreffErrorthrowthrowSum throwMaybeobsErrorcatchrunReaderTWith effReaderaskaskL obsReaderlocallocalOn execWriterT mapOutput effWritertell obsWriterhijack runStateTWithevalStateTWithexecStateTWith stateLenseffStategetgetLputputLmodifyMmodifyLMmodifymodifyL getAndPut getAndPutLnextnextLbumpbumpLobsStatelocalize evalContTeffContcallCCobsContwithCresetmodifyCrunOpaqueContTWithevalOpaqueContT runMetaContTrunMetaContTWith metaContTmetaopaque effOpaqueCont callCCOpaque obsOpaqueCont withCOpaque𝕄ᵘUMatrixumatrixRowSize umatrixData𝕄Matrix matrixRowSize matrixData𝕍ᵘ𝕍vecuvecmatrixumatrix$fLookup(,)a𝕄ᵘ$fLookup(,)a𝕄$fLookupNaturalaVector$fToFoldaVector$fToStreamaVector$fMonoidVector$fLookupNaturalaVector0$fToFoldaVector0$fToStreamaVector0$fMonoidVector0$fMonadm$fApplicativem $fFunctorm Bifunctorial bifunctorial OrdFunctorial ordFunctorialOrdPolymorphicordPolymorphic Functorial functorial Polymorphic polymorphic:⇒:impl:∘::∧: UniversalWwith$fFunctorial*Monoid(,)$fFunctorial*JoinLattice(,)$fBifunctorial*POrd(,)$fBifunctorial*Ord(,)$fBifunctorial*Eq(,) $f:∘:kktua $f:∧:kc1c2a $fUniversalkaRWSRWSTrunRWSTBallooninflatedeflate OpaqueContContStateWriterReaderErrorFailureIDrunIDFunctorIsoFunctorfisomapFunctorFunctorfmapFunctorDiscardfdiscard FunctorUnitfunitisoIDfailure runFailurecommuteFailurerunError errorCommutereader runReader runReaderWith readerCommutewriter runWriter execWriter writerCommute runStateWith evalStateWith execStateWith stateCommutepluck transposenondetAppendCommutetransposeSetLazy nondetCommuteflowCommuteAppendflowCommuteJoinflowJoinFromStateflowJoinStateIcontrunContevalCont opaqueCont runOpaqueContmetaCont runMetaContevalOpaqueContfailureErrorCommuteerrorFailureCommutefailureReaderCommutereaderFailureCommutefailureWriterCommutewriterFailureCommutefailureStateCommutestateFailureCommutefailureNondetAppendCommutenondetAppendFailureCommutefailureNondetCommutenondetFailureCommuteerrorReaderCommutereaderErrorCommuteerrorWriterCommutewriterErrorCommuteerrorStateCommutestateErrorCommuteerrorNondetAppendCommutenondetAppendErrorCommuteerrorNondetCommutenondetErrorCommutereaderWriterCommutewriterReaderCommutereaderStateCommutestateReaderCommutereaderNondetAppendCommutenondetAppendReaderCommutereaderNondetCommutenondetReaderCommutereaderFlowAppendCommuteflowAppendReaderCommutereaderFlowJoinCommuteflowJoinReaderCommutewriterStateCommutestateWriterCommutewriterNondetAppendCommutenondetAppendWriterCommutewriterNondetJoinCommutenondetJoinWriterCommute mergeState splitStatemapStatestateNondetAppendCommutenondetAppendStateCommutestateNondetJoinCommutenondetJoinStateCommutestateFlowAppendCommuteflowAppendStateCommutestateFlowJoinCommuteflowJoinStateCommutestateKonCommutekonStateCommute runRWSTWith runRWSWith$fFunctorFunctorRWST$fMonadStatesOpaqueContT$fMonadStatesContT$fMonadNondetJoinStateT$fMonadStatesNondetJoinT$fMonadNondetAppendStateT$fMonadStatesNondetAppendT$fMonadNondetJoinWriterT$fMonadWriteroNondetJoinT$fMonadNondetAppendWriterT$fMonadWriteroNondetAppendT$fMonadStatesWriterT$fMonadWriteroStateT$fMonadFlowJoinsReaderT$fMonadReaderrFlowJoinT$fMonadFlowAppendsReaderT$fMonadReaderrFlowAppendT$fMonadNondetJoinReaderT$fMonadReaderrNondetJoinT$fMonadNondetAppendReaderT$fMonadReaderrNondetAppendT$fMonadStatesReaderT$fMonadReaderrStateT$fMonadWriteroReaderT$fMonadReaderrWriterT$fMonadNondetJoinErrorT$fMonadErroreNondetJoinT$fMonadNondetAppendErrorT$fMonadErroreNondetAppendT$fMonadStatesErrorT$fMonadErroreStateT$fMonadWriteroErrorT$fMonadErroreWriterT$fMonadReaderrErrorT$fMonadErroreReaderT$fMonadNondetJoinFailureT$fMonadFailureNondetJoinT$fMonadNondetAppendFailureT$fMonadFailureNondetAppendT$fMonadStatesFailureT$fMonadFailureStateT$fMonadWriteroFailureT$fMonadFailureWriterT$fMonadReaderrFailureT$fMonadFailureReaderT$fMonadErroreFailureT$fMonadFailureErrorT$fMonadContrOpaqueContT$fMonadOpaqueCont*krOpaqueContT$fFunctorIsoFunctorOpaqueContT$fMonadOpaqueContT$fFunctorOpaqueContT$fMonadContrContT$fFunctorIsoFunctorContT $fMonadContT$fFunctorContT$fMonadStatesFlowJoinT$fMonadFlowJoinsFlowJoinT$fMonadFlowAppendsFlowAppendT$fMonadJoinLatticeFlowJoinT$fMonadJoinFlowJoinT$fMonadBotFlowJoinT$fMonadMonoidFlowAppendT$fFunctorFunctorFlowJoinT$fFunctorDiscardFlowJoinT$fFunctorUnitFlowJoinT$fFunctorFunctorFlowAppendT$fFunctorDiscardFlowAppendT$fFunctorUnitFlowAppendT$fMonadFlowJoinT$fFunctorFlowJoinT$fMonadFlowAppendT$fFunctorFlowAppendT$fJoinLatticeFlowJoinT$fJoinFlowJoinT$fBotFlowJoinT$fMonoidFlowAppendT$fMonadNondetJoinNondetJoinT $fMonadNondetAppendNondetAppendT$fMonadJoin𝒫ᵇ$fMonadBot𝒫ᵇ$fMonadJoinLatticeNondetJoinT$fMonadJoinNondetJoinT$fMonadBotNondetJoinT$fMonadMonoid[]$fMonadMonoidNondetAppendT$fFunctorFunctorNondetJoinT$fFunctorDiscardNondetJoinT$fFunctorUnitNondetJoinT$fFunctorFunctorNondetAppendT$fFunctorDiscardNondetAppendT$fFunctorUnitNondetAppendT$fMonadNondetJoinT$fFunctorNondetJoinT$fMonadNondetAppendT$fFunctorNondetAppendT#$fFunctorial*JoinLatticeNondetJoinT$fJoinLatticeNondetJoinT$fJoinNondetJoinT$fBotNondetJoinT $fFunctorial*MonoidNondetAppendT$fMonoidNondetAppendT$fMonadStatesStateT$fFunctorial*JoinLatticeStateT$fJoinLatticeStateT $fJoinStateT $fBotStateT$fFunctorial*MonoidStateT$fMonoidStateT$fMonadTopStateT$fMonadJoinLatticeStateT$fMonadJoinStateT$fMonadBotStateT$fMonadMonoidStateT$fFunctorFunctorStateT$fFunctorDiscardStateT$fFunctorUnitStateT $fMonadStateT$fFunctorStateT$fMonadWritero(,)$fMonadWriteroWriterT$fFunctorial*MonoidWriterT$fMonoidWriterT$fMonadJoinLatticeWriterT$fMonadJoinWriterT$fMonadBotWriterT$fMonadMonoidWriterT$fFunctorFunctorWriterT$fFunctorDiscardWriterT$fFunctorUnitWriterT$fMonadWriterT$fFunctorWriterT$fMonadReaderr(->)$fMonadReaderrReaderT$fMonadJoinLatticeReaderT$fMonadJoinReaderT$fMonadBotReaderT$fMonadMonoidReaderT$fFunctorFunctorReaderT$fFunctorDiscardReaderT$fFunctorUnitReaderT$fMonadReaderT$fFunctorReaderT$fMonadErroreEither$fMonadErroreErrorT$fMonadJoinErrorT$fMonadBotErrorT$fMonadMonoidErrorT$fFunctorFunctorErrorT$fFunctorDiscardErrorT$fFunctorUnitErrorT $fMonadErrorT$fFunctorErrorT$fMonadFailureMaybe$fMonadFailureFailureT$fMonadJoinLatticeFailureT$fMonadJoinFailureT$fMonadBotFailureT$fMonadMonoidFailureT$fFunctorFunctorFailureT$fFunctorDiscardFailureT$fFunctorUnitFailureT$fMonadFailureT$fFunctorFailureT$fFunctorial*MonoidID$fFunctorial*JoinLatticeID$fFunctorial*TopID$fFunctorial*MeetID$fFunctorial*JoinID$fFunctorial*BotID$fOrdFunctorialPOrdID$fFunctorial*POrdID $fMonadID $fFunctorMID $fFunctorIDPLastNotLastFirstNotFirstAnnotatedFixedannotatedFixedTagunfoldAnnotatedFixedunfold Annotated annotatedTagannotatedValue⊡Compose runComposeEndoWrunEndoWEndoMrunEndoMEndorunEndoComonadextract=≫MStream lowerChar upperCharlowerupper alignLeftFill alignLeftalignRightFill alignRightcondapplyTo streamStatelengthcountnthsrepeat snaturalsszip withIndexheadtail bigProductmapHeadmapTailfirstN filterMapfilter splitPrefix prefixUntiluniques replicate interspersebuildNupToapplyNappendN applyUntilapplyUntilHistorypoiter poiterHistorycollectcollectNcollectHistorycollectHistoryNdiffs collectDiffs collectDiffsNmany oneOrMoreoneOrMoreSplittwoOrMoreSplit manySepBy manyPrefBykextract kextract2siphondancecomposemcomposewcompose onComposeIsomapFixedfirst maybeFirstlast maybeLastmemoFix $fMonoidLast $fMonoidFirst $fMonoidEndoW $fMonoidEndoM $fMonoidEndo $fComonadIDMonadQqiothString thConNamethTyVarBndrNamethSingleClause thSingleMatchthViewSimpleCon thTyConILthDataDL thNewtypeDL thViewADTthViewSingleConADTthRecCL $fArrowType $fTupType $fApplyType$fTupPat$fTupExp $fApplyExp $fMonadQQ $fMonadIOQ$fMonadQ $fFunctorQ makeLensLogic makeLensesmakePrismLogic makePrismsToColorcolorColor colorCodeblackdarkRed darkGreen darkYellowdarkBluedarkPinkdarkTealgraydarkGrayredgreenyellowbluepinkteal lightGraywhite highlight$fToColorNatural$fToColorInteger $fToColorInt PrettyParamspunctuationFormatkeywordPunctuationFormat keywordFormatconstructorFormatoperatorFormat binderFormat literalFormathighlightFormat headerFormat errorFormatappLevel FailureModeCanFailCantFailLayoutFlatBreakFormatFGBGULBD PrettyEnv prettyParamsmaxColumnWidthmaxRibbonWidthlayout failureModenestinglevelbumped undertagModedoOutputdoFormat doLineNumberslineNumberDisplayWidthformatsblinderspunctuationFormatLkeywordPunctuationFormatLkeywordFormatLconstructorFormatLoperatorFormatL binderFormatLliteralFormatLhighlightFormatL headerFormatL errorFormatL appLevelLprettyParams₀ PrettyStatecolumnribbonbeginningOfLine lineNumber undertags PrettyOutChunkOut FormatOutNullOut AppendOutChunkTextNewline prettyParamsLmaxColumnWidthLmaxRibbonWidthLlayoutL failureModeLnestingLlevelLbumpedL undertagModeL doOutputL doFormatLdoLineNumbersLlineNumberDisplayWidthLformatsL blindersL prettyEnv₀$fMonoidPrettyOutPrettyprettyDocrunDocPrettyM runPrettyMcolumnLribbonLbeginningOfLineL lineNumberL undertagsLprettyState₀runPrettyMWithexecOutPrettyMWith renderDoc shouldOutputMshouldOutputNewlineMppllSpit ppllFormat ppllNoFormatppllClearFormat ppllNewline ppllString ppllUndertags ppllLineBreakppllTextppFinalppTextppFormatppSpace ppNewlineppIfFlatppFlat ppCanFailppGroupppNestppAlignppLength paramFormat ppNoFormat ppLineNumbers ppBlindersppSetLineNumberppFGppBGppULppBDppPunppKeyPunppKeyppConppOpppBdrppLitppHlppHeaderppErrppUT ppAlignLeft ppAlignRight ppHorizontal ppVerticalppBreak ppSeparated ppBotLevelppClosedppParens ppAtLevelppBumpppInfppInflppInfrppPreppPostppAppppCollectionAtLevel ppCollectionppRecord renderChunkrenderNoFormatppString $fMonoidDoc$fOrdDoc$fEqDoc FormatStateformatFGformatBGformatULformatBD sgrLeader sgrClosersgrResetsgrFgsgrBgsgrUlsgrBd sgrFormat updateFormat formatConsolerenderConsoleM renderConsole pprintWith pprintWidth pprintRibbonpprintptraceptraceMioError htmlFGCode htmlBGCode htmlULCode htmlBDCode formatHTMLhtmlEscapeChar htmlEscaperenderChunkHTML renderHTML prettyHTMLprettyHTMLStandalonehtmlColorFrom256makePrettySumLogic makePrettySummakePrettyUnionLogicmakePrettyUnionmakePrettyRecordLogicmakePrettyRecord $fPrettyFixed$fPrettyAddTop$fPrettyAddBot$fPretty⇰♭⊔$fPretty⇰♭⧺ $fPretty⇰$fPretty𝒫ᵇ $fPretty𝒫 $fPretty[]$fPrettyStream $fPretty(,,) $fPretty(,) $fPretty()$fPrettyDouble $fPrettyText $fPrettyChar$fPrettyℕᵀ$fPrettyNatural$fPrettyInteger $fPrettyInt $fPrettyBool $fPrettyDoc $fPrettyMaybe$fPrettyEither $fPrettyIDtestPrettyFormatstestPrettyNestingtestPrettyUndertagstestPrettyLineNumberstestPrettyBlindersLoclocPoslocRowlocCollocPosLlocRowLlocColLLocRange locRangeBegin locRangeEndloc₀bumpRowbumpCol $fMeetLoc $fJoinLoc$fBotLoc$fOrdLoc$fEqLoc $fPrettyLoclocRangeBeginL locRangeEndL SourceTokensourceTokenValuesourceTokenRangesourceTokenRendersourceTokenError$fJoinLocRange$fPrettyLocRangesourceTokenValueLsourceTokenRangeLsourceTokenRenderLsourceTokenErrorL SourceInputsourceInputStreamsourceInputNextLoc renderCharrenderErrorChartokens$fPrettySourceTokensourceInputStreamLsourceInputNextLocLSourceErrorTracesourceErrorTraceFinalsourceErrorTraceChainsourceInput₀$fPrettySourceInputsourceErrorTraceFinalLsourceErrorTraceChainLSourceErrorInfosourceErrorInfoPrefixsourceErrorInfoTracesourceErrorTraceFromStackdisplaySourceErrorTrace$fJoinLatticeSourceErrorTrace$fJoinSourceErrorTrace$fBotSourceErrorTrace$fPrettySourceErrorTracesourceErrorInfoPrefixLsourceErrorInfoTraceL SourceErrorsourceErrorInputsourceErrorContexts$fPrettySourceErrorInfosourceErrorInputLsourceErrorContextsLSourceErrorMaybeNullSourceErrorsourceErrorAppend$fPrettySourceErrorSourceContextPrefixsourceContextPrefixBeforesourceContextPrefixDisplaysourceContextPrefixDisplayErrorsourceContextPrefixRangenullSourceErrorLsourceErrorMaybeLdisplaySourceErrorMaybe$fMonoidSourceErrorMaybe$fPrettySourceErrorMaybe SourceContextsourceContextPastsourceContextFuturesourceContextPrefixBeforeLsourceContextPrefixDisplayL sourceContextPrefixDisplayErrorLsourceContextPrefixRangeLpushSourceLocalContexterrorSourceLocalContextsourceLocalContextFromTokendisplaySourceContexterrorSourceContext$fPrettySourceContext$fMonoidSourceContext$fMonoidSourceContextPrefix$fPrettySourceContextPrefix ParserEnvparserEnvRenderFormatparserEnvErrorStackparserEnvLevelparserEnvBumpedparserEnvRenderFormatLparserEnvErrorStackLparserEnvLevelLparserEnvBumpedL ParserOutparserOutSuccessparserOutError parserEnv₀$fPrettyParserEnvparserOutSuccessLparserOutErrorL ParserStateparserStateInputparserStateErrorContextparserStateCaptureContext$fMonoidParserOut$fPrettyParserOutparserStateInputLparserStateErrorContextLparserStateCaptureContextLparserState₀$fPrettyParserStateFullContextAnnotatedfullContextAnnotatedContextfullContextAnnotatedValueParser runParser runParserWith makeParserpFailpPluck pAppendError pNewContextpCapturepRenderpEndpCatchpError pCaptureFullpFinalpShaped pSatisfiespLitpWord pOptionalpTriespOptionalGreedy pManyGreedypOneOrMoreGreedypManySepByGreedypLParenpRParenpDigitpNaturalpIntegerpDoublepNumberpLetterpWhitespaceGreedypOptionalWhitespaceGreedy pSurroundedBy pSurrounded runParser₀parseparseIO parseIOMaintokenize tokenizeIOtokenizeIOMaintestParsingMultipleFailuretestParsingBlinderstestParsingAmbiguitytestParsingSuccesstestParsingErrorNewline$fComonadFullContextAnnotated$fFunctorFullContextAnnotatedMixPrePostInfInflInfrTerminalMixfixmixfixTerminals mixfixLevelsMixesmixesPre mixesPostmixesInf mixesInfl mixesInfrMixfixFmixfixFTerminals mixfixFLevelsMixFPreFPostFInfFInflFInfrF TerminalFMixesF mixesFPre mixesFPost mixesFInf mixesFInfl mixesFInfrmixF mixfixParserF mixesPuremix mixfixPure mixfixParser$fMonoidMixfix $fMonoidMixes$fMonoidMixfixF$fMonoidMixesF GreedyParserrunGreedyParsergpFailgpPluck gpAppendError gpNewContext gpCapturegpRendergpEndgpCatchStateΠ runStateΠ PolyStateT runPolyStateTInjectinjectGaloisTransformerαGTγGTisoToStateTMorphisoFromStateTMorphisoToPolyStateTMorphisoFromPolyStateTMorphisoToNondetJoinTMorphisoFromNondetJoinTMorphisoToFlowJoinTMorphisoFromFlowJoinTMorph$$fPolymorphic**JoinLatticePolyStateT$fJoinLatticePolyStateT$fJoinPolyStateT$fBotPolyStateT $fInject*IDID$fGaloisTransformerIDID PolyStateΠrunPolyStateΠisoToStateΠMorphisoFromStateΠMorph$fFunctorStateΠ$fDifferenceStateΠ$fFunctorial*JoinLatticeStateΠ$fJoinLatticeStateΠ $fJoinStateΠ $fBotStateΠ$fOrdFunctorialPOrdStateΠ $fPOrdStateΠ$fPrettyStateΠ NondetJoinΠrunNondetJoinΠisoPolyStateΠisoToPolyStateΠMorphisoFromPolyStateΠMorph$fFunctorPolyStateΠ$fDifferencePolyStateΠ%$fPolymorphic**JoinLatticePolyStateΠ$fJoinLatticePolyStateΠ$fJoinPolyStateΠ$fBotPolyStateΠ $fOrdPolymorphic*POrdPolyStateΠ$fPOrdPolyStateΠ$fPrettyPolyStateΠ FlowJoinΠ runFlowJoinΠisoNondetJoinΠisoToNondetJoinΠMorphisoFromNondetJoinΠMorph$fDifferenceNondetJoinΠ&$fPolymorphic**JoinLatticeNondetJoinΠ$fJoinLatticeNondetJoinΠ$fJoinNondetJoinΠ$fBotNondetJoinΠ!$fOrdPolymorphic*POrdNondetJoinΠ$fPOrdNondetJoinΠ$fPrettyNondetJoinΠ FlowJoinI NondetJoinIStateI runStateIisoToFlowJoinΠMorphisoFromFlowJoinΠMorph isoStateIisoαGTisoγGT isoInject$fInject*StateIFlowJoinΠ$fInject*ιNondetJoinΠ$fInject*StateIPolyStateΠ$fInject*StateIStateΠ&$fGaloisTransformerFlowJoinΠFlowJoinT*$fGaloisTransformerNondetJoinΠNondetJoinT($fGaloisTransformerPolyStateΠPolyStateT $fGaloisTransformerStateΠStateT$fDifferenceFlowJoinΠ$$fPolymorphic**JoinLatticeFlowJoinΠ$fJoinLatticeFlowJoinΠ$fJoinFlowJoinΠ$fBotFlowJoinΠ$fOrdPolymorphic*POrdFlowJoinΠ$fPOrdFlowJoinΠ$fPrettyFlowJoinΠPreAtomAIntegerAVarALam aIntegerLaVarLaLamLOpPlusMinusmapAtomM$fFunctorPreAtom$fFunctorMPreAtom$fPrettyPreAtomPreExpEAtomEIfELetEOpEApp $fPrettyOpmapExpMmapExp$fFunctorPreExp$fFunctorMPreExp$fFunctorial*PrettyPreExp$fPrettyPreExpKeywordKLambdaKIfZeroKThenKElseKLetKInKeywordPunctuationKPDotKPPlusKPMinus KPDefEqualkLambdaLkIfZeroLkThenLkElseLkLetLkInL PunctuationPLParenPRParenkPDotLkPPlusLkPMinusL kPDefEqualLTokenTKeywordTKeywordPunctuation TPunctuationTIntegerTSymbol TWhitespacepLParenLpRParenL SourceExpsourceExpContextsourceExpRawExp tKeywordLtKeywordPunctuationL tPunctuationL tIntegerLtSymbolL tWhitespaceLstripSourceExp tokKeywordtokKeywordPunctuationtokPunctuationtokToken parWhitespaceparOptionalWhitespaceparSurroundOptionalWhitespace parSymbol parLParen parRParen parParens foldSourceExpunfoldSourceExpparMixesparExpparseExp$fPrettySourceExp StampState stampNameID stampExpIDstampBinderMapAtomExpexpID expContext expRawExpNamenameID nameSourcestripStampedPreExpstripStampedExp $fPrettyExp $fPOrdExp$fOrdExp$fEqExp $fPrettyName $fOrdName$fEqNameStampEnv stampContext stampNameIDL stampExpIDLstampBinderMapL stampState₀StampM runStampM stampContextL stampEnv₀ runStampM₀stampExpstampVar stampBinderstamp TimeParamlexicalCallDepthdynamicCallDepthlexicalObjDepthdynamicObjDepthlexicalCallDepthLdynamicCallDepthLlexicalObjDepthLdynamicObjDepthLicfazcfalkcfakcfalocfaocfaMomentcallobjcallLobjLTimelexicaldynamic$fPrettyMomentlexicalLdynamicLVarAddr varAddrName varAddrTimetime₀ $fPOrdTime $fPrettyTime varAddrNameL varAddrTimeLExpAddr expAddrExp expAddrTime $fPOrdVarAddr$fPrettyVarAddr expAddrExpL expAddrTimeLClosure closureExp closureArg closureBody closureEnv closureTimeStoreEnv $fPOrdExpAddr$fPrettyExpAddrAtomVal AtomValInt AtomValAddr AtomValClo AtomValOp$fPrettyClosureFrameIfHLetHOpLOpRAppLAppR$fPrettyAtomValValintIisZeroEdelZerocloIcloEframeIframeEδKStore $fPrettyFrame ConcreteValCIntCCloCFrameCBotcIntLcCloLcFrameLcBotL AbstractValAIntAPosAZeroANegANotZeroAAnyIntACloAFrameABot$fValConcreteVal$fPrettyConcreteValaIntLaPosLaZeroLaNegL aNotZeroLaAnyIntLaCloLaFrameLaBotL DomainParamnegateAbstractValconcreteabstract $fVal𝒫$fValAbstractVal$fPrettyAbstractVal LamIfStateenvκAddrtimestoreκStoreenvLκAddrLtimeLstoreLκStoreLLamIfEnv currentExp timeParam$fPOrdLamIfState$fPrettyLamIfStateLFPLamIfExecutionLamIfParamsM MonadLamIf currentExpL timeParamLatomatomValpushpopbindtickLtickOrefinedelZeroM stackReturntickKstepgcexexDiffs LamIfContextctxEnv ctxΚAddrctxTimePathSensitiveMrunPathSensitiveMPathSensitiveΣrunPathSensitiveΣPathSensitiveΣᵇrunPathSensitiveΣᵇ InjectLamIfrunInjectLamIfisoInjectLamIfisoPathSensitiveΣᵇisoPathSensitiveΣᵇ2isoPathSensitiveΣisoPathSensitiveMisoPathSensitiveM2>$fExecutionLamIfvalInjectLamIfPathSensitiveΣᵇPathSensitiveM$fMonadLamIfvalPathSensitiveM3$fGaloisTransformerPathSensitiveΣᵇPathSensitiveM&$fInject*InjectLamIfPathSensitiveΣᵇ LamIfStores storesStore storesΚStore$fPrettyLamIfContext MonadParamFlowInsensitiveMrunFlowInsensitiveMFlowInsensitiveΣrunFlowInsensitiveΣFlowInsensitiveΣᵇrunFlowInsensitiveΣᵇFlowSensitiveMrunFlowSensitiveMFlowSensitiveΣrunFlowSensitiveΣFlowSensitiveΣᵇrunFlowSensitiveΣᵇsplitLamIfStatecombineLamIfStateisoSplitLamIfStateisoCombineLamIfStateisoFlowSensitiveΣᵇisoFlowSensitiveΣ2ᵇisoFlowSensitiveΣisoFlowSensitiveMisoFlowSensitiveM2isoFlowInsensitiveΣᵇisoFlowInsensitiveΣᵇ2isoFlowInsensitiveΣisoFlowInsensitiveMisoFlowInsensitiveM2 pathSensitive flowSensitiveflowInsensitiveB$fExecutionLamIfvalInjectLamIfFlowInsensitiveΣᵇFlowInsensitiveM$fMonadLamIfvalFlowInsensitiveM7$fGaloisTransformerFlowInsensitiveΣᵇFlowInsensitiveM&$fMonadStateLamIfStateFlowInsensitiveM($fInject*InjectLamIfFlowInsensitiveΣᵇ>$fExecutionLamIfvalInjectLamIfFlowSensitiveΣᵇFlowSensitiveM$fMonadLamIfvalFlowSensitiveM3$fGaloisTransformerFlowSensitiveΣᵇFlowSensitiveM$$fMonadStateLamIfStateFlowSensitiveM&$fInject*InjectLamIfFlowSensitiveΣᵇ$fDifferenceLamIfStores$fJoinLatticeLamIfStores$fJoinLamIfStores$fBotLamIfStores$fPOrdLamIfStores$fPrettyLamIfStores runParamsrunDiffsParamse_ide_bade_1e_2zcfa_FIzcfa_FSzcfa_PSstuffghc-primGHC.PrimseqbaseGHC.Base otherwiseassert$coerce GHC.Classes==>=EqOrdGHC.ReadReadGHC.ShowShow GHC.TypesBoolCharDoubleInt integer-gmpGHC.Integer.TypeIntegerOrderingIO Data.EitherEither Coercibletemplate-haskellLanguage.Haskell.TH.SyntaxQFalseTrueLeftRightLTEQGT GHC.NaturalNaturalGHC.IOunsafePerformIO Text.Readread Data.OldListsortBysort Data.CharisLetterreadList readsPrec GHC.Unicode isAlphaNumisDigitisSpaceshowListshow showsPrecJustNothingMaybe/=compare<=<>maxminvecto_A9qWf1eecPQGJD12EBZIxFData.Vector.Unboxed.BaseUnbox Constraint