úÎPůFź;      !"#$%&'()*+,-./0123456789:None!"&*34579>CDFILN XData type for an initial value which is updated, mainly useful for it's Functor instanceLData type for a collection (a map) which is updated by providing differences9Generalized unzip - probably not the best place for this!RTurn an UpdatedMap into a Dynamic by applying the differences to the initial valueMHold an UpdatedMap as a behavior by applying differences to the initial valueHold an 9 as a Dynamic by replacing the initial value with updatesHold an : as a Behavior by replacing the initial value with updates BFind the shallow (structural) differences between two Maps OTrack the shallow (structural) differences between a Behavior and an Event  ;<=    ;<=None!"&*34579>CDFILN 6Switching for a changing collections of reactive typesBGeneralization of switchable reactive types (e.g. Event, Behavior)dHelper which takes an UpdatedMap as one argument (instead of initial value, update event separately)aHelper which takes an Updated as one argument (instead of initial value, update event separately) >?@ABCDEFGHI     >?@ABCDEFGHINone!"&*34579>CDFILNľMap the result of an initial monadic action and updates and swap it out with a new one whenever the event provided fires. returns an Updated giving the initial value plus updatesJSimilar to holdM but operating on a collection of widgets provided as an q. switchM/switchM' can be implemented in terms of switchMapM therefore switchMapM is a minimal implementation.0Constraint type to capture common usage together JKLMNO~PQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ Ą˘Ł¤ĽŚ§¨ŠŞŤŹ­ŽŻ°ą˛ł´ľśˇ¸ JKLMNONone!"&*34579>CDFILN}Base Monad which sits at the bottom of a (pure) switching Monad transformer stack providing the base switching capabilities.  None!"&*34579>CDFILNš%Helpers for switchMapM implementation şťź˝!"#$%&'šžżŔÁ  !"#$%&' $%&'#!" şťź˝!"#$%&'šžżŔÁNone!"&*34579>CDFILN)gFusion between ReaderT and WriterT (But not StateT unlike RWST) which is switchable using MonadSwitch†Uses implementation based on RSST which implements WriterT using state in order to avoid space leaks incurred by the original WriterT ()Â*+,ĂÄĹĆ()*+,)(*,+ ()Â*+,ĂÄĹĆNone!"&*34579>CDFILN -FData type wrapping chainable widgets of the type (a -> m (Event t a)) 0!Recursive Workflow datatype, see 7 below3ŔHold a monadic widget and update it whenever the Event provides a new monadic widget, swapping out the previously active widget. Returns a Dynamic giving the return values of widgets created4âNon monadic version of collection, builds a collection from an initial list and a list of updated values items remove themselves upon the event triggering. returns an UpdatedMap with keys assigned to items in ascending order5íBuilds a collection of widgets from an initial list and events providing new widgets to create as with collect, items remove themselves upon the event triggering. returns an UpdatedMap with keys assigned to items in ascending order6ŞProvides a view into a Dynamic Map value, where sub-views are created using a function passed in returns a Dynamic Map of values returned from child views upon creation.7żProvide a widget which swaps itself out for another widget upon an event (recursively) Useful if the sequence of widgets needs to return a value (as opposed to passing it down the chain).8Provide a way of chaining widgets of type (a -> m (Event t b)) where one widgets swaps out the old widget. De-couples the return type as compared to using 79vProvide a way of looping (a -> m (Event t a)), each iteration switches out the previous iteration. Can be used with : Compose two -U values passing the output event of one into the construction function of the next.-./0123Ç456789:ȌPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ Ą˘Ł¤ĽŚ§¨ŠŞŤŹ­ŽŻ°ą˛ł´ľśˇ¸ -./0123456789:36540127-./8:9 -./0123Ç456789:Č/: É       !"#$%&'()*+,-./012234456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUSTVSTWSTXSTYSTZST[\]^\]_\]`\]`\ab\ac\de\df\dg\dh\di\dj\dk\dl\dm\dn\do\dp\dq\dr\ds\dt\du\dv\dw\dx\dy\dz\d{\d|\d}\d~\d\d€\d\d‚\dƒ\d„\d…\d†\d‡\dˆ\d‰\dŠ\‹Œ\‹\‹Ž\‹\‹\‹‘\‹’\‹“\‹”\‹•\‹–\‹—\‹˜\‹™\‹š\‹›\‹œ\‹\‹ž\‹Ÿ\‹ \‹Ą\‹˘\‹Ł\‹¤\‹Ľ\‹Ś\‹§\‹¨\‹Š\‹Ş\‹Ť\‹Ź\‹­\‹Ž\‹Ż\‹°\‹ą\‹˛\‹ł\‹´\‹ľ\‹ś\‹ˇ\‹¸\‹š\‹ş\‹ť\‹ť\‹ź\‹˝\‹ž\‹ż\‹ŔÁ%ÂĂÄĹĆÇČ.ÉĘËĚÍÎĎrefle_BNyzRR99D8VALli3Qv2JxRReflex.UpdatedReflex.SwitchingReflex.Monad.ClassReflex.Monad.ReflexMReflex.Monad.SupplyReflex.Monad.ReaderWriter Reflex.MonadUpdated UpdatedMapsplit holdMapDynholdMapholdDyn'hold' shallowDiff' shallowDiff SwitchMerge switchMerge Switching switching switchMerge' switching' MonadSwitchswitchM switchMapM MonadReflexReflexM runReflexM$fMonadSwitchtReflexM$fMonadHoldtReflexM$fMonadSampletReflexM$fMonadFixReflexM$fMonadReflexM$fApplicativeReflexM$fFunctorReflexMSupplySupplyTgetFreshgetSplitrunSplit runSupplyT evalSupplyT runSupply evalSupply ReaderWriter ReaderWriterTrunReaderWriterTexecReaderWriterTrunReaderWriterChain:>>WorkflowunFlow widgetHoldcollect collectionmapViewworkflowchainloop>->$fFunctorWithIndexkUpdatedMap$fFunctorUpdated$fFunctorUpdatedMapswitchMergeEvents mayConcat$fSwitchingt()$fSwitchingtEvent$fSwitchingtBehavior$fSwitchMerget()$fSwitchingt[]$fSwitchMerget[]$fSwitchMergetBehavior$fSwitchMergetEvent$fSwitchMerget(,)$fSwitchingt(,) maybeToMap mapToMaybetoMapfromMap$fMonadSwitchtWriterT$fMonadSwitchtReaderTmtl_KMpng31YRYc5JfMWFZ3FCUControl.Monad.Writer.Classlistencensor MonadWriterpasslistenstellwriterrefle_2UrSqcOA3BADztf7ETBYqAReflex.Spider.InternalSpider runSpiderHost SpiderHostReflex.Dynamic.THunqDynqDynReflex.Dynamic collectDyndistributeFHListOverDyn getDemuxeddemuxattachDynWithMaybe attachDynWith attachDyntagDyn traceDynWithtraceDynjoinDynThroughMapjoinDyn combineDyndistributeDMapOverDyn mconcatDynsplitDynswitchPromptlyDyntogglecountfoldDynMfoldDynmapDynMforDynmapDynnubDynholdDynconstDynupdatedcurrent unsafeDynamicHConsHNilHListDynamicDemuxFHConsFHNilFHList Reflex.ClassswitchergateswitchPromptlyfanMapmergeMap mergeListleftmost mergeWith sequenceThese appendEvents dmapToThese dsumToEither eitherToDSumtraceEventWith traceEventsplitE headTailEtailEheadEonceEattachWithMaybe attachWithattachtagzipListWithEventffilter fforMaybeffor pushAlways coincidenceswitchfanmergepullpushconstantneverPullMPushMEventBehaviorReflexsample MonadSamplehold MonadHoldselect EventSelector fmapMaybe FunctorMaybeRightTagLeftTag EitherTag runSupplyMap SplitablefreshId splitSupply runSupplyMap'$fMonadSwitchtSupplyT$fMonadStatestSupplyT$fSplitable[][]$fMonadSwitchtReaderWriterT$fMonadStatesReaderWriterT$fMonadHoldtReaderWriterT$fMonadSampletReaderWriterTwithIdstoFlow