81W      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUV 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 W 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) XYXYNone&'(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 s%3Construct 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"#$Z%&'()*+,-./0[\]^_"#$Z%&'()*+,-./0"#$Z%&'()*+,-./0[\]^_None&'(2346;=BHJKM1The 1 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 monad2The 2 r m constraint asserts that m= is a monad stack that supports a fixed environment of type r75Fetch the environment passed through the reader monad81Executes a computation in a modified environment.123456`a78'The function to modify the environment.Reader$ to run in the modified environment.9bcdefghij 123456`a789123456`a789bcdefghijNone&'(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 wH3Transform all writer requests with a given function:;<=>?k@ABCDEFGHlmnopqrstuvw:;<=>?k@ABCDEFGH:;<=>?k@ABCDEFGHlmnopqrstuvw None&'(2346;=BHJKMIThe I e m constraint asserts that m= is a monad stack that supports throwing exceptions of type eLThrow an exceptionIJKxLMNyz{|}~IJKxLMN IJKxLMNyz{|}~ None&'(2346;=BHJKMRLift an  actionOPQROPQROPQR None&'(2346;=BHJKMSTU STU STUNone&'(2346;=BHJKMV+,-./09:;<ABCDEFGHMNSTUVV9+,-./0DAEBFCGH;<:MNUSTVNone&'(2346;=BHJKM- !"#$%&'()*12345678=>?@IJKLOPQR-"%'&)*(2178=@ILOR! #$5634>?JKPQ   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLKMNOPQRSTUVWX Y Z [ \ ] ^ _ ` a b c c de fghijklmnopqrstuvwxyz{|}~     f     monad-classes-0.3.1.1Control.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 MonadStateNstateNstateputgetgetsmodifymodify' runStateLazyrunStateStrict evalStateLazyevalStateStrict execStateLazyexecStateStrict MonadLocal MonadReader MonadLocalNlocalN MonadReaderNaskNasklocal runReader CustomWriterTCustomWriterT' MonadWriter MonadWriterNtellNtellrunWriterStrictevalWriterStrictexecWriterStrict runWriterLazyevalWriterLazyexecWriterLazyevalWriterWith mapWriter MonadExcept MonadExceptNthrowNthrow runExceptrunMaybe MonadExec MonadExecNexecNexecZoomTrunZoomrun GHC.TypesTrue$fMonadLiftNSucct$fMonadLiftNZerom 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