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

Index

++Effectful.Internal.Effect, Effectful.Provider.List
:<|>: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.Internal.Monad, Effectful.Dispatch.Static.Primitive
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
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.Internal.Monad, Effectful.Dispatch.Static.Primitive
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.Error.Static, Effectful.Dispatch.Dynamic, Effectful.Error.Dynamic, Effectful.NonDet
imposeEffectful.Dispatch.Dynamic
injectEffectful.Internal.Monad, Effectful
injectEnvEffectful.Internal.Env
inlineBracketEffectful.Internal.Utils
interposeEffectful.Dispatch.Dynamic
interpretEffectful.Dispatch.Dynamic
IOEEffectful.Internal.Monad, Effectful
IORef'Effectful.Internal.Utils
IsUnknownSuffixOfEffectful.Internal.Effect
KnownEffectsEffectful.Internal.Effect, Effectful.Provider.List
knownEffectsLengthEffectful.Internal.Effect
KnownPrefixEffectful.Internal.Effect
LabeledEffectful.Labeled
labeledEffectful.Labeled
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
localBorrowEffectful.Dispatch.Dynamic
LocalEnv 
1 (Type/Class)Effectful.Internal.Monad, Effectful.Dispatch.Dynamic
2 (Data Constructor)Effectful.Internal.Monad
localLendEffectful.Dispatch.Dynamic
localLiftEffectful.Dispatch.Dynamic
localLiftUnliftEffectful.Dispatch.Dynamic
localLiftUnliftIOEffectful.Dispatch.Dynamic
localSeqBorrowEffectful.Dispatch.Dynamic
localSeqLendEffectful.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.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
MonadIOEffectful
MonadUnliftIOEffectful
MVar'Effectful.Internal.Utils
newIORef'Effectful.Internal.Utils
newMVar'Effectful.Internal.Utils
newUniqueEffectful.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
prefixLengthEffectful.Internal.Effect
prettyCallStackEffectful.Error.Static, Effectful.Error.Dynamic, Effectful.NonDet
PrimEffectful.Internal.Monad, Effectful.Prim
PrimStateEffEffectful.Internal.Monad, Effectful.Prim
provideEffectful.Provider
provideListEffectful.Provider.List
provideListWithEffectful.Provider.List
provideListWith_Effectful.Provider.List
provideList_Effectful.Provider.List
ProviderEffectful.Provider
ProviderListEffectful.Provider.List
ProviderList_Effectful.Provider.List
Provider_Effectful.Provider
provideWithEffectful.Provider
provideWith_Effectful.Provider
provide_Effectful.Provider
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.Internal.Monad, Effectful.Dispatch.Static.Primitive
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
runErrorNoCallStackWith 
1 (Function)Effectful.Error.Static
2 (Function)Effectful.Error.Dynamic
runErrorWith 
1 (Function)Effectful.Error.Static
2 (Function)Effectful.Error.Dynamic
runFailEffectful.Fail
runFailIOEffectful.Fail
runHandlerEffectful.Internal.Monad
runLabeledEffectful.Labeled
runNonDetEffectful.NonDet
runPrimEffectful.Internal.Monad, Effectful.Prim
runProviderEffectful.Provider
runProviderListEffectful.Provider.List
runProviderList_Effectful.Provider.List
runProvider_Effectful.Provider
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.Internal.Monad, Effectful.Dispatch.Static.Primitive
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
thawCallStackEffectful.Internal.Utils
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
UniqueEffectful.Internal.Utils
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