polysemy-1.3.0.0: Higher-order, low-boilerplate, zero-cost free monads.

Index

.&&.Polysemy.Law
.&.Polysemy.Law
.@Polysemy.Internal, Polysemy
.@@Polysemy.Internal, Polysemy
.||.Polysemy.Law
:->Polysemy.Internal.TH.Common
=/=Polysemy.Law
===Polysemy.Law
==>Polysemy.Law
><Polysemy.Law
absurdUPolysemy.Internal.Union
againPolysemy.Law
allPropertiesPolysemy.Law
AmbiguousSendPolysemy.Internal.CustomErrors
AnythingOfAnyKindPolysemy.Internal.CustomErrors.Redefined
AppendPolysemy.Internal.Bundle
applyArbitrary2Polysemy.Law
applyArbitrary3Polysemy.Law
applyArbitrary4Polysemy.Law
applyFunPolysemy.Law
applyFun2Polysemy.Law
applyFun3Polysemy.Law
ArbitraryPolysemy.Law
arbitraryPolysemy.Law
Arbitrary1Polysemy.Law
arbitrary1Polysemy.Law
Arbitrary2Polysemy.Law
arbitrary2Polysemy.Law
arbitraryASCIICharPolysemy.Law
arbitraryBoundedEnumPolysemy.Law
arbitraryBoundedIntegralPolysemy.Law
arbitraryBoundedRandomPolysemy.Law
arbitraryPrintableCharPolysemy.Law
arbitrarySizedBoundedIntegralPolysemy.Law
arbitrarySizedFractionalPolysemy.Law
arbitrarySizedIntegralPolysemy.Law
arbitrarySizedNaturalPolysemy.Law
arbitraryUnicodeCharPolysemy.Law
Args 
1 (Data Constructor)Polysemy.Law
2 (Type/Class)Polysemy.Law
ASCIIString 
1 (Data Constructor)Polysemy.Law
2 (Type/Class)Polysemy.Law
AskPolysemy.Reader
askPolysemy.Reader
asksPolysemy.Reader
Async 
1 (Type/Class)Polysemy.Async
2 (Data Constructor)Polysemy.Async
asyncPolysemy.Async
asyncToIOPolysemy.Async
asyncToIOFinalPolysemy.Async
AtomicGetPolysemy.AtomicState
atomicGetPolysemy.AtomicState
atomicGetsPolysemy.AtomicState
atomicModifyPolysemy.AtomicState
atomicModify'Polysemy.AtomicState
atomicPutPolysemy.AtomicState
AtomicState 
1 (Type/Class)Polysemy.AtomicState
2 (Data Constructor)Polysemy.AtomicState
atomicStatePolysemy.AtomicState
atomicState'Polysemy.AtomicState
atomicStateToIOPolysemy.AtomicState
atomicStateToStatePolysemy.AtomicState
AwaitPolysemy.Async
awaitPolysemy.Async
bindSPolysemy.Internal.Strategy, Polysemy.Final
bindTPolysemy.Internal.Tactics, Polysemy
Blind 
1 (Data Constructor)Polysemy.Law
2 (Type/Class)Polysemy.Law
bombPolysemy.Internal.Fixpoint
BracketPolysemy.Resource
bracketPolysemy.Resource
BracketOnErrorPolysemy.Resource
bracketOnErrorPolysemy.Resource
Bundle 
1 (Type/Class)Polysemy.Bundle
2 (Data Constructor)Polysemy.Bundle
CatchPolysemy.Error
catchPolysemy.Error
catchJustPolysemy.Error
censorPolysemy.Writer
certaintyPolysemy.Law
chattyPolysemy.Law
checkCoveragePolysemy.Law
checkCoverageWithPolysemy.Law
checkExtensionsPolysemy.Internal.TH.Common
ChoosePolysemy.Internal.NonDet, Polysemy.NonDet
choosePolysemy.Law
CitizenPolysemy.Law
classesPolysemy.Law
classifyPolysemy.Law
cliConNamePolysemy.Internal.TH.Common
cliEffArgsPolysemy.Internal.TH.Common
cliEffNamePolysemy.Internal.TH.Common
cliEffResPolysemy.Internal.TH.Common
cliFunArgsPolysemy.Internal.TH.Common
cliFunCxtPolysemy.Internal.TH.Common
cliFunFixityPolysemy.Internal.TH.Common
cliFunNamePolysemy.Internal.TH.Common
CLInfoPolysemy.Internal.TH.Common
cliUnionNamePolysemy.Internal.TH.Common
CoArbitraryPolysemy.Law
coarbitraryPolysemy.Law
coarbitraryEnumPolysemy.Law
coarbitraryIntegralPolysemy.Law
coarbitraryRealPolysemy.Law
coarbitraryShowPolysemy.Law
collectPolysemy.Law
Confidence 
1 (Data Constructor)Polysemy.Law
2 (Type/Class)Polysemy.Law
conjoinPolysemy.Law
ConLiftInfoPolysemy.Internal.TH.Common
counterexamplePolysemy.Law
coverPolysemy.Law
coverTablePolysemy.Law
decompPolysemy.Internal.Union
decompCoercePolysemy.Internal.Union
DefiningModulePolysemy.Internal.CustomErrors
DefiningModuleForEffectPolysemy.Internal.CustomErrors
Discard 
1 (Data Constructor)Polysemy.Law
2 (Type/Class)Polysemy.Law
discardPolysemy.Law
disjoinPolysemy.Law
EffectPolysemy.Internal.Kind, Polysemy
EffectRowPolysemy.Internal.Kind, Polysemy
elementsPolysemy.Law
ElemOfPolysemy.Internal.Union, Polysemy.Membership
Embed 
1 (Type/Class)Polysemy.Embed.Type, Polysemy.Internal, Polysemy, Polysemy.Embed
2 (Data Constructor)Polysemy.Embed.Type, Polysemy.Internal, Polysemy, Polysemy.Embed
embedPolysemy.Internal, Polysemy, Polysemy.Embed
embedFinalPolysemy.Final, Polysemy
embedToFinalPolysemy.Final, Polysemy
embedToMonadIOPolysemy.IO
EmptyPolysemy.Internal.NonDet, Polysemy.NonDet
ErrorPolysemy.Error
errorToIOFinalPolysemy.Error
evalLazyStatePolysemy.State
evalStatePolysemy.State
execLazyStatePolysemy.State
execStatePolysemy.State
expectFailurePolysemy.Law
extendMembershipPolysemy.Internal.Bundle
extractPolysemy.Internal.Union
Fail 
1 (Type/Class)Polysemy.Fail.Type, Polysemy.Fail
2 (Data Constructor)Polysemy.Fail.Type, Polysemy.Fail
failingClassesPolysemy.Law
failingLabelsPolysemy.Law
failingTestCasePolysemy.Law
failToEmbedPolysemy.Fail
failToErrorPolysemy.Fail
failToNonDetPolysemy.Fail
FailurePolysemy.Law
FinalPolysemy.Final, Polysemy
finallyPolysemy.Resource
finalToFinalPolysemy.Final
FirstOrderPolysemy.Internal.CustomErrors
Fixed 
1 (Data Constructor)Polysemy.Law
2 (Type/Class)Polysemy.Law
Fixpoint 
1 (Type/Class)Polysemy.Internal.Fixpoint, Polysemy.Fixpoint
2 (Data Constructor)Polysemy.Internal.Fixpoint, Polysemy.Fixpoint
fixpointToFinalPolysemy.Fixpoint
FnPolysemy.Law
Fn2Polysemy.Law
Fn3Polysemy.Law
foldArrowTsPolysemy.Internal.TH.Common
forAllPolysemy.Law
forAllBlindPolysemy.Law
forAllPropertiesPolysemy.Law
forAllShowPolysemy.Law
forAllShrinkPolysemy.Law
forAllShrinkBlindPolysemy.Law
forAllShrinkShowPolysemy.Law
Forklift 
1 (Type/Class)Polysemy.Internal.Forklift
2 (Data Constructor)Polysemy.Internal.Forklift
frequencyPolysemy.Law
fromEitherPolysemy.Error
fromEitherMPolysemy.Error
fromExceptionPolysemy.Error
fromExceptionSemPolysemy.Error
fromExceptionSemViaPolysemy.Error
fromExceptionViaPolysemy.Error
Fun 
1 (Data Constructor)Polysemy.Law
2 (Type/Class)Polysemy.Law
FunctionPolysemy.Law
functionPolysemy.Law
functionBoundedEnumPolysemy.Law
functionIntegralPolysemy.Law
functionMapPolysemy.Law
functionRealFracPolysemy.Law
functionShowPolysemy.Law
functionVoidPolysemy.Law
GaveUpPolysemy.Law
GenPolysemy.Law
generatePolysemy.Law
genericCoarbitraryPolysemy.Law
genericShrinkPolysemy.Law
GetPolysemy.State
getPolysemy.State
getASCIIStringPolysemy.Law
getBlindPolysemy.Law
getCitizenPolysemy.Law
getEffectMetadataPolysemy.Internal.TH.Common
getFixedPolysemy.Law
getInfiniteListPolysemy.Law
GetInitialState 
1 (Data Constructor)Polysemy.Internal.Tactics
2 (Data Constructor)Polysemy.Internal.Strategy
getInitialStateSPolysemy.Internal.Strategy, Polysemy.Final
getInitialStateTPolysemy.Internal.Tactics, Polysemy
GetInspector 
1 (Data Constructor)Polysemy.Internal.Tactics
2 (Data Constructor)Polysemy.Internal.Strategy
getInspectorSPolysemy.Internal.Strategy, Polysemy.Final
getInspectorTPolysemy.Internal.Tactics, Polysemy
getLargePolysemy.Law
getNegativePolysemy.Law
getNonEmptyPolysemy.Law
getNonNegativePolysemy.Law
getNonPositivePolysemy.Law
getNonZeroPolysemy.Law
getOrderedPolysemy.Law
getPositivePolysemy.Law
getPrintableStringPolysemy.Law
getsPolysemy.State
getShrink2Polysemy.Law
getSizePolysemy.Law
getSmallPolysemy.Law
getSortedPolysemy.Law
getUnicodeStringPolysemy.Law
growingElementsPolysemy.Law
HerePolysemy.Internal.Union, Polysemy.Membership
hoistPolysemy.Internal.Union
HoistInterpretation 
1 (Data Constructor)Polysemy.Internal.Tactics
2 (Data Constructor)Polysemy.Internal.Strategy
hoistSemPolysemy.Internal
hoistStateIntoStateTPolysemy.State
idempotentIOPropertyPolysemy.Law
IfStuckPolysemy.Internal.CustomErrors.Redefined
ignoreOutputPolysemy.Output
ignoreTracePolysemy.Trace
InfiniteList 
1 (Data Constructor)Polysemy.Law
2 (Type/Class)Polysemy.Law
infiniteListPolysemy.Law
infiniteListInternalDataPolysemy.Law
infiniteListOfPolysemy.Law
injPolysemy.Internal.Union
injBundlePolysemy.Bundle
injUsingPolysemy.Internal.Union
injWeavingPolysemy.Internal.Union
Input 
1 (Type/Class)Polysemy.Input
2 (Data Constructor)Polysemy.Input
inputPolysemy.Input
inputToReaderPolysemy.Reader
inspectPolysemy.Internal.Tactics, Polysemy
Inspector 
1 (Type/Class)Polysemy.Internal.Tactics, Polysemy
2 (Data Constructor)Polysemy.Internal.Tactics, Polysemy
interceptPolysemy.Internal.Combinators, Polysemy
interceptHPolysemy.Internal.Combinators, Polysemy
interceptUsingPolysemy.Internal.Combinators, Polysemy.Membership
interceptUsingHPolysemy.Internal.Combinators, Polysemy.Membership
interpretPolysemy.Internal.Combinators, Polysemy
InterpreterForPolysemy.Internal, Polysemy
interpretFinalPolysemy.Final
interpretHPolysemy.Internal.Combinators, Polysemy
interpretViaLazyWriterPolysemy.Internal.Writer
ioPropertyPolysemy.Law
isSuccessPolysemy.Law
KnownListPolysemy.Internal.Bundle, Polysemy.Bundle
KnownRowPolysemy.Internal.Union, Polysemy.Membership
labelPolysemy.Law
labelledExamplesPolysemy.Law
labelledExamplesResultPolysemy.Law
labelledExamplesWithPolysemy.Law
labelledExamplesWithResultPolysemy.Law
labelsPolysemy.Law
Large 
1 (Data Constructor)Polysemy.Law
2 (Type/Class)Polysemy.Law
Law 
1 (Type/Class)Polysemy.Law
2 (Data Constructor)Polysemy.Law
LawIOPolysemy.Law
law_getPutGetPolysemy.State.Law
law_getTwicePolysemy.State.Law
law_putTwicePolysemy.State.Law
lazilyStatefulPolysemy.Internal.Combinators
liftArbitraryPolysemy.Law
liftArbitrary2Polysemy.Law
liftSPolysemy.Internal.Strategy, Polysemy.Final
liftSemPolysemy.Internal
liftShrinkPolysemy.Law
liftShrink2Polysemy.Law
liftTPolysemy.Internal.Tactics
ListenPolysemy.Internal.Writer, Polysemy.Writer
listenPolysemy.Internal.Writer, Polysemy.Writer
listOfPolysemy.Law
listOf1Polysemy.Law
LocalPolysemy.Reader
localPolysemy.Reader
lowerAsyncPolysemy.Async
lowerEmbeddedPolysemy.IO
lowerErrorPolysemy.Error
lowerResourcePolysemy.Resource
makeEffectTypePolysemy.Internal.TH.Common
makeInterpreterTypePolysemy.Internal.TH.Common
MakeLawPolysemy.Law
makeMemberConstraintPolysemy.Internal.TH.Common
makeMemberConstraint'Polysemy.Internal.TH.Common
makeSemPolysemy.Internal.TH.Effect, Polysemy
makeSemTypePolysemy.Internal.TH.Common
makeSem_Polysemy.Internal.TH.Effect, Polysemy
makeUnambiguousSendPolysemy.Internal.TH.Common
mapErrorPolysemy.Error
mapSizePolysemy.Law
maxDiscardRatioPolysemy.Law
maxShrinksPolysemy.Law
maxSizePolysemy.Law
maxSuccessPolysemy.Law
MemberPolysemy.Internal.Union, Polysemy.Internal, Polysemy
MembersPolysemy.Internal, Polysemy
membershipPolysemy.Internal.Union, Polysemy.Membership
MemberWithErrorPolysemy.Internal.Union, Polysemy.Internal, Polysemy
mkLawPolysemy.Law
modifyPolysemy.State
modify'Polysemy.State
monomorphicPolysemy.Law
Negative 
1 (Data Constructor)Polysemy.Law
2 (Type/Class)Polysemy.Law
NoExpectedFailurePolysemy.Law
NonDetPolysemy.Internal.NonDet, Polysemy.NonDet
nonDetToErrorPolysemy.NonDet
NonEmptyPolysemy.Law
NonEmptyListPolysemy.Law
NonNegative 
1 (Data Constructor)Polysemy.Law
2 (Type/Class)Polysemy.Law
NonPositive 
1 (Data Constructor)Polysemy.Law
2 (Type/Class)Polysemy.Law
NonZero 
1 (Data Constructor)Polysemy.Law
2 (Type/Class)Polysemy.Law
noShrinkingPolysemy.Law
notePolysemy.Error
numDiscardedPolysemy.Law
numShrinkFinalPolysemy.Law
numShrinksPolysemy.Law
numShrinkTriesPolysemy.Law
numTestsPolysemy.Law
oncePolysemy.Law
oneofPolysemy.Law
onExceptionPolysemy.Resource
OrderedPolysemy.Law
OrderedListPolysemy.Law
orderedListPolysemy.Law
Output 
1 (Type/Class)Polysemy.Output
2 (Data Constructor)Polysemy.Output
output 
1 (Function)Polysemy.Law
2 (Function)Polysemy.Output
outputToIOMonoidPolysemy.Output
outputToIOMonoidAssocRPolysemy.Output
outputToTracePolysemy.Trace
outputToWriterPolysemy.Writer
PassPolysemy.Internal.Writer, Polysemy.Writer
passPolysemy.Internal.Writer, Polysemy.Writer
polyQuickCheckPolysemy.Law
polyVerboseCheckPolysemy.Law
Positive 
1 (Data Constructor)Polysemy.Law
2 (Type/Class)Polysemy.Law
PrintableString 
1 (Data Constructor)Polysemy.Law
2 (Type/Class)Polysemy.Law
printfPolysemy.Law
printTestCasePolysemy.Law
prjPolysemy.Internal.Union
prjUsingPolysemy.Internal.Union
PropertyPolysemy.Law
propertyPolysemy.Law
propertyForAllShrinkShowPolysemy.Law
prop_lawfulStatePolysemy.State.Law
pureSPolysemy.Internal.Strategy, Polysemy.Final
pureTPolysemy.Internal.Tactics, Polysemy
PutPolysemy.State
putPolysemy.State
quickCheckPolysemy.Law
quickCheckAllPolysemy.Law
quickCheckResultPolysemy.Law
quickCheckWithPolysemy.Law
quickCheckWithResultPolysemy.Law
raisePolysemy.Internal, Polysemy
raiseUnderPolysemy.Internal, Polysemy
raiseUnder2Polysemy.Internal, Polysemy
raiseUnder3Polysemy.Internal, Polysemy
ReaderPolysemy.Reader
reasonPolysemy.Law
recursivelyShrinkPolysemy.Law
reinterpretPolysemy.Internal.Combinators, Polysemy
reinterpret2Polysemy.Internal.Combinators, Polysemy
reinterpret2HPolysemy.Internal.Combinators, Polysemy
reinterpret3Polysemy.Internal.Combinators, Polysemy
reinterpret3HPolysemy.Internal.Combinators, Polysemy
reinterpretHPolysemy.Internal.Combinators, Polysemy
replayPolysemy.Law
requestPolysemy.Internal.Forklift
resizePolysemy.Law
ResourcePolysemy.Resource
resourceToIOPolysemy.Resource
resourceToIOFinalPolysemy.Resource
responseMVarPolysemy.Internal.Forklift
ResultPolysemy.Law
retagPolysemy.Tagged
rewritePolysemy.Internal.Combinators, Polysemy
runPolysemy.Internal, Polysemy
runAtomicStateIORefPolysemy.AtomicState
runAtomicStateTVarPolysemy.AtomicState
runBundlePolysemy.Bundle
runEmbeddedPolysemy.Embed
runErrorPolysemy.Error
runFailPolysemy.Fail
runFinalPolysemy.Final, Polysemy
runFixpointPolysemy.Fixpoint
runFixpointMPolysemy.Fixpoint
runInputConstPolysemy.Input
runInputListPolysemy.Input
runInputSemPolysemy.Input
runLawPolysemy.Law
runLazyOutputListPolysemy.Output
runLazyOutputMonoidPolysemy.Output
runLazyOutputMonoidAssocRPolysemy.Output
runLazyStatePolysemy.State
runLazyWriterPolysemy.Writer
runLazyWriterAssocRPolysemy.Writer
runMPolysemy.Internal, Polysemy
runNonDetPolysemy.NonDet
runNonDetMaybePolysemy.NonDet
runOutputBatchedPolysemy.Output
runOutputListPolysemy.Output
runOutputMonoidPolysemy.Output
runOutputMonoidAssocRPolysemy.Output
runOutputMonoidIORefPolysemy.Output
runOutputMonoidTVarPolysemy.Output
runOutputSemPolysemy.Output
runReaderPolysemy.Reader
runResourcePolysemy.Resource
runSPolysemy.Internal.Strategy, Polysemy.Final
runSemPolysemy.Internal
runStatePolysemy.State
runStateIORefPolysemy.State
runStateSTRefPolysemy.State
runStrategyPolysemy.Internal.Strategy
runTPolysemy.Internal.Tactics, Polysemy
runTacticsPolysemy.Internal.Tactics
runTraceListPolysemy.Trace
runViaForkliftPolysemy.Internal.Forklift
runWriterPolysemy.Writer
runWriterAssocRPolysemy.Writer
runWriterSTMActionPolysemy.Internal.Writer
runWriterTVarPolysemy.Writer
sameMemberPolysemy.Internal.Union, Polysemy.Membership
samplePolysemy.Law
sample'Polysemy.Law
scalePolysemy.Law
SeePolysemy.View
seePolysemy.View
Sem 
1 (Type/Class)Polysemy.Internal, Polysemy
2 (Data Constructor)Polysemy.Internal
sendPolysemy.Internal
sendBundlePolysemy.Bundle
sendUsingPolysemy.Internal
sequenceConcurrentlyPolysemy.Async
shrinkPolysemy.Law
shrink1Polysemy.Law
Shrink2 
1 (Data Constructor)Polysemy.Law
2 (Type/Class)Polysemy.Law
shrink2Polysemy.Law
shrinkDecimalPolysemy.Law
Shrinking 
1 (Data Constructor)Polysemy.Law
2 (Type/Class)Polysemy.Law
shrinkingPolysemy.Law
shrinkInitPolysemy.Law
shrinkIntegralPolysemy.Law
shrinkListPolysemy.Law
shrinkMapPolysemy.Law
shrinkMapByPolysemy.Law
shrinkNothingPolysemy.Law
shrinkRealFracPolysemy.Law
ShrinkStatePolysemy.Law
shrinkStatePolysemy.Law
shufflePolysemy.Law
sizedPolysemy.Law
Small 
1 (Data Constructor)Polysemy.Law
2 (Type/Class)Polysemy.Law
Smart 
1 (Data Constructor)Polysemy.Law
2 (Type/Class)Polysemy.Law
SortedPolysemy.Law
SortedListPolysemy.Law
splitArrowTsPolysemy.Internal.TH.Common
StatePolysemy.State
statefulPolysemy.Internal.Combinators
stateToIOPolysemy.State
stateToSTPolysemy.State
stdArgsPolysemy.Law
stdConfidencePolysemy.Law
StrategicPolysemy.Internal.Strategy, Polysemy.Final
StrategyPolysemy.Internal.Strategy
sublistOfPolysemy.Law
subsumePolysemy.Internal, Polysemy
subsumeBundlePolysemy.Bundle
subsumeMembershipPolysemy.Internal.Bundle
subsumeUsingPolysemy.Internal, Polysemy.Membership
subtermsPolysemy.Law
SuccessPolysemy.Law
suchThatPolysemy.Law
suchThatMapPolysemy.Law
suchThatMaybePolysemy.Law
tablesPolysemy.Law
tabulatePolysemy.Law
TacticalPolysemy.Internal.Tactics, Polysemy
TacticsPolysemy.Internal.Tactics
tagPolysemy.Tagged
Tagged 
1 (Type/Class)Polysemy.Tagged
2 (Data Constructor)Polysemy.Tagged
taggedPolysemy.Tagged
TellPolysemy.Internal.Writer, Polysemy.Writer
tellPolysemy.Internal.Writer, Polysemy.Writer
TestablePolysemy.Law
theExceptionPolysemy.Law
TherePolysemy.Internal.Union, Polysemy.Membership
ThroughWeavingToFinalPolysemy.Final
ThrowPolysemy.Error
throwPolysemy.Error
tolerancePolysemy.Law
totalPolysemy.Law
Trace 
1 (Type/Class)Polysemy.Trace
2 (Data Constructor)Polysemy.Trace
tracePolysemy.Trace
traceToIOPolysemy.Trace
traceToOutputPolysemy.Trace
transformPolysemy.Internal.Combinators, Polysemy
tryPolysemy.Error
tryJustPolysemy.Error
tryMembershipPolysemy.Internal.Union, Polysemy.Membership
unconsKnownListPolysemy.Internal.Bundle
unEmbedPolysemy.Embed.Type, Polysemy.Internal, Polysemy, Polysemy.Embed
UnhandledEffectPolysemy.Internal.CustomErrors
UnicodeString 
1 (Data Constructor)Polysemy.Law
2 (Type/Class)Polysemy.Law
Union 
1 (Type/Class)Polysemy.Internal.Union
2 (Data Constructor)Polysemy.Internal.Union
UnlessStuckPolysemy.Internal.CustomErrors.Redefined
untagPolysemy.Tagged
usedSeedPolysemy.Law
usedSizePolysemy.Law
usingSemPolysemy.Internal
variantPolysemy.Law
vectorPolysemy.Law
vectorOfPolysemy.Law
verbosePolysemy.Law
verboseCheckPolysemy.Law
verboseCheckAllPolysemy.Law
verboseCheckResultPolysemy.Law
verboseCheckWithPolysemy.Law
verboseCheckWithResultPolysemy.Law
verboseShrinkingPolysemy.Law
ViewPolysemy.View
viewToInputPolysemy.View
viewToStatePolysemy.View
weakenPolysemy.Internal.Union
weakenListPolysemy.Internal.Bundle
weavePolysemy.Internal.Union
weaveDistribPolysemy.Internal.Union
weaveEffectPolysemy.Internal.Union
weaveInspectPolysemy.Internal.Union
weaveResultPolysemy.Internal.Union
weaveStatePolysemy.Internal.Union
Weaving 
1 (Type/Class)Polysemy.Internal.Union
2 (Data Constructor)Polysemy.Internal.Union
whenFailPolysemy.Law
whenFail'Polysemy.Law
WhenStuckPolysemy.Internal.CustomErrors.Redefined, Polysemy.Internal.CustomErrors
withinPolysemy.Law
withLowerToIOPolysemy.Internal.Forklift, Polysemy
withMaxSuccessPolysemy.Law
withStrategicToFinalPolysemy.Final
WithStrategyPolysemy.Internal.Strategy, Polysemy.Final
WithTacticsPolysemy.Internal.Tactics, Polysemy
WithWeavingToFinalPolysemy.Final
withWeavingToFinalPolysemy.Final
WriterPolysemy.Internal.Writer, Polysemy.Writer
writerToEndoWriterPolysemy.Internal.Writer, Polysemy.Writer
writerToIOAssocRFinalPolysemy.Writer
writerToIOFinalPolysemy.Writer