:<|>: | 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.Dispatch.Static.Primitive, Effectful.Internal.Monad |
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.Dispatch.Static.Primitive, Effectful.Internal.Monad |
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.Dispatch.Static.Primitive, Effectful.Internal.Monad |
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.Dispatch.Static.Primitive, Effectful.Internal.Monad |
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.Dispatch.Static.Primitive, Effectful.Internal.Monad |
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 |