?h8Z      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXY None*+,9:;<=BDIOQRT      None*+,9:;<=BDIOQRT Except effectArbitrary monadic effect State effectLocal state change effect Reader effect Writer effectNone*+,9:;<=BDIOQRT 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 Z 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)  ![\ ! ![\None*+,9:;<=BDIOQRT"The " e m constraint asserts that m= is a monad stack that supports throwing exceptions of type e%Throw an exception "#$]%&'^_`a"#$]%&' "#$]%&'^_`aNone*+,9:;<=BDIOQRT+Lift an b action()*+cd()*+()*+cdNone*+,9:;<=BDIOQRT,The , 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 monad-The - r m constraint asserts that m= is a monad stack that supports a fixed environment of type r25Fetch the environment passed through the reader monad31Executes a computation in a modified environment.,-./01ef23'The function to modify the environment.Reader$ to run in the modified environment.4ghijklmnop ,-./01ef234,-./01ef234ghijklmnop None*+,9:;<=BDIOQRT5The 5 s m constraint asserts that m: is a monad stack that supports state operations on type s83Construct a state monad computation from a function99 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 state567q89:;<=>?@ABCrst567q89:;<=>?@ABC567q89:;<=>?@ABCrst None*+,9:;<=BDIOQRTD ReadState8 is used to translate reader effects into state effects.If you run a computation with StateT%, this handler is not needed, since StateT already handles read requests.5This is useful in cases when you work in an abstract 5V monad and thus have no guarantee that its handler will also accept reader requests.uDEFvwxyuDEFuDEFvwxy None*+,9:;<=BDIOQRTJThe J w m constraint asserts that m; is a monad stack that supports outputting values of type wMM w' is an action that produces the output wU3Transform all writer requests with a given functionGHIJKLzMNOPQRSTU{|}~GHIJKLzMNOPQRSTUGHIJKLzMNOPQRSTU{|}~ None*+,9:;<=BDIOQRTVWX VWX VWXNone*+,9:;<=BDIOQRTY&'4>?@ABCDEFGHINOPQRSTUVWXYY4>?@ABCQNROSPTUHIG&'XVWDEFYNone*+,9:;<=BDIOQRT- !"#$%()*+,-./012356789:;<=JKLM-58:9<=;-,23JM"%(+6701./KL#$)* !   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEF G H I J K L M N O P Q R S T U V V W X Y X Z [ \ ] ^ _ ` a b c d e f f gh ijklmnopq irstuvwxyz{|}~       ,monad-classes-0.3.2.0-6DzpwW1YVh5AYVI8gqKP4HControl.Monad.Classes.ProxiedControl.Monad.ClassesControl.Monad.Classes.RunControl.Monad.Classes.EffectsControl.Monad.Classes.CoreControl.Monad.Classes.ExceptControl.Monad.Classes.ExecControl.Monad.Classes.ReaderControl.Monad.Classes.StateControl.Monad.Classes.ReadStateControl.Monad.Classes.WriterControl.Monad.Classes.Zoomghc-primGHC.Primproxy#Proxy##peano-0.1.0.1-y8ttXmwoKnB63zqX1oZqQ Data.PeanoSuccZeroPeano'reflection-2.1.2-Lwt0A3NRHka1hAeW9AOpLqData.ReflectionReifiesProxied fromProxy#toProxy#reifyreflect$fMonadTransControlProxied$fMonadBasebProxied$fMonadIOProxied$fMonadTransProxied$fMonadPlusProxied$fAlternativeProxied$fMonadProxied$fApplicativeProxied$fFunctorProxied EffExceptEffExecEffStateEffLocal EffReader EffWriter MonadLiftNDownliftNFindFindTrueMapCanDoCanDo MonadExcept MonadExceptNthrowNthrow runExceptrunMaybe MonadExec MonadExecNexecNexec MonadLocal MonadReader MonadLocalNlocalN MonadReaderNaskNasklocal runReader MonadState MonadStateNstateNstateputgetgetsmodifymodify' runStateLazyrunStateStrict evalStateLazyevalStateStrict execStateLazyexecStateStrict ReadStateT runReadState CustomWriterTCustomWriterT' MonadWriter MonadWriterNtellNtellrunWriterStrictevalWriterStrictexecWriterStrict runWriterLazyevalWriterLazyexecWriterLazyevalWriterWith mapWriterZoomTrunZoomrun GHC.TypesTrue$fMonadLiftNSucct$fMonadLiftNZerom ExceptCanDo$fMonadExceptNSuccet$fMonadExceptNZero()MaybeT$fMonadExceptNZeroeIO$fMonadExceptNZeroeExceptTIO$fMonadExecNSuccwt$fMonadExecNZeroww ReaderCanDo stateLocal$fMonadLocalNSuccrt$fMonadLocalNZeror(->)$fMonadLocalNZerorStateT$fMonadLocalNZerorStateT0$fMonadLocalNZerorReaderT$fMonadReaderNSuccrt$fMonadReaderNZeror(->)$fMonadReaderNZerorStateT$fMonadReaderNZerorStateT0$fMonadReaderNZerorReaderT StateCanDo$fMonadStateNSuccst$fMonadStateNZerosStateT$fMonadStateNZerosStateT0ReadStateCanDo$fMonadBaseControlbReadStateT$fMonadTransControlReadStateT$fMonadBasebReadStateT$fMonadReaderNZerosReadStateT WriterCanDo!$fMonadBaseControlbCustomWriterT'!$fMonadTransControlCustomWriterT'$fMonadTransCustomWriterT'$fMonadWriterNSuccwt!$fMonadWriterNZerowCustomWriterT'$fMonadWriterNZerowStateT$fMonadWriterNZerowStateT0$fMonadWriterNZerowWriterT$fMonadWriterNZerowWriterT0 ZoomCanDoVLLensvlGetvlSetvlMod'$fMonadBaseControlbZoomT$fMonadTransControlZoomT$fMonadWriterNZerosmallZoomT$fMonadStateNZerosmallZoomT$fMonadReaderNZerosmallZoomT