effectful-core-2.2.2.0: An easy to use, performant extensible effects library.

Index

:<|>:Effectful.Internal.Monad, Effectful.NonDet
:>Effectful.Internal.Effect, Effectful
:>>Effectful.Internal.Effect, Effectful
<|>Effectful.NonDet
AlternativeEffectful.NonDet
AnyEffectful.Internal.Utils
AskEffectful.Reader.Dynamic
ask 
1 (Function)Effectful.Reader.Static
2 (Function)Effectful.Reader.Dynamic
asks 
1 (Function)Effectful.Reader.Static
2 (Function)Effectful.Reader.Dynamic
CallStackEffectful.Error.Static, Effectful.Error.Dynamic, Effectful.NonDet
CatchErrorEffectful.Error.Dynamic
catchError 
1 (Function)Effectful.Error.Static
2 (Function)Effectful.Error.Dynamic
cloneEnvEffectful.Internal.Env, Effectful.Dispatch.Static.Primitive
ConcUnliftEffectful.Internal.Unlift, Effectful.Internal.Monad, Effectful
concUnliftEffectful.Internal.Unlift
concUnliftIOEffectful.Internal.Monad, Effectful.Dispatch.Static
consEnvEffectful.Internal.Env, Effectful.Dispatch.Static.Primitive, Effectful.Internal.Monad
DispatchEffectful.Internal.Env, Effectful
DispatchOfEffectful.Internal.Env, Effectful
dummyRelinkerEffectful.Internal.Env, Effectful.Dispatch.Static.Primitive
DynamicEffectful.Internal.Env, Effectful
EffEffectful.Internal.Monad, Effectful
EffectEffectful.Internal.Effect, Effectful
EffectHandlerEffectful.Internal.Monad, Effectful.Dispatch.Dynamic
EffectRepEffectful.Internal.Env, Effectful.Dispatch.Static.Primitive
EmptyEffectful.Internal.Monad, Effectful.NonDet
emptyEffectful.NonDet
emptyEffEffectful.NonDet
emptyEnvEffectful.Internal.Env, Effectful.Dispatch.Static.Primitive
Env 
1 (Type/Class)Effectful.Internal.Env, Effectful.Dispatch.Static.Primitive
2 (Data Constructor)Effectful.Internal.Env
envOffsetEffectful.Internal.Env
envRefsEffectful.Internal.Env
envStorageEffectful.Internal.Env
EphemeralEffectful.Internal.Unlift, Effectful.Internal.Monad, Effectful
ephemeralConcUnliftEffectful.Internal.Unlift
eqThreadIdEffectful.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
evalStateLocalEffectful.State.Dynamic
evalStateMVarEffectful.State.Static.Shared
evalStateSharedEffectful.State.Dynamic
evalStaticRepEffectful.Internal.Monad, Effectful.Dispatch.Static
execState 
1 (Function)Effectful.State.Static.Local
2 (Function)Effectful.State.Static.Shared
execStateLocalEffectful.State.Dynamic
execStateMVarEffectful.State.Static.Shared
execStateSharedEffectful.State.Dynamic
execStaticRepEffectful.Internal.Monad, Effectful.Dispatch.Static
execWriter 
1 (Function)Effectful.Writer.Static.Local
2 (Function)Effectful.Writer.Static.Shared
execWriterLocalEffectful.Writer.Dynamic
execWriterSharedEffectful.Writer.Dynamic
Fail 
1 (Type/Class)Effectful.Internal.Monad, Effectful.Fail
2 (Data Constructor)Effectful.Internal.Monad, Effectful.Fail
fromAnyEffectful.Internal.Utils
GetEffectful.State.Dynamic
get 
1 (Function)Effectful.State.Static.Local
2 (Function)Effectful.State.Static.Shared
3 (Function)Effectful.State.Dynamic
getCallStackEffectful.Error.Static, Effectful.Error.Dynamic, Effectful.NonDet
getEnvEffectful.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
getStaticRepEffectful.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
HasCallStackEffectful.Dispatch.Static, Effectful.Dispatch.Dynamic, Effectful.Error.Static, Effectful.Error.Dynamic, Effectful.NonDet
imposeEffectful.Dispatch.Dynamic
injectEffectful.Internal.Monad, Effectful
injectEnvEffectful.Internal.Env
interposeEffectful.Dispatch.Dynamic
interpretEffectful.Dispatch.Dynamic
IOEEffectful.Internal.Monad, Effectful
IORef'Effectful.Internal.Utils
IsUnknownSuffixOfEffectful.Internal.Effect
KnownPrefixEffectful.Internal.Effect
liftIOEffectful
LimitEffectful.Internal.Unlift, Effectful.Internal.Monad, Effectful
LimitedEffectful.Internal.Unlift, Effectful.Internal.Monad, Effectful
ListenEffectful.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
LocalEffectful.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
localLiftEffectful.Dispatch.Dynamic
localLiftUnliftEffectful.Dispatch.Dynamic
localLiftUnliftIOEffectful.Dispatch.Dynamic
localSeqLiftEffectful.Dispatch.Dynamic
localSeqUnliftEffectful.Dispatch.Dynamic
localSeqUnliftIOEffectful.Dispatch.Dynamic
localStaticRepEffectful.Internal.Monad, Effectful.Dispatch.Static
localUnliftEffectful.Dispatch.Dynamic
localUnliftIOEffectful.Dispatch.Dynamic
manyEffectful.NonDet
MaybeIOEEffectful.Internal.Monad, Effectful.Dispatch.Static
modify 
1 (Function)Effectful.State.Static.Local
2 (Function)Effectful.State.Static.Shared
3 (Function)Effectful.State.Dynamic
modifyEnvEffectful.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
MonadIOEffectful
MonadUnliftIOEffectful
MVar'Effectful.Internal.Utils
newIORef'Effectful.Internal.Utils
newMVar'Effectful.Internal.Utils
NonDetEffectful.Internal.Monad, Effectful.NonDet
NoSideEffectsEffectful.Internal.Env, Effectful.Dispatch.Static
OnEmptyKeepEffectful.NonDet
OnEmptyPolicyEffectful.NonDet
OnEmptyRollbackEffectful.NonDet
PersistenceEffectful.Internal.Unlift, Effectful.Internal.Monad, Effectful
PersistentEffectful.Internal.Unlift, Effectful.Internal.Monad, Effectful
persistentConcUnliftEffectful.Internal.Unlift
prefixLengthEffectful.Internal.Effect
prettyCallStackEffectful.Error.Static, Effectful.Error.Dynamic, Effectful.NonDet
PrimEffectful.Internal.Monad, Effectful.Prim
PrimStateEffEffectful.Internal.Monad, Effectful.Prim
PutEffectful.State.Dynamic
put 
1 (Function)Effectful.State.Static.Local
2 (Function)Effectful.State.Static.Shared
3 (Function)Effectful.State.Dynamic
putEnvEffectful.Internal.Env, Effectful.Dispatch.Static.Primitive, Effectful.Internal.Monad
putStaticRepEffectful.Internal.Monad, Effectful.Dispatch.Static
raiseEffectful.Internal.Monad, Effectful
raiseWithEffectful.Internal.Monad, Effectful
Reader 
1 (Type/Class)Effectful.Reader.Static
2 (Type/Class)Effectful.Reader.Dynamic
readIORef'Effectful.Internal.Utils
readMVar'Effectful.Internal.Utils
reallyUnsafeLiftMapIOEffectful.Dispatch.Static.Unsafe
reallyUnsafeUnliftIOEffectful.Dispatch.Static.Unsafe
reifyIndexEffectful.Internal.Effect
reifyIndicesEffectful.Internal.Effect
reinterpretEffectful.Dispatch.Dynamic
Relinker 
1 (Type/Class)Effectful.Internal.Env, Effectful.Dispatch.Static.Primitive
2 (Data Constructor)Effectful.Internal.Env, Effectful.Dispatch.Static.Primitive
relinkHandlerEffectful.Internal.Monad
replaceEnvEffectful.Internal.Env
restoreEnvEffectful.Internal.Env, Effectful.Dispatch.Static.Primitive
runEffEffectful.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
runFailEffectful.Fail
runFailIOEffectful.Fail
runHandlerEffectful.Internal.Monad
runNonDetEffectful.NonDet
runPrimEffectful.Internal.Monad, Effectful.Prim
runPureEffEffectful.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
runStateLocalEffectful.State.Dynamic
runStateMVarEffectful.State.Static.Shared
runStateSharedEffectful.State.Dynamic
runStaticRepEffectful.Internal.Monad, Effectful.Dispatch.Static
runWriter 
1 (Function)Effectful.Writer.Static.Local
2 (Function)Effectful.Writer.Static.Shared
runWriterLocalEffectful.Writer.Dynamic
runWriterSharedEffectful.Writer.Dynamic
sendEffectful.Internal.Monad, Effectful.Dispatch.Dynamic
SeqUnliftEffectful.Internal.Unlift, Effectful.Internal.Monad, Effectful
seqUnliftEffectful.Internal.Unlift
seqUnliftIOEffectful.Internal.Monad, Effectful.Dispatch.Static
SharedSuffixEffectful.Dispatch.Dynamic
SideEffectsEffectful.Internal.Env, Effectful.Dispatch.Static
sizeEnvEffectful.Internal.Env, Effectful.Dispatch.Static.Primitive
someEffectful.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
stateEnvEffectful.Internal.Env, Effectful.Dispatch.Static.Primitive, Effectful.Internal.Monad
StateMEffectful.State.Dynamic
stateM 
1 (Function)Effectful.State.Static.Local
2 (Function)Effectful.State.Static.Shared
3 (Function)Effectful.State.Dynamic
stateStaticRepEffectful.Internal.Monad, Effectful.Dispatch.Static
stateStaticRepMEffectful.Internal.Monad, Effectful.Dispatch.Static
StaticEffectful.Internal.Env, Effectful
StaticRepEffectful.Internal.Monad, Effectful.Dispatch.Static
stEffectsEffectful.Internal.Env
Storage 
1 (Type/Class)Effectful.Internal.Env
2 (Data Constructor)Effectful.Internal.Env
stRelinkersEffectful.Internal.Env
stSizeEffectful.Internal.Env
stVersionEffectful.Internal.Env
stVersionsEffectful.Internal.Env
SubsetEffectful.Internal.Effect, Effectful.Internal.Monad, Effectful
subsetFullyKnownEffectful.Internal.Effect
subsumeEffectful.Internal.Monad, Effectful
subsumeEnvEffectful.Internal.Env
sumEffEffectful.NonDet
tailEnvEffectful.Internal.Env, Effectful.Dispatch.Static.Primitive
TellEffectful.Writer.Dynamic
tell 
1 (Function)Effectful.Writer.Static.Local
2 (Function)Effectful.Writer.Static.Shared
3 (Function)Effectful.Writer.Dynamic
ThrowErrorEffectful.Error.Dynamic
throwError 
1 (Function)Effectful.Error.Static
2 (Function)Effectful.Error.Dynamic
toAnyEffectful.Internal.Utils
toMVar'Effectful.Internal.Utils
tryError 
1 (Function)Effectful.Error.Static
2 (Function)Effectful.Error.Dynamic
TypeEffectful.Internal.Effect
unconsEnvEffectful.Internal.Env, Effectful.Dispatch.Static.Primitive
unEffEffectful.Internal.Monad, Effectful.Dispatch.Static
UnliftStrategyEffectful.Internal.Unlift, Effectful.Internal.Monad, Effectful
unliftStrategyEffectful.Internal.Monad, Effectful
UnlimitedEffectful.Internal.Unlift, Effectful.Internal.Monad, Effectful
unreplaceEnvEffectful.Internal.Env
unsafeConcUnliftIOEffectful.Dispatch.Static
unsafeEffEffectful.Internal.Monad, Effectful.Dispatch.Static
unsafeEff_Effectful.Internal.Monad, Effectful.Dispatch.Static
unsafeLiftMapIOEffectful.Dispatch.Static
unsafeSeqUnliftIOEffectful.Dispatch.Static
weakThreadIdEffectful.Internal.Utils
withConcEffToIOEffectful.Internal.Monad, Effectful
withEffToIOEffectful.Internal.Monad, Effectful
withLiftMapEffectful.Dispatch.Dynamic
withLiftMapIOEffectful.Dispatch.Dynamic
withReader 
1 (Function)Effectful.Reader.Static
2 (Function)Effectful.Reader.Dynamic
withRunInIOEffectful
withSeqEffToIOEffectful.Internal.Monad, Effectful
WithSideEffectsEffectful.Internal.Env, Effectful.Dispatch.Static
withUnliftStrategyEffectful.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