81vV      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTU None&'(2346;=BHJKM      None&'(2346;=BHJKM eff mV finds the first transformer in a monad transformer stack that can handle the effect eff bs: returns a (type-level) index of the first occurrence of V in a list of booleans eff stack maps the type-level function (m ->  m eff)0 over all layers that a monad transformer stack stack consists of m effC describes whether the given effect can be performed in the monad m! (without any additional lifting) WXWXNone&'(2346;=BHJKM Except effectArbitrary monadic effect State effectLocal state change effect  Reader effect! Writer effect ! ! !None&'(2346;=BHJKM"The " s m constraint asserts that m: is a monad stack that supports state operations on type sY3Construct a state monad computation from a function%% s$ sets the state within the monad to s&5Fetch the current value of the state within the monad'LGets specific component of the state, using a projection function supplied.(;Maps an old state to a new state inside a state monad layer) A variant of (5 in which the computation is strict in the new state"#$ZY%&'()*+,-./[\]^_"#$ZY%&'()*+,-./"#$ZY%&'()*+,-./[\]^_None&'(2346;=BHJKM0The 0 r m constraint asserts that m= is a monad stack that supports a fixed environment of type r- that can be changed externally to the monad1The 1 r m constraint asserts that m= is a monad stack that supports a fixed environment of type r65Fetch the environment passed through the reader monad71Executes a computation in a modified environment.012345`a67'The function to modify the environment.Reader$ to run in the modified environment.8bcdefghij 012345`a678012345`a678bcdefghijNone&'(2346;=BHJKM<The < w m constraint asserts that m; is a monad stack that supports outputting values of type w?? w' is an action that produces the output wG3Transform all writer requests with a given function9:;<=>k?@ABCDEFGlmnopqrstuvw9:;<=>k?@ABCDEFG9:;<=>k?@ABCDEFGlmnopqrstuvw None&'(2346;=BHJKMHThe H e m constraint asserts that m= is a monad stack that supports throwing exceptions of type eKThrow an exceptionHIJxKLMyz{|}~HIJxKLM HIJxKLMyz{|}~ None&'(2346;=BHJKMQLift an  actionNOPQNOPQNOPQ None&'(2346;=BHJKMRST RST RSTNone&'(2346;=BHJKMU*+,-./89:;@ABCDEFGLMRSTUU8*+,-./C@DAEBFG:;9LMTRSUNone&'(2346;=BHJKM, !"#$%&'()01234567<=>?HIJKNOPQ,"&%()'1067<?HKNQ! #$4523=>IJOP   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKJLMNOPQRSTUVW X Y Z [ \ ] ^ _ ` a b b cd efghijklmnopqrstuvwxyz{|}~     e     monad-classes-0.3Control.Monad.Classes.ProxiedControl.Monad.ClassesControl.Monad.Classes.RunControl.Monad.Classes.CoreControl.Monad.Classes.EffectsControl.Monad.Classes.StateControl.Monad.Classes.ReaderControl.Monad.Classes.WriterControl.Monad.Classes.ExceptControl.Monad.Classes.ExecControl.Monad.Classes.Zoomghc-primGHC.Primproxy#Proxy# peano-0.1.0.1 Data.PeanoZeroSuccPeanoreflection-1.5.1.2Data.ReflectionReifiesProxied fromProxy#toProxy#reifyreflect$fMonadTransControlProxied$fMonadBasebProxied$fMonadIOProxied$fMonadTransProxied$fMonadPlusProxied$fAlternativeProxied$fMonadProxied$fApplicativeProxied$fFunctorProxied MonadLiftNDownliftNFindFindTrueMapCanDoCanDo EffExceptEffExecEffStateEffLocal EffReader EffWriter MonadState MonadStateNstateNputgetgetsmodifymodify' runStateLazyrunStateStrict evalStateLazyevalStateStrict execStateLazyexecStateStrict MonadLocal MonadReader MonadLocalNlocalN MonadReaderNaskNasklocal runReader CustomWriterTCustomWriterT' MonadWriter MonadWriterNtellNtellrunWriterStrictevalWriterStrictexecWriterStrict runWriterLazyevalWriterLazyexecWriterLazyevalWriterWith mapWriter MonadExcept MonadExceptNthrowNthrow runExceptrunMaybe MonadExec MonadExecNexecNexecZoomTrunZoomrun GHC.TypesTrue$fMonadLiftNSucct$fMonadLiftNZeromstate StateCanDo$fMonadStateNSuccst$fMonadStateNZerosStateT$fMonadStateNZerosStateT0TFCo:R:CanDo*StateTeffTFCo:R:CanDo*StateTeff0 ReaderCanDo stateLocal$fMonadLocalNSuccrt$fMonadLocalNZerorStateT$fMonadLocalNZerorStateT0$fMonadLocalNZerorReaderT$fMonadReaderNSuccrt$fMonadReaderNZerorStateT$fMonadReaderNZerorStateT0$fMonadReaderNZerorReaderTTFCo:R:CanDo*ReaderTeff WriterCanDo!$fMonadBaseControlbCustomWriterT'!$fMonadTransControlCustomWriterT'$fMonadTransCustomWriterT'$fMonadWriterNSuccwt!$fMonadWriterNZerowCustomWriterT'$fMonadWriterNZerowStateT$fMonadWriterNZerowStateT0$fMonadWriterNZerowWriterT$fMonadWriterNZerowWriterT0TFCo:R:CanDo*CustomWriterT'effTFCo:R:CanDo*WriterTeffTFCo:R:CanDo*WriterTeff0 ExceptCanDo$fMonadExceptNSuccet$fMonadExceptNZero()MaybeT$fMonadExceptNZeroeIO$fMonadExceptNZeroeExceptTTFCo:R:CanDo*MaybeTeffTFCo:R:CanDo*ExceptTeffTFCo:R:CanDo*IOEffExceptIO$fMonadExecNSuccwt$fMonadExecNZerowwTFCo:R:CanDo*IOEffExec ZoomCanDoVLLensvlGetvlSetvlMod'$fMonadBaseControlbZoomT$fMonadTransControlZoomT$fMonadWriterNZerosmallZoomT$fMonadStateNZerosmallZoomT$fMonadReaderNZerosmallZoomTTFCo:R:CanDo*ZoomTeff