| :<|>: | Effectful.Internal.Monad, Effectful.NonDet |
| :> | Effectful.Internal.Effect, Effectful |
| :>> | Effectful.Internal.Effect, Effectful |
| <|> | Effectful.NonDet |
| Alternative | Effectful.NonDet |
| Any | Effectful.Internal.Utils |
| Ask | Effectful.Reader.Dynamic |
| ask | |
| 1 (Function) | Effectful.Reader.Static |
| 2 (Function) | Effectful.Reader.Dynamic |
| asks | |
| 1 (Function) | Effectful.Reader.Static |
| 2 (Function) | Effectful.Reader.Dynamic |
| CallStack | Effectful.Error.Static, Effectful.Error.Dynamic, Effectful.NonDet |
| CatchError | Effectful.Error.Dynamic |
| catchError | |
| 1 (Function) | Effectful.Error.Static |
| 2 (Function) | Effectful.Error.Dynamic |
| cloneEnv | Effectful.Internal.Env, Effectful.Dispatch.Static.Primitive |
| ConcUnlift | Effectful.Internal.Unlift, Effectful.Internal.Monad, Effectful |
| concUnlift | Effectful.Internal.Unlift |
| concUnliftIO | Effectful.Internal.Monad, Effectful.Dispatch.Static |
| consEnv | Effectful.Internal.Env, Effectful.Internal.Monad, Effectful.Dispatch.Static.Primitive |
| Dispatch | Effectful.Internal.Env, Effectful |
| DispatchOf | Effectful.Internal.Env, Effectful |
| dummyRelinker | Effectful.Internal.Env, Effectful.Dispatch.Static.Primitive |
| Dynamic | Effectful.Internal.Env, Effectful |
| Eff | Effectful.Internal.Monad, Effectful |
| Effect | Effectful.Internal.Effect, Effectful |
| EffectHandler | Effectful.Internal.Monad, Effectful.Dispatch.Dynamic |
| EffectRep | Effectful.Internal.Env, Effectful.Dispatch.Static.Primitive |
| Empty | Effectful.Internal.Monad, Effectful.NonDet |
| empty | Effectful.NonDet |
| emptyEff | Effectful.NonDet |
| emptyEnv | Effectful.Internal.Env, Effectful.Dispatch.Static.Primitive |
| Env | |
| 1 (Type/Class) | Effectful.Internal.Env, Effectful.Dispatch.Static.Primitive |
| 2 (Data Constructor) | Effectful.Internal.Env |
| envOffset | Effectful.Internal.Env |
| envRefs | Effectful.Internal.Env |
| envStorage | Effectful.Internal.Env |
| Ephemeral | Effectful.Internal.Unlift, Effectful.Internal.Monad, Effectful |
| ephemeralConcUnlift | Effectful.Internal.Unlift |
| eqThreadId | Effectful.Internal.Utils |
| Error | |
| 1 (Type/Class) | Effectful.Error.Static |
| 2 (Type/Class) | Effectful.Error.Dynamic |
| evalState | |
| 1 (Function) | Effectful.State.Static.Local |
| 2 (Function) | Effectful.State.Static.Shared |
| evalStateLocal | Effectful.State.Dynamic |
| evalStateMVar | Effectful.State.Static.Shared |
| evalStateShared | Effectful.State.Dynamic |
| evalStaticRep | Effectful.Internal.Monad, Effectful.Dispatch.Static |
| execState | |
| 1 (Function) | Effectful.State.Static.Local |
| 2 (Function) | Effectful.State.Static.Shared |
| execStateLocal | Effectful.State.Dynamic |
| execStateMVar | Effectful.State.Static.Shared |
| execStateShared | Effectful.State.Dynamic |
| execStaticRep | Effectful.Internal.Monad, Effectful.Dispatch.Static |
| execWriter | |
| 1 (Function) | Effectful.Writer.Static.Local |
| 2 (Function) | Effectful.Writer.Static.Shared |
| execWriterLocal | Effectful.Writer.Dynamic |
| execWriterShared | Effectful.Writer.Dynamic |
| Fail | |
| 1 (Type/Class) | Effectful.Internal.Monad, Effectful.Fail |
| 2 (Data Constructor) | Effectful.Internal.Monad, Effectful.Fail |
| fromAny | Effectful.Internal.Utils |
| Get | Effectful.State.Dynamic |
| get | |
| 1 (Function) | Effectful.State.Static.Local |
| 2 (Function) | Effectful.State.Static.Shared |
| 3 (Function) | Effectful.State.Dynamic |
| getCallStack | Effectful.Error.Static, Effectful.Error.Dynamic, Effectful.NonDet |
| getEnv | Effectful.Internal.Env, Effectful.Internal.Monad, Effectful.Dispatch.Static.Primitive |
| gets | |
| 1 (Function) | Effectful.State.Static.Local |
| 2 (Function) | Effectful.State.Static.Shared |
| 3 (Function) | Effectful.State.Dynamic |
| getStaticRep | Effectful.Internal.Monad, Effectful.Dispatch.Static |
| handleError | |
| 1 (Function) | Effectful.Error.Static |
| 2 (Function) | Effectful.Error.Dynamic |
| Handler | |
| 1 (Type/Class) | Effectful.Internal.Monad |
| 2 (Data Constructor) | Effectful.Internal.Monad |
| HasCallStack | Effectful.Dispatch.Static, Effectful.Dispatch.Dynamic, Effectful.Error.Static, Effectful.Error.Dynamic, Effectful.NonDet |
| impose | Effectful.Dispatch.Dynamic |
| inject | Effectful.Internal.Monad, Effectful |
| injectEnv | Effectful.Internal.Env |
| interpose | Effectful.Dispatch.Dynamic |
| interpret | Effectful.Dispatch.Dynamic |
| IOE | Effectful.Internal.Monad, Effectful |
| IORef' | Effectful.Internal.Utils |
| IsUnknownSuffixOf | Effectful.Internal.Effect |
| KnownPrefix | Effectful.Internal.Effect |
| liftIO | Effectful |
| Limit | Effectful.Internal.Unlift, Effectful.Internal.Monad, Effectful |
| Limited | Effectful.Internal.Unlift, Effectful.Internal.Monad, Effectful |
| Listen | Effectful.Writer.Dynamic |
| listen | |
| 1 (Function) | Effectful.Writer.Static.Local |
| 2 (Function) | Effectful.Writer.Static.Shared |
| 3 (Function) | Effectful.Writer.Dynamic |
| listens | |
| 1 (Function) | Effectful.Writer.Static.Local |
| 2 (Function) | Effectful.Writer.Static.Shared |
| 3 (Function) | Effectful.Writer.Dynamic |
| Local | Effectful.Reader.Dynamic |
| local | |
| 1 (Function) | Effectful.Reader.Static |
| 2 (Function) | Effectful.Reader.Dynamic |
| LocalEnv | |
| 1 (Type/Class) | Effectful.Internal.Monad, Effectful.Dispatch.Dynamic |
| 2 (Data Constructor) | Effectful.Internal.Monad |
| localLift | Effectful.Dispatch.Dynamic |
| localLiftUnlift | Effectful.Dispatch.Dynamic |
| localLiftUnliftIO | Effectful.Dispatch.Dynamic |
| localSeqLift | Effectful.Dispatch.Dynamic |
| localSeqUnlift | Effectful.Dispatch.Dynamic |
| localSeqUnliftIO | Effectful.Dispatch.Dynamic |
| localStaticRep | Effectful.Internal.Monad, Effectful.Dispatch.Static |
| localUnlift | Effectful.Dispatch.Dynamic |
| localUnliftIO | Effectful.Dispatch.Dynamic |
| many | Effectful.NonDet |
| MaybeIOE | Effectful.Internal.Monad, Effectful.Dispatch.Static |
| modify | |
| 1 (Function) | Effectful.State.Static.Local |
| 2 (Function) | Effectful.State.Static.Shared |
| 3 (Function) | Effectful.State.Dynamic |
| modifyEnv | Effectful.Internal.Env, Effectful.Internal.Monad, Effectful.Dispatch.Static.Primitive |
| modifyM | |
| 1 (Function) | Effectful.State.Static.Local |
| 2 (Function) | Effectful.State.Static.Shared |
| 3 (Function) | Effectful.State.Dynamic |
| modifyMVar' | Effectful.Internal.Utils |
| modifyMVar_' | Effectful.Internal.Utils |
| MonadIO | Effectful |
| MonadUnliftIO | Effectful |
| MVar' | Effectful.Internal.Utils |
| newIORef' | Effectful.Internal.Utils |
| newMVar' | Effectful.Internal.Utils |
| NonDet | Effectful.Internal.Monad, Effectful.NonDet |
| NoSideEffects | Effectful.Internal.Env, Effectful.Dispatch.Static |
| OnEmptyKeep | Effectful.NonDet |
| OnEmptyPolicy | Effectful.NonDet |
| OnEmptyRollback | Effectful.NonDet |
| Persistence | Effectful.Internal.Unlift, Effectful.Internal.Monad, Effectful |
| Persistent | Effectful.Internal.Unlift, Effectful.Internal.Monad, Effectful |
| persistentConcUnlift | Effectful.Internal.Unlift |
| prefixLength | Effectful.Internal.Effect |
| prettyCallStack | Effectful.Error.Static, Effectful.Error.Dynamic, Effectful.NonDet |
| Prim | Effectful.Internal.Monad, Effectful.Prim |
| PrimStateEff | Effectful.Internal.Monad, Effectful.Prim |
| Put | Effectful.State.Dynamic |
| put | |
| 1 (Function) | Effectful.State.Static.Local |
| 2 (Function) | Effectful.State.Static.Shared |
| 3 (Function) | Effectful.State.Dynamic |
| putEnv | Effectful.Internal.Env, Effectful.Internal.Monad, Effectful.Dispatch.Static.Primitive |
| putStaticRep | Effectful.Internal.Monad, Effectful.Dispatch.Static |
| raise | Effectful.Internal.Monad, Effectful |
| raiseWith | Effectful.Internal.Monad, Effectful |
| Reader | |
| 1 (Type/Class) | Effectful.Reader.Static |
| 2 (Type/Class) | Effectful.Reader.Dynamic |
| readIORef' | Effectful.Internal.Utils |
| readMVar' | Effectful.Internal.Utils |
| reallyUnsafeLiftMapIO | Effectful.Dispatch.Static.Unsafe |
| reallyUnsafeUnliftIO | Effectful.Dispatch.Static.Unsafe |
| reifyIndex | Effectful.Internal.Effect |
| reifyIndices | Effectful.Internal.Effect |
| reinterpret | Effectful.Dispatch.Dynamic |
| Relinker | |
| 1 (Type/Class) | Effectful.Internal.Env, Effectful.Dispatch.Static.Primitive |
| 2 (Data Constructor) | Effectful.Internal.Env, Effectful.Dispatch.Static.Primitive |
| relinkHandler | Effectful.Internal.Monad |
| replaceEnv | Effectful.Internal.Env |
| restoreEnv | Effectful.Internal.Env, Effectful.Dispatch.Static.Primitive |
| runEff | Effectful.Internal.Monad, Effectful |
| runError | |
| 1 (Function) | Effectful.Error.Static |
| 2 (Function) | Effectful.Error.Dynamic |
| runErrorNoCallStack | |
| 1 (Function) | Effectful.Error.Static |
| 2 (Function) | Effectful.Error.Dynamic |
| runFail | Effectful.Fail |
| runFailIO | Effectful.Fail |
| runHandler | Effectful.Internal.Monad |
| runNonDet | Effectful.NonDet |
| runPrim | Effectful.Internal.Monad, Effectful.Prim |
| runPureEff | Effectful.Internal.Monad, Effectful |
| runReader | |
| 1 (Function) | Effectful.Reader.Static |
| 2 (Function) | Effectful.Reader.Dynamic |
| runState | |
| 1 (Function) | Effectful.State.Static.Local |
| 2 (Function) | Effectful.State.Static.Shared |
| runStateLocal | Effectful.State.Dynamic |
| runStateMVar | Effectful.State.Static.Shared |
| runStateShared | Effectful.State.Dynamic |
| runStaticRep | Effectful.Internal.Monad, Effectful.Dispatch.Static |
| runWriter | |
| 1 (Function) | Effectful.Writer.Static.Local |
| 2 (Function) | Effectful.Writer.Static.Shared |
| runWriterLocal | Effectful.Writer.Dynamic |
| runWriterShared | Effectful.Writer.Dynamic |
| send | Effectful.Internal.Monad, Effectful.Dispatch.Dynamic |
| SeqUnlift | Effectful.Internal.Unlift, Effectful.Internal.Monad, Effectful |
| seqUnlift | Effectful.Internal.Unlift |
| seqUnliftIO | Effectful.Internal.Monad, Effectful.Dispatch.Static |
| SharedSuffix | Effectful.Dispatch.Dynamic |
| SideEffects | Effectful.Internal.Env, Effectful.Dispatch.Static |
| sizeEnv | Effectful.Internal.Env, Effectful.Dispatch.Static.Primitive |
| some | Effectful.NonDet |
| State | |
| 1 (Type/Class) | Effectful.State.Static.Local |
| 2 (Type/Class) | Effectful.State.Static.Shared |
| 3 (Type/Class) | Effectful.State.Dynamic |
| 4 (Data Constructor) | Effectful.State.Dynamic |
| state | |
| 1 (Function) | Effectful.State.Static.Local |
| 2 (Function) | Effectful.State.Static.Shared |
| 3 (Function) | Effectful.State.Dynamic |
| stateEnv | Effectful.Internal.Env, Effectful.Internal.Monad, Effectful.Dispatch.Static.Primitive |
| StateM | Effectful.State.Dynamic |
| stateM | |
| 1 (Function) | Effectful.State.Static.Local |
| 2 (Function) | Effectful.State.Static.Shared |
| 3 (Function) | Effectful.State.Dynamic |
| stateStaticRep | Effectful.Internal.Monad, Effectful.Dispatch.Static |
| stateStaticRepM | Effectful.Internal.Monad, Effectful.Dispatch.Static |
| Static | Effectful.Internal.Env, Effectful |
| StaticRep | Effectful.Internal.Monad, Effectful.Dispatch.Static |
| stEffects | Effectful.Internal.Env |
| Storage | |
| 1 (Type/Class) | Effectful.Internal.Env |
| 2 (Data Constructor) | Effectful.Internal.Env |
| stRelinkers | Effectful.Internal.Env |
| stSize | Effectful.Internal.Env |
| stVersion | Effectful.Internal.Env |
| stVersions | Effectful.Internal.Env |
| Subset | Effectful.Internal.Effect, Effectful.Internal.Monad, Effectful |
| subsetFullyKnown | Effectful.Internal.Effect |
| subsume | Effectful.Internal.Monad, Effectful |
| subsumeEnv | Effectful.Internal.Env |
| sumEff | Effectful.NonDet |
| tailEnv | Effectful.Internal.Env, Effectful.Dispatch.Static.Primitive |
| Tell | Effectful.Writer.Dynamic |
| tell | |
| 1 (Function) | Effectful.Writer.Static.Local |
| 2 (Function) | Effectful.Writer.Static.Shared |
| 3 (Function) | Effectful.Writer.Dynamic |
| ThrowError | Effectful.Error.Dynamic |
| throwError | |
| 1 (Function) | Effectful.Error.Static |
| 2 (Function) | Effectful.Error.Dynamic |
| toAny | Effectful.Internal.Utils |
| toMVar' | Effectful.Internal.Utils |
| tryError | |
| 1 (Function) | Effectful.Error.Static |
| 2 (Function) | Effectful.Error.Dynamic |
| Type | Effectful.Internal.Effect |
| unconsEnv | Effectful.Internal.Env, Effectful.Dispatch.Static.Primitive |
| unEff | Effectful.Internal.Monad, Effectful.Dispatch.Static |
| UnliftStrategy | Effectful.Internal.Unlift, Effectful.Internal.Monad, Effectful |
| unliftStrategy | Effectful.Internal.Monad, Effectful |
| Unlimited | Effectful.Internal.Unlift, Effectful.Internal.Monad, Effectful |
| unreplaceEnv | Effectful.Internal.Env |
| unsafeConcUnliftIO | Effectful.Dispatch.Static |
| unsafeEff | Effectful.Internal.Monad, Effectful.Dispatch.Static |
| unsafeEff_ | Effectful.Internal.Monad, Effectful.Dispatch.Static |
| unsafeLiftMapIO | Effectful.Dispatch.Static |
| unsafeSeqUnliftIO | Effectful.Dispatch.Static |
| weakThreadId | Effectful.Internal.Utils |
| withConcEffToIO | Effectful.Internal.Monad, Effectful |
| withEffToIO | Effectful.Internal.Monad, Effectful |
| withLiftMap | Effectful.Dispatch.Dynamic |
| withLiftMapIO | Effectful.Dispatch.Dynamic |
| withReader | |
| 1 (Function) | Effectful.Reader.Static |
| 2 (Function) | Effectful.Reader.Dynamic |
| withRunInIO | Effectful |
| withSeqEffToIO | Effectful.Internal.Monad, Effectful |
| WithSideEffects | Effectful.Internal.Env, Effectful.Dispatch.Static |
| withUnliftStrategy | Effectful.Internal.Monad, Effectful |
| writeIORef' | Effectful.Internal.Utils |
| Writer | |
| 1 (Type/Class) | Effectful.Writer.Static.Local |
| 2 (Type/Class) | Effectful.Writer.Static.Shared |
| 3 (Type/Class) | Effectful.Writer.Dynamic |