effectful-core-2.5.0.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
AllocationLimitExceeded 
1 (Type/Class)Effectful.Exception
2 (Data Constructor)Effectful.Exception
allowInterruptEffectful.Exception
AlternativeEffectful.NonDet
AnyEffectful.Internal.Utils
AnyEffectEffectful.Internal.Env
AnyRelinkerEffectful.Internal.Env
ArithExceptionEffectful.Exception
ArrayExceptionEffectful.Exception
AskEffectful.Reader.Dynamic, Effectful.Labeled.Reader
ask 
1 (Function)Effectful.Reader.Static
2 (Function)Effectful.Reader.Dynamic
3 (Function)Effectful.Labeled.Reader
asks 
1 (Function)Effectful.Reader.Static
2 (Function)Effectful.Reader.Dynamic
3 (Function)Effectful.Labeled.Reader
assertEffectful.Exception
AssertionFailed 
1 (Type/Class)Effectful.Exception
2 (Data Constructor)Effectful.Exception
AsyncExceptionEffectful.Exception
asyncExceptionFromExceptionEffectful.Exception
asyncExceptionToExceptionEffectful.Exception
BlockedIndefinitelyOnMVar 
1 (Type/Class)Effectful.Exception
2 (Data Constructor)Effectful.Exception
BlockedIndefinitelyOnSTM 
1 (Type/Class)Effectful.Exception
2 (Data Constructor)Effectful.Exception
bracketEffectful.Exception
bracketOnErrorEffectful.Exception
bracket_Effectful.Exception
CallStackEffectful.Error.Static, Effectful.Error.Dynamic, Effectful.Labeled.Error, Effectful.NonDet
catchEffectful.Exception
catchDeepEffectful.Exception
CatchErrorEffectful.Error.Dynamic, Effectful.Labeled.Error
catchError 
1 (Function)Effectful.Error.Static
2 (Function)Effectful.Error.Dynamic
3 (Function)Effectful.Labeled.Error
catchesEffectful.Exception
catchesDeepEffectful.Exception
catchIfEffectful.Exception
catchIOEffectful.Exception
catchJustEffectful.Exception
catchSyncEffectful.Exception
catchSyncDeepEffectful.Exception
cloneEnvEffectful.Internal.Env, Effectful.Dispatch.Static.Primitive
CompactionFailed 
1 (Type/Class)Effectful.Exception
2 (Data Constructor)Effectful.Exception
ConcUnliftEffectful.Internal.Unlift, Effectful.Internal.Monad, Effectful
concUnliftIOEffectful.Internal.Monad, Effectful.Dispatch.Static
consEnvEffectful.Internal.Env, Effectful.Dispatch.Static.Primitive
copyStorageDataEffectful.Internal.Env
Deadlock 
1 (Type/Class)Effectful.Exception
2 (Data Constructor)Effectful.Exception
DenormalEffectful.Exception
DispatchEffectful.Internal.Env, Effectful
DispatchOfEffectful.Internal.Env, Effectful
displayExceptionEffectful.Exception
DivideByZeroEffectful.Exception
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
EffectHandler_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, Effectful.Labeled.Error
ErrorCall 
1 (Type/Class)Effectful.Exception
2 (Data Constructor)Effectful.Exception
ErrorCallWithLocationEffectful.Exception
evalState 
1 (Function)Effectful.State.Static.Local
2 (Function)Effectful.State.Static.Shared
evalStateLocal 
1 (Function)Effectful.State.Dynamic
2 (Function)Effectful.Labeled.State
evalStateMVarEffectful.State.Static.Shared
evalStateShared 
1 (Function)Effectful.State.Dynamic
2 (Function)Effectful.Labeled.State
evalStaticRepEffectful.Internal.Monad, Effectful.Dispatch.Static
evaluateEffectful.Exception
evaluateDeepEffectful.Exception
ExceptionEffectful.Exception
execState 
1 (Function)Effectful.State.Static.Local
2 (Function)Effectful.State.Static.Shared
execStateLocal 
1 (Function)Effectful.State.Dynamic
2 (Function)Effectful.Labeled.State
execStateMVarEffectful.State.Static.Shared
execStateShared 
1 (Function)Effectful.State.Dynamic
2 (Function)Effectful.Labeled.State
execStaticRepEffectful.Internal.Monad, Effectful.Dispatch.Static
execWriter 
1 (Function)Effectful.Writer.Static.Local
2 (Function)Effectful.Writer.Static.Shared
execWriterLocal 
1 (Function)Effectful.Writer.Dynamic
2 (Function)Effectful.Labeled.Writer
execWriterShared 
1 (Function)Effectful.Writer.Dynamic
2 (Function)Effectful.Labeled.Writer
ExitCaseEffectful.Exception
ExitCaseAbortEffectful.Exception
ExitCaseExceptionEffectful.Exception
ExitCaseSuccessEffectful.Exception
Fail 
1 (Type/Class)Effectful.Internal.Monad, Effectful.Fail
2 (Data Constructor)Effectful.Internal.Monad, Effectful.Fail
finallyEffectful.Exception
fromAnyEffectful.Internal.Utils
fromAnyEffectEffectful.Internal.Env
fromAnyRelinkerEffectful.Internal.Env
fromExceptionEffectful.Exception
generalBracketEffectful.Exception
GetEffectful.State.Dynamic, Effectful.Labeled.State
get 
1 (Function)Effectful.State.Static.Local
2 (Function)Effectful.State.Static.Shared
3 (Function)Effectful.State.Dynamic
4 (Function)Effectful.Labeled.State
getCallStackEffectful.Error.Static, Effectful.Error.Dynamic, Effectful.Labeled.Error, Effectful.NonDet
getEnvEffectful.Internal.Env, Effectful.Dispatch.Static.Primitive
getMaskingStateEffectful.Exception
gets 
1 (Function)Effectful.State.Static.Local
2 (Function)Effectful.State.Static.Shared
3 (Function)Effectful.State.Dynamic
4 (Function)Effectful.Labeled.State
getStaticRepEffectful.Internal.Monad, Effectful.Dispatch.Static
handleEffectful.Exception
handleDeepEffectful.Exception
handleError 
1 (Function)Effectful.Error.Static
2 (Function)Effectful.Error.Dynamic
3 (Function)Effectful.Labeled.Error
handleIfEffectful.Exception
handleIOEffectful.Exception
handleJustEffectful.Exception
Handler 
1 (Type/Class)Effectful.Exception
2 (Data Constructor)Effectful.Exception
3 (Type/Class)Effectful.Internal.Monad
4 (Data Constructor)Effectful.Internal.Monad
handleSyncEffectful.Exception
handleSyncDeepEffectful.Exception
HasCallStackEffectful.Dispatch.Static, Effectful.Error.Static, Effectful.Dispatch.Dynamic, Effectful.Error.Dynamic, Effectful.Labeled.Error, Effectful.NonDet
HeapOverflowEffectful.Exception
imposeEffectful.Dispatch.Dynamic
imposeWithEffectful.Dispatch.Dynamic
imposeWith_Effectful.Dispatch.Dynamic
impose_Effectful.Dispatch.Dynamic
IndexOutOfBoundsEffectful.Exception
injectEffectful.Internal.Monad, Effectful
injectEnvEffectful.Internal.Env
inlineBracketEffectful.Internal.Utils
interposeEffectful.Dispatch.Dynamic
interposeWithEffectful.Dispatch.Dynamic
interposeWith_Effectful.Dispatch.Dynamic
interpose_Effectful.Dispatch.Dynamic
interpretEffectful.Dispatch.Dynamic
interpretWithEffectful.Dispatch.Dynamic
interpretWith_Effectful.Dispatch.Dynamic
interpret_Effectful.Dispatch.Dynamic
interruptibleEffectful.Exception
IOEEffectful.Internal.Monad, Effectful
IOExceptionEffectful.Exception
isAsyncExceptionEffectful.Exception
isSyncExceptionEffectful.Exception
IsUnknownSuffixOfEffectful.Internal.Effect
KnownEffectsEffectful.Internal.Effect, Effectful.Provider.List
knownEffectsLengthEffectful.Internal.Effect
KnownPrefixEffectful.Internal.Effect
KnownSubsetEffectful.Internal.Effect, Effectful.Dispatch.Dynamic
Labeled 
1 (Type/Class)Effectful.Labeled
2 (Data Constructor)Effectful.Labeled
labeledEffectful.Labeled
liftIOEffectful
LimitEffectful.Internal.Unlift, Effectful.Internal.Monad, Effectful
LimitedEffectful.Internal.Unlift, Effectful.Internal.Monad, Effectful
ListenEffectful.Writer.Dynamic, Effectful.Labeled.Writer
listen 
1 (Function)Effectful.Writer.Static.Local
2 (Function)Effectful.Writer.Static.Shared
3 (Function)Effectful.Writer.Dynamic
4 (Function)Effectful.Labeled.Writer
listens 
1 (Function)Effectful.Writer.Static.Local
2 (Function)Effectful.Writer.Static.Shared
3 (Function)Effectful.Writer.Dynamic
4 (Function)Effectful.Labeled.Writer
LocalEffectful.Reader.Dynamic, Effectful.Labeled.Reader
local 
1 (Function)Effectful.Reader.Static
2 (Function)Effectful.Reader.Dynamic
3 (Function)Effectful.Labeled.Reader
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
LossOfPrecisionEffectful.Exception
manyEffectful.NonDet
mapExceptionEffectful.Exception
maskEffectful.Exception
MaskedInterruptibleEffectful.Exception
MaskedUninterruptibleEffectful.Exception
MaskingStateEffectful.Exception
mask_Effectful.Exception
MaybeIOEEffectful.Internal.Monad, Effectful.Dispatch.Static
modify 
1 (Function)Effectful.State.Static.Local
2 (Function)Effectful.State.Static.Shared
3 (Function)Effectful.State.Dynamic
4 (Function)Effectful.Labeled.State
modifyEnvEffectful.Internal.Env, Effectful.Dispatch.Static.Primitive
modifyM 
1 (Function)Effectful.State.Static.Local
2 (Function)Effectful.State.Static.Shared
3 (Function)Effectful.State.Dynamic
4 (Function)Effectful.Labeled.State
MonadIOEffectful
MonadUnliftIOEffectful
NestedAtomically 
1 (Type/Class)Effectful.Exception
2 (Data Constructor)Effectful.Exception
newUniqueEffectful.Internal.Utils
NoMethodError 
1 (Type/Class)Effectful.Exception
2 (Data Constructor)Effectful.Exception
NonDetEffectful.Internal.Monad, Effectful.NonDet
NonTermination 
1 (Type/Class)Effectful.Exception
2 (Data Constructor)Effectful.Exception
NoSideEffectsEffectful.Internal.Env, Effectful.Dispatch.Static
OnEmptyKeepEffectful.NonDet
OnEmptyPolicyEffectful.NonDet
OnEmptyRollbackEffectful.NonDet
onExceptionEffectful.Exception
OverflowEffectful.Exception
PatternMatchFail 
1 (Type/Class)Effectful.Exception
2 (Data Constructor)Effectful.Exception
PersistenceEffectful.Internal.Unlift, Effectful.Internal.Monad, Effectful
PersistentEffectful.Internal.Unlift, Effectful.Internal.Monad, Effectful
persistentConcUnliftEffectful.Internal.Unlift
plusEffEffectful.NonDet
prefixLengthEffectful.Internal.Effect
prettyCallStackEffectful.Error.Static, Effectful.Error.Dynamic, Effectful.Labeled.Error, 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, Effectful.Labeled.State
put 
1 (Function)Effectful.State.Static.Local
2 (Function)Effectful.State.Static.Shared
3 (Function)Effectful.State.Dynamic
4 (Function)Effectful.Labeled.State
putEnvEffectful.Internal.Env, Effectful.Dispatch.Static.Primitive
putStaticRepEffectful.Internal.Monad, Effectful.Dispatch.Static
raiseEffectful.Internal.Monad, Effectful
raiseWithEffectful.Internal.Monad, Effectful
RatioZeroDenominatorEffectful.Exception
Reader 
1 (Type/Class)Effectful.Reader.Static
2 (Type/Class)Effectful.Reader.Dynamic, Effectful.Labeled.Reader
reallyUnsafeLiftMapIOEffectful.Dispatch.Static.Unsafe
reallyUnsafeUnliftIOEffectful.Dispatch.Static.Unsafe
RecConError 
1 (Type/Class)Effectful.Exception
2 (Data Constructor)Effectful.Exception
RecSelError 
1 (Type/Class)Effectful.Exception
2 (Data Constructor)Effectful.Exception
RecUpdError 
1 (Type/Class)Effectful.Exception
2 (Data Constructor)Effectful.Exception
Ref 
1 (Type/Class)Effectful.Internal.Env
2 (Data Constructor)Effectful.Internal.Env
reifyIndexEffectful.Internal.Effect
reifyIndicesEffectful.Internal.Effect
reinterpretEffectful.Dispatch.Dynamic
reinterpretWithEffectful.Dispatch.Dynamic
reinterpretWith_Effectful.Dispatch.Dynamic
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
relinkHandlerEffectful.Internal.Monad
replaceEnvEffectful.Internal.Env
restoreStorageDataEffectful.Internal.Env
runEffEffectful.Internal.Monad, Effectful
runError 
1 (Function)Effectful.Error.Static
2 (Function)Effectful.Error.Dynamic
3 (Function)Effectful.Labeled.Error
runErrorNoCallStack 
1 (Function)Effectful.Error.Static
2 (Function)Effectful.Error.Dynamic
3 (Function)Effectful.Labeled.Error
runErrorNoCallStackWith 
1 (Function)Effectful.Error.Static
2 (Function)Effectful.Error.Dynamic
3 (Function)Effectful.Labeled.Error
runErrorWith 
1 (Function)Effectful.Error.Static
2 (Function)Effectful.Error.Dynamic
3 (Function)Effectful.Labeled.Error
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
3 (Function)Effectful.Labeled.Reader
runState 
1 (Function)Effectful.State.Static.Local
2 (Function)Effectful.State.Static.Shared
runStateLocal 
1 (Function)Effectful.State.Dynamic
2 (Function)Effectful.Labeled.State
runStateMVarEffectful.State.Static.Shared
runStateShared 
1 (Function)Effectful.State.Dynamic
2 (Function)Effectful.Labeled.State
runStaticRepEffectful.Internal.Monad, Effectful.Dispatch.Static
runWriter 
1 (Function)Effectful.Writer.Static.Local
2 (Function)Effectful.Writer.Static.Shared
runWriterLocal 
1 (Function)Effectful.Writer.Dynamic
2 (Function)Effectful.Labeled.Writer
runWriterShared 
1 (Function)Effectful.Writer.Dynamic
2 (Function)Effectful.Labeled.Writer
sdEffectsEffectful.Internal.Env
sdRelinkersEffectful.Internal.Env
sdSizeEffectful.Internal.Env
sdVersionsEffectful.Internal.Env
sendEffectful.Internal.Monad, Effectful.Dispatch.Dynamic
SeqForkUnliftEffectful.Internal.Unlift, Effectful.Internal.Monad, Effectful
seqForkUnliftIOEffectful.Internal.Monad
SeqUnliftEffectful.Internal.Unlift, Effectful.Internal.Monad, Effectful
seqUnliftIOEffectful.Internal.Monad, Effectful.Dispatch.Static
SharedSuffixEffectful.Dispatch.Dynamic
SideEffectsEffectful.Internal.Env, Effectful.Dispatch.Static
sizeEnvEffectful.Internal.Env, Effectful.Dispatch.Static.Primitive
someEffectful.NonDet
SomeAsyncException 
1 (Type/Class)Effectful.Exception
2 (Data Constructor)Effectful.Exception
SomeException 
1 (Type/Class)Effectful.Exception
2 (Data Constructor)Effectful.Exception
StackOverflowEffectful.Exception
State 
1 (Type/Class)Effectful.State.Static.Local
2 (Type/Class)Effectful.State.Static.Shared
3 (Type/Class)Effectful.State.Dynamic, Effectful.Labeled.State
4 (Data Constructor)Effectful.State.Dynamic, Effectful.Labeled.State
state 
1 (Function)Effectful.State.Static.Local
2 (Function)Effectful.State.Static.Shared
3 (Function)Effectful.State.Dynamic
4 (Function)Effectful.Labeled.State
stateEnvEffectful.Internal.Env, Effectful.Dispatch.Static.Primitive
StateMEffectful.State.Dynamic, Effectful.Labeled.State
stateM 
1 (Function)Effectful.State.Static.Local
2 (Function)Effectful.State.Static.Shared
3 (Function)Effectful.State.Dynamic
4 (Function)Effectful.Labeled.State
stateStaticRepEffectful.Internal.Monad, Effectful.Dispatch.Static
stateStaticRepMEffectful.Internal.Monad, Effectful.Dispatch.Static
StaticEffectful.Internal.Env, Effectful
StaticRepEffectful.Internal.Monad, Effectful.Dispatch.Static
stDataEffectful.Internal.Env
Storage 
1 (Type/Class)Effectful.Internal.Env
2 (Data Constructor)Effectful.Internal.Env
StorageData 
1 (Type/Class)Effectful.Internal.Env
2 (Data Constructor)Effectful.Internal.Env
stVersionEffectful.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, Effectful.Labeled.Writer
tell 
1 (Function)Effectful.Writer.Static.Local
2 (Function)Effectful.Writer.Static.Shared
3 (Function)Effectful.Writer.Dynamic
4 (Function)Effectful.Labeled.Writer
thawCallStackEffectful.Internal.Utils
ThreadKilledEffectful.Exception
throwError 
1 (Function)Effectful.Error.Static
2 (Function)Effectful.Error.Dynamic
3 (Function)Effectful.Labeled.Error
ThrowErrorWithEffectful.Error.Dynamic, Effectful.Labeled.Error
throwErrorWith 
1 (Function)Effectful.Error.Static
2 (Function)Effectful.Error.Dynamic
3 (Function)Effectful.Labeled.Error
throwError_ 
1 (Function)Effectful.Error.Static
2 (Function)Effectful.Error.Dynamic
3 (Function)Effectful.Labeled.Error
throwIOEffectful.Exception
toAnyEffectful.Internal.Utils
toAnyEffectEffectful.Internal.Env
toAnyRelinkerEffectful.Internal.Env
toExceptionEffectful.Exception
tryEffectful.Exception
tryDeepEffectful.Exception
tryError 
1 (Function)Effectful.Error.Static
2 (Function)Effectful.Error.Dynamic
3 (Function)Effectful.Labeled.Error
tryIfEffectful.Exception
tryIOEffectful.Exception
tryJustEffectful.Exception
trySyncEffectful.Exception
trySyncDeepEffectful.Exception
TypeEffectful.Internal.Effect
TypeError 
1 (Type/Class)Effectful.Exception
2 (Data Constructor)Effectful.Exception
unconsEnvEffectful.Internal.Env, Effectful.Dispatch.Static.Primitive
UndefinedElementEffectful.Exception
UnderflowEffectful.Exception
unEffEffectful.Internal.Monad, Effectful.Dispatch.Static
uninterruptibleMaskEffectful.Exception
uninterruptibleMask_Effectful.Exception
UniqueEffectful.Internal.Utils
UnliftStrategyEffectful.Internal.Unlift, Effectful.Internal.Monad, Effectful
unliftStrategyEffectful.Internal.Monad, Effectful
UnlimitedEffectful.Internal.Unlift, Effectful.Internal.Monad, Effectful
UnmaskedEffectful.Exception
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
UserInterruptEffectful.Exception
VersionEffectful.Internal.Env
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
Writer 
1 (Type/Class)Effectful.Writer.Static.Local
2 (Type/Class)Effectful.Writer.Static.Shared
3 (Type/Class)Effectful.Writer.Dynamic, Effectful.Labeled.Writer