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 |
| absurdU | Polysemy.Internal.Union |
| again | Polysemy.Law |
| allProperties | Polysemy.Law |
| AmbiguousSend | Polysemy.Internal.CustomErrors |
| AnythingOfAnyKind | Polysemy.Internal.CustomErrors.Redefined |
| Append | Polysemy.Internal.Bundle |
| applyArbitrary2 | Polysemy.Law |
| applyArbitrary3 | Polysemy.Law |
| applyArbitrary4 | Polysemy.Law |
| applyFun | Polysemy.Law |
| applyFun2 | Polysemy.Law |
| applyFun3 | Polysemy.Law |
| Arbitrary | Polysemy.Law |
| arbitrary | Polysemy.Law |
| Arbitrary1 | Polysemy.Law |
| arbitrary1 | Polysemy.Law |
| Arbitrary2 | Polysemy.Law |
| arbitrary2 | Polysemy.Law |
| arbitraryASCIIChar | Polysemy.Law |
| arbitraryBoundedEnum | Polysemy.Law |
| arbitraryBoundedIntegral | Polysemy.Law |
| arbitraryBoundedRandom | Polysemy.Law |
| arbitraryPrintableChar | Polysemy.Law |
| arbitrarySizedBoundedIntegral | Polysemy.Law |
| arbitrarySizedFractional | Polysemy.Law |
| arbitrarySizedIntegral | Polysemy.Law |
| arbitrarySizedNatural | Polysemy.Law |
| arbitraryUnicodeChar | Polysemy.Law |
| Args | |
| 1 (Data Constructor) | Polysemy.Law |
| 2 (Type/Class) | Polysemy.Law |
| ASCIIString | |
| 1 (Data Constructor) | Polysemy.Law |
| 2 (Type/Class) | Polysemy.Law |
| Ask | Polysemy.Reader |
| ask | Polysemy.Reader |
| asks | Polysemy.Reader |
| Async | |
| 1 (Type/Class) | Polysemy.Async |
| 2 (Data Constructor) | Polysemy.Async |
| async | Polysemy.Async |
| asyncToIO | Polysemy.Async |
| asyncToIOFinal | Polysemy.Async |
| AtomicGet | Polysemy.AtomicState |
| atomicGet | Polysemy.AtomicState |
| atomicGets | Polysemy.AtomicState |
| atomicModify | Polysemy.AtomicState |
| atomicModify' | Polysemy.AtomicState |
| atomicPut | Polysemy.AtomicState |
| AtomicState | |
| 1 (Type/Class) | Polysemy.AtomicState |
| 2 (Data Constructor) | Polysemy.AtomicState |
| atomicState | Polysemy.AtomicState |
| atomicState' | Polysemy.AtomicState |
| atomicStateToIO | Polysemy.AtomicState |
| atomicStateToState | Polysemy.AtomicState |
| Await | Polysemy.Async |
| await | Polysemy.Async |
| bindS | Polysemy.Internal.Strategy, Polysemy.Final |
| bindT | Polysemy.Internal.Tactics, Polysemy |
| Blind | |
| 1 (Data Constructor) | Polysemy.Law |
| 2 (Type/Class) | Polysemy.Law |
| bomb | Polysemy.Internal.Fixpoint |
| Bracket | Polysemy.Resource |
| bracket | Polysemy.Resource |
| BracketOnError | Polysemy.Resource |
| bracketOnError | Polysemy.Resource |
| bracket_ | Polysemy.Resource |
| Bundle | |
| 1 (Type/Class) | Polysemy.Bundle |
| 2 (Data Constructor) | Polysemy.Bundle |
| Cancel | Polysemy.Async |
| cancel | Polysemy.Async |
| Catch | Polysemy.Error |
| catch | Polysemy.Error |
| catchJust | Polysemy.Error |
| censor | Polysemy.Writer |
| certainty | Polysemy.Law |
| chatty | Polysemy.Law |
| checkCoverage | Polysemy.Law |
| checkCoverageWith | Polysemy.Law |
| checkExtensions | Polysemy.Internal.TH.Common |
| Choose | Polysemy.Internal.NonDet, Polysemy.NonDet |
| choose | Polysemy.Law |
| chooseAny | Polysemy.Law |
| chooseBoundedIntegral | Polysemy.Law |
| chooseEnum | Polysemy.Law |
| chooseInt | Polysemy.Law |
| chooseInteger | Polysemy.Law |
| Citizen | Polysemy.Law |
| classes | Polysemy.Law |
| classify | Polysemy.Law |
| cliConName | Polysemy.Internal.TH.Common |
| cliEffArgs | Polysemy.Internal.TH.Common |
| cliEffName | Polysemy.Internal.TH.Common |
| cliEffRes | Polysemy.Internal.TH.Common |
| cliFunArgs | Polysemy.Internal.TH.Common |
| cliFunCxt | Polysemy.Internal.TH.Common |
| cliFunFixity | Polysemy.Internal.TH.Common |
| cliFunName | Polysemy.Internal.TH.Common |
| CLInfo | Polysemy.Internal.TH.Common |
| cliUnionName | Polysemy.Internal.TH.Common |
| CoArbitrary | Polysemy.Law |
| coarbitrary | Polysemy.Law |
| coarbitraryEnum | Polysemy.Law |
| coarbitraryIntegral | Polysemy.Law |
| coarbitraryReal | Polysemy.Law |
| coarbitraryShow | Polysemy.Law |
| collect | Polysemy.Law |
| Confidence | |
| 1 (Data Constructor) | Polysemy.Law |
| 2 (Type/Class) | Polysemy.Law |
| conjoin | Polysemy.Law |
| ConLiftInfo | Polysemy.Internal.TH.Common |
| counterexample | Polysemy.Law |
| cover | Polysemy.Law |
| coverTable | Polysemy.Law |
| decomp | Polysemy.Internal.Union |
| decompCoerce | Polysemy.Internal.Union |
| DefiningModule | Polysemy.Internal.CustomErrors |
| DefiningModuleForEffect | Polysemy.Internal.CustomErrors |
| Discard | |
| 1 (Data Constructor) | Polysemy.Law |
| 2 (Type/Class) | Polysemy.Law |
| discard | Polysemy.Law |
| disjoin | Polysemy.Law |
| Effect | Polysemy.Internal.Kind, Polysemy |
| EffectRow | Polysemy.Internal.Kind, Polysemy |
| elements | Polysemy.Law |
| ElemOf | Polysemy.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 |
| embed | Polysemy.Internal, Polysemy, Polysemy.Embed |
| embedFinal | Polysemy.Final, Polysemy |
| embedToFinal | Polysemy.Final, Polysemy |
| embedToMonadIO | Polysemy.IO |
| Empty | Polysemy.Internal.NonDet, Polysemy.NonDet |
| Error | Polysemy.Error |
| errorToIOFinal | Polysemy.Error |
| evalLazyState | Polysemy.State |
| evalState | Polysemy.State |
| execLazyState | Polysemy.State |
| execState | Polysemy.State |
| expectFailure | Polysemy.Law |
| extendMembership | Polysemy.Internal.Bundle |
| extract | Polysemy.Internal.Union |
| Fail | |
| 1 (Type/Class) | Polysemy.Fail.Type, Polysemy.Fail |
| 2 (Data Constructor) | Polysemy.Fail.Type, Polysemy.Fail |
| failingClasses | Polysemy.Law |
| failingLabels | Polysemy.Law |
| failingTestCase | Polysemy.Law |
| failToEmbed | Polysemy.Fail |
| failToError | Polysemy.Fail |
| failToNonDet | Polysemy.Fail |
| Failure | Polysemy.Law |
| Final | Polysemy.Final, Polysemy |
| finally | Polysemy.Resource |
| finalToFinal | Polysemy.Final |
| FirstOrder | Polysemy.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 |
| fixpointToFinal | Polysemy.Fixpoint |
| Fn | Polysemy.Law |
| Fn2 | Polysemy.Law |
| Fn3 | Polysemy.Law |
| foldArrowTs | Polysemy.Internal.TH.Common |
| forAll | Polysemy.Law |
| forAllBlind | Polysemy.Law |
| forAllProperties | Polysemy.Law |
| forAllShow | Polysemy.Law |
| forAllShrink | Polysemy.Law |
| forAllShrinkBlind | Polysemy.Law |
| forAllShrinkShow | Polysemy.Law |
| Forklift | |
| 1 (Type/Class) | Polysemy.Internal.Forklift |
| 2 (Data Constructor) | Polysemy.Internal.Forklift |
| frequency | Polysemy.Law |
| fromEither | Polysemy.Error |
| fromEitherM | Polysemy.Error |
| fromException | Polysemy.Error |
| fromExceptionSem | Polysemy.Error |
| fromExceptionSemVia | Polysemy.Error |
| fromExceptionVia | Polysemy.Error |
| Fun | |
| 1 (Data Constructor) | Polysemy.Law |
| 2 (Type/Class) | Polysemy.Law |
| Function | Polysemy.Law |
| function | Polysemy.Law |
| functionBoundedEnum | Polysemy.Law |
| functionIntegral | Polysemy.Law |
| functionMap | Polysemy.Law |
| functionRealFrac | Polysemy.Law |
| functionShow | Polysemy.Law |
| functionVoid | Polysemy.Law |
| GaveUp | Polysemy.Law |
| Gen | Polysemy.Law |
| generate | Polysemy.Law |
| genericCoarbitrary | Polysemy.Law |
| genericShrink | Polysemy.Law |
| Get | Polysemy.State |
| get | Polysemy.State |
| getASCIIString | Polysemy.Law |
| getBlind | Polysemy.Law |
| getCitizen | Polysemy.Law |
| getEffectMetadata | Polysemy.Internal.TH.Common |
| getFixed | Polysemy.Law |
| getInfiniteList | Polysemy.Law |
| GetInitialState | |
| 1 (Data Constructor) | Polysemy.Internal.Tactics |
| 2 (Data Constructor) | Polysemy.Internal.Strategy |
| getInitialStateS | Polysemy.Internal.Strategy, Polysemy.Final |
| getInitialStateT | Polysemy.Internal.Tactics, Polysemy |
| GetInspector | |
| 1 (Data Constructor) | Polysemy.Internal.Tactics |
| 2 (Data Constructor) | Polysemy.Internal.Strategy |
| getInspectorS | Polysemy.Internal.Strategy, Polysemy.Final |
| getInspectorT | Polysemy.Internal.Tactics, Polysemy |
| getLarge | Polysemy.Law |
| getNegative | Polysemy.Law |
| getNonEmpty | Polysemy.Law |
| getNonNegative | Polysemy.Law |
| getNonPositive | Polysemy.Law |
| getNonZero | Polysemy.Law |
| getOrdered | Polysemy.Law |
| getPositive | Polysemy.Law |
| getPrintableString | Polysemy.Law |
| gets | Polysemy.State |
| getShrink2 | Polysemy.Law |
| getSize | Polysemy.Law |
| getSmall | Polysemy.Law |
| getSorted | Polysemy.Law |
| getUnicodeString | Polysemy.Law |
| growingElements | Polysemy.Law |
| Here | Polysemy.Internal.Union, Polysemy.Membership |
| hoist | Polysemy.Internal.Union |
| HoistInterpretation | |
| 1 (Data Constructor) | Polysemy.Internal.Tactics |
| 2 (Data Constructor) | Polysemy.Internal.Strategy |
| hoistSem | Polysemy.Internal |
| hoistStateIntoStateT | Polysemy.State |
| idempotentIOProperty | Polysemy.Law |
| IfStuck | Polysemy.Internal.CustomErrors.Redefined |
| ignoreOutput | Polysemy.Output |
| ignoreTrace | Polysemy.Trace |
| InfiniteList | |
| 1 (Data Constructor) | Polysemy.Law |
| 2 (Type/Class) | Polysemy.Law |
| infiniteList | Polysemy.Law |
| infiniteListInternalData | Polysemy.Law |
| infiniteListOf | Polysemy.Law |
| inj | Polysemy.Internal.Union |
| injBundle | Polysemy.Bundle |
| injUsing | Polysemy.Internal.Union |
| injWeaving | Polysemy.Internal.Union |
| Input | |
| 1 (Type/Class) | Polysemy.Input |
| 2 (Data Constructor) | Polysemy.Input |
| input | Polysemy.Input |
| inputs | Polysemy.Input |
| inputToReader | Polysemy.Reader |
| inspect | Polysemy.Internal.Tactics, Polysemy |
| Inspector | |
| 1 (Type/Class) | Polysemy.Internal.Tactics, Polysemy |
| 2 (Data Constructor) | Polysemy.Internal.Tactics, Polysemy |
| intercept | Polysemy.Internal.Combinators, Polysemy |
| interceptH | Polysemy.Internal.Combinators, Polysemy |
| interceptUsing | Polysemy.Internal.Combinators, Polysemy.Membership |
| interceptUsingH | Polysemy.Internal.Combinators, Polysemy.Membership |
| interpret | Polysemy.Internal.Combinators, Polysemy |
| InterpreterFor | Polysemy.Internal, Polysemy |
| interpretFinal | Polysemy.Final |
| interpretH | Polysemy.Internal.Combinators, Polysemy |
| interpretViaLazyWriter | Polysemy.Internal.Writer |
| ioProperty | Polysemy.Law |
| isSuccess | Polysemy.Law |
| KnownList | Polysemy.Internal.Bundle, Polysemy.Bundle |
| KnownRow | Polysemy.Internal.Union, Polysemy.Membership |
| label | Polysemy.Law |
| labelledExamples | Polysemy.Law |
| labelledExamplesResult | Polysemy.Law |
| labelledExamplesWith | Polysemy.Law |
| labelledExamplesWithResult | Polysemy.Law |
| labels | Polysemy.Law |
| Large | |
| 1 (Data Constructor) | Polysemy.Law |
| 2 (Type/Class) | Polysemy.Law |
| Law | |
| 1 (Type/Class) | Polysemy.Law |
| 2 (Data Constructor) | Polysemy.Law |
| LawIO | Polysemy.Law |
| law_getPutGet | Polysemy.State.Law |
| law_getTwice | Polysemy.State.Law |
| law_putTwice | Polysemy.State.Law |
| lazilyStateful | Polysemy.Internal.Combinators |
| liftArbitrary | Polysemy.Law |
| liftArbitrary2 | Polysemy.Law |
| liftS | Polysemy.Internal.Strategy, Polysemy.Final |
| liftSem | Polysemy.Internal |
| liftShrink | Polysemy.Law |
| liftShrink2 | Polysemy.Law |
| liftT | Polysemy.Internal.Tactics |
| Listen | Polysemy.Internal.Writer, Polysemy.Writer |
| listen | Polysemy.Internal.Writer, Polysemy.Writer |
| listOf | Polysemy.Law |
| listOf1 | Polysemy.Law |
| Local | Polysemy.Reader |
| local | Polysemy.Reader |
| lowerAsync | Polysemy.Async |
| lowerEmbedded | Polysemy.IO |
| lowerError | Polysemy.Error |
| lowerResource | Polysemy.Resource |
| makeEffectType | Polysemy.Internal.TH.Common |
| makeInterpreterType | Polysemy.Internal.TH.Common |
| MakeLaw | Polysemy.Law |
| makeMemberConstraint | Polysemy.Internal.TH.Common |
| makeMemberConstraint' | Polysemy.Internal.TH.Common |
| makeSem | Polysemy.Internal.TH.Effect, Polysemy |
| makeSemType | Polysemy.Internal.TH.Common |
| makeSem_ | Polysemy.Internal.TH.Effect, Polysemy |
| makeUnambiguousSend | Polysemy.Internal.TH.Common |
| mapError | Polysemy.Error |
| mapSize | Polysemy.Law |
| maxDiscardRatio | Polysemy.Law |
| maxShrinks | Polysemy.Law |
| maxSize | Polysemy.Law |
| maxSuccess | Polysemy.Law |
| Member | Polysemy.Internal.Union, Polysemy.Internal, Polysemy |
| Members | Polysemy.Internal, Polysemy |
| membership | Polysemy.Internal.Union, Polysemy.Membership |
| MemberWithError | Polysemy.Internal.Union, Polysemy.Internal, Polysemy |
| mkLaw | Polysemy.Law |
| modify | Polysemy.State |
| modify' | Polysemy.State |
| monomorphic | Polysemy.Law |
| Negative | |
| 1 (Data Constructor) | Polysemy.Law |
| 2 (Type/Class) | Polysemy.Law |
| NoExpectedFailure | Polysemy.Law |
| NonDet | Polysemy.Internal.NonDet, Polysemy.NonDet |
| nonDetToError | Polysemy.NonDet |
| NonEmpty | Polysemy.Law |
| NonEmptyList | Polysemy.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 |
| noShrinking | Polysemy.Law |
| note | Polysemy.Error |
| numDiscarded | Polysemy.Law |
| numShrinkFinal | Polysemy.Law |
| numShrinks | Polysemy.Law |
| numShrinkTries | Polysemy.Law |
| numTests | Polysemy.Law |
| once | Polysemy.Law |
| oneof | Polysemy.Law |
| onException | Polysemy.Resource |
| Ordered | Polysemy.Law |
| OrderedList | Polysemy.Law |
| orderedList | Polysemy.Law |
| Output | |
| 1 (Type/Class) | Polysemy.Output |
| 2 (Data Constructor) | Polysemy.Output |
| output | |
| 1 (Function) | Polysemy.Law |
| 2 (Function) | Polysemy.Output |
| outputToIOMonoid | Polysemy.Output |
| outputToIOMonoidAssocR | Polysemy.Output |
| outputToTrace | Polysemy.Trace |
| outputToWriter | Polysemy.Writer |
| Pass | Polysemy.Internal.Writer, Polysemy.Writer |
| pass | Polysemy.Internal.Writer, Polysemy.Writer |
| polyQuickCheck | Polysemy.Law |
| polyVerboseCheck | Polysemy.Law |
| Positive | |
| 1 (Data Constructor) | Polysemy.Law |
| 2 (Type/Class) | Polysemy.Law |
| PrintableString | |
| 1 (Data Constructor) | Polysemy.Law |
| 2 (Type/Class) | Polysemy.Law |
| printf | Polysemy.Law |
| printTestCase | Polysemy.Law |
| prj | Polysemy.Internal.Union |
| prjUsing | Polysemy.Internal.Union |
| Property | Polysemy.Law |
| property | Polysemy.Law |
| propertyForAllShrinkShow | Polysemy.Law |
| prop_lawfulState | Polysemy.State.Law |
| pureS | Polysemy.Internal.Strategy, Polysemy.Final |
| pureT | Polysemy.Internal.Tactics, Polysemy |
| Put | Polysemy.State |
| put | Polysemy.State |
| quickCheck | Polysemy.Law |
| quickCheckAll | Polysemy.Law |
| quickCheckResult | Polysemy.Law |
| quickCheckWith | Polysemy.Law |
| quickCheckWithResult | Polysemy.Law |
| Raise | Polysemy.Internal |
| raise | Polysemy.Internal, Polysemy |
| raise2Under | Polysemy.Internal, Polysemy |
| raise3Under | Polysemy.Internal, Polysemy |
| raiseUnder | Polysemy.Internal, Polysemy |
| raiseUnder2 | Polysemy.Internal, Polysemy |
| raiseUnder3 | Polysemy.Internal, Polysemy |
| raiseUnion | Polysemy.Internal |
| raise_ | Polysemy.Internal, Polysemy |
| Reader | Polysemy.Reader |
| reason | Polysemy.Law |
| recursivelyShrink | Polysemy.Law |
| reinterpret | Polysemy.Internal.Combinators, Polysemy |
| reinterpret2 | Polysemy.Internal.Combinators, Polysemy |
| reinterpret2H | Polysemy.Internal.Combinators, Polysemy |
| reinterpret3 | Polysemy.Internal.Combinators, Polysemy |
| reinterpret3H | Polysemy.Internal.Combinators, Polysemy |
| reinterpretH | Polysemy.Internal.Combinators, Polysemy |
| replay | Polysemy.Law |
| request | Polysemy.Internal.Forklift |
| resize | Polysemy.Law |
| Resource | Polysemy.Resource |
| resourceToIO | Polysemy.Resource |
| resourceToIOFinal | Polysemy.Resource |
| responseMVar | Polysemy.Internal.Forklift |
| Result | Polysemy.Law |
| retag | Polysemy.Tagged |
| rewrite | Polysemy.Internal.Combinators, Polysemy |
| run | Polysemy.Internal, Polysemy |
| runAtomicStateIORef | Polysemy.AtomicState |
| runAtomicStateTVar | Polysemy.AtomicState |
| runBundle | Polysemy.Bundle |
| runEmbedded | Polysemy.Embed |
| runError | Polysemy.Error |
| runFail | Polysemy.Fail |
| runFinal | Polysemy.Final, Polysemy |
| runFixpoint | Polysemy.Fixpoint |
| runFixpointM | Polysemy.Fixpoint |
| runInputConst | Polysemy.Input |
| runInputList | Polysemy.Input |
| runInputSem | Polysemy.Input |
| runLaw | Polysemy.Law |
| runLazyOutputList | Polysemy.Output |
| runLazyOutputMonoid | Polysemy.Output |
| runLazyOutputMonoidAssocR | Polysemy.Output |
| runLazyState | Polysemy.State |
| runLazyWriter | Polysemy.Writer |
| runLazyWriterAssocR | Polysemy.Writer |
| runM | Polysemy.Internal, Polysemy |
| runNonDet | Polysemy.NonDet |
| runNonDetMaybe | Polysemy.NonDet |
| runOutputBatched | Polysemy.Output |
| runOutputList | Polysemy.Output |
| runOutputMonoid | Polysemy.Output |
| runOutputMonoidAssocR | Polysemy.Output |
| runOutputMonoidIORef | Polysemy.Output |
| runOutputMonoidTVar | Polysemy.Output |
| runOutputSem | Polysemy.Output |
| runReader | Polysemy.Reader |
| runResource | Polysemy.Resource |
| runS | Polysemy.Internal.Strategy, Polysemy.Final |
| runSem | Polysemy.Internal |
| runState | Polysemy.State |
| runStateIORef | Polysemy.State |
| runStateSTRef | Polysemy.State |
| runStrategy | Polysemy.Internal.Strategy |
| runT | Polysemy.Internal.Tactics, Polysemy |
| runTactics | Polysemy.Internal.Tactics |
| runTraceList | Polysemy.Trace |
| runViaForklift | Polysemy.Internal.Forklift |
| runWriter | Polysemy.Writer |
| runWriterAssocR | Polysemy.Writer |
| runWriterSTMAction | Polysemy.Internal.Writer |
| runWriterTVar | Polysemy.Writer |
| sameMember | Polysemy.Internal.Union, Polysemy.Membership |
| sample | Polysemy.Law |
| sample' | Polysemy.Law |
| scale | Polysemy.Law |
| See | Polysemy.View |
| see | Polysemy.View |
| Sem | |
| 1 (Type/Class) | Polysemy.Internal, Polysemy |
| 2 (Data Constructor) | Polysemy.Internal |
| send | Polysemy.Internal |
| sendBundle | Polysemy.Bundle |
| sendUsing | Polysemy.Internal |
| sequenceConcurrently | Polysemy.Async |
| shrink | Polysemy.Law |
| shrink1 | Polysemy.Law |
| Shrink2 | |
| 1 (Data Constructor) | Polysemy.Law |
| 2 (Type/Class) | Polysemy.Law |
| shrink2 | Polysemy.Law |
| shrinkDecimal | Polysemy.Law |
| Shrinking | |
| 1 (Data Constructor) | Polysemy.Law |
| 2 (Type/Class) | Polysemy.Law |
| shrinking | Polysemy.Law |
| shrinkInit | Polysemy.Law |
| shrinkIntegral | Polysemy.Law |
| shrinkList | Polysemy.Law |
| shrinkMap | Polysemy.Law |
| shrinkMapBy | Polysemy.Law |
| shrinkNothing | Polysemy.Law |
| shrinkRealFrac | Polysemy.Law |
| ShrinkState | Polysemy.Law |
| shrinkState | Polysemy.Law |
| shuffle | Polysemy.Law |
| sized | Polysemy.Law |
| Small | |
| 1 (Data Constructor) | Polysemy.Law |
| 2 (Type/Class) | Polysemy.Law |
| Smart | |
| 1 (Data Constructor) | Polysemy.Law |
| 2 (Type/Class) | Polysemy.Law |
| Sorted | Polysemy.Law |
| SortedList | Polysemy.Law |
| splitArrowTs | Polysemy.Internal.TH.Common |
| State | Polysemy.State |
| stateful | Polysemy.Internal.Combinators |
| stateToIO | Polysemy.State |
| stateToST | Polysemy.State |
| stdArgs | Polysemy.Law |
| stdConfidence | Polysemy.Law |
| Strategic | Polysemy.Internal.Strategy, Polysemy.Final |
| Strategy | Polysemy.Internal.Strategy |
| sublistOf | Polysemy.Law |
| Subsume | Polysemy.Internal |
| subsume | Polysemy.Internal, Polysemy |
| subsumeBundle | Polysemy.Bundle |
| subsumeMembership | Polysemy.Internal.Bundle |
| subsumeUnion | Polysemy.Internal |
| subsumeUsing | Polysemy.Internal, Polysemy.Membership |
| subsume_ | Polysemy.Internal, Polysemy |
| subterms | Polysemy.Law |
| Success | Polysemy.Law |
| suchThat | Polysemy.Law |
| suchThatMap | Polysemy.Law |
| suchThatMaybe | Polysemy.Law |
| tables | Polysemy.Law |
| tabulate | Polysemy.Law |
| Tactical | Polysemy.Internal.Tactics, Polysemy |
| Tactics | Polysemy.Internal.Tactics |
| tag | Polysemy.Tagged |
| Tagged | |
| 1 (Type/Class) | Polysemy.Tagged |
| 2 (Data Constructor) | Polysemy.Tagged |
| tagged | Polysemy.Tagged |
| Tell | Polysemy.Internal.Writer, Polysemy.Writer |
| tell | Polysemy.Internal.Writer, Polysemy.Writer |
| Testable | Polysemy.Law |
| theException | Polysemy.Law |
| There | Polysemy.Internal.Union, Polysemy.Membership |
| ThroughWeavingToFinal | Polysemy.Final |
| Throw | Polysemy.Error |
| throw | Polysemy.Error |
| tolerance | Polysemy.Law |
| total | Polysemy.Law |
| Trace | |
| 1 (Type/Class) | Polysemy.Trace |
| 2 (Data Constructor) | Polysemy.Trace |
| trace | Polysemy.Trace |
| traceToIO | Polysemy.Trace |
| traceToOutput | Polysemy.Trace |
| transform | Polysemy.Internal.Combinators, Polysemy |
| try | Polysemy.Error |
| tryJust | Polysemy.Error |
| tryMembership | Polysemy.Internal.Union, Polysemy.Membership |
| unconsKnownList | Polysemy.Internal.Bundle |
| unEmbed | Polysemy.Embed.Type, Polysemy.Internal, Polysemy, Polysemy.Embed |
| UnhandledEffect | Polysemy.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 |
| UnlessStuck | Polysemy.Internal.CustomErrors.Redefined |
| untag | Polysemy.Tagged |
| usedSeed | Polysemy.Law |
| usedSize | Polysemy.Law |
| usingSem | Polysemy.Internal |
| variant | Polysemy.Law |
| vector | Polysemy.Law |
| vectorOf | Polysemy.Law |
| verbose | Polysemy.Law |
| verboseCheck | Polysemy.Law |
| verboseCheckAll | Polysemy.Law |
| verboseCheckResult | Polysemy.Law |
| verboseCheckWith | Polysemy.Law |
| verboseCheckWithResult | Polysemy.Law |
| verboseShrinking | Polysemy.Law |
| View | Polysemy.View |
| viewToInput | Polysemy.View |
| viewToState | Polysemy.View |
| weaken | Polysemy.Internal.Union |
| weakenList | Polysemy.Internal.Bundle |
| weave | Polysemy.Internal.Union |
| weaveDistrib | Polysemy.Internal.Union |
| weaveEffect | Polysemy.Internal.Union |
| weaveInspect | Polysemy.Internal.Union |
| weaveResult | Polysemy.Internal.Union |
| weaveState | Polysemy.Internal.Union |
| Weaving | |
| 1 (Type/Class) | Polysemy.Internal.Union |
| 2 (Data Constructor) | Polysemy.Internal.Union |
| whenFail | Polysemy.Law |
| whenFail' | Polysemy.Law |
| WhenStuck | Polysemy.Internal.CustomErrors.Redefined, Polysemy.Internal.CustomErrors |
| within | Polysemy.Law |
| withLowerToIO | Polysemy.Internal.Forklift, Polysemy |
| withMaxSuccess | Polysemy.Law |
| withStrategicToFinal | Polysemy.Final |
| WithStrategy | Polysemy.Internal.Strategy, Polysemy.Final |
| WithTactics | Polysemy.Internal.Tactics, Polysemy |
| WithWeavingToFinal | Polysemy.Final |
| withWeavingToFinal | Polysemy.Final |
| Writer | Polysemy.Internal.Writer, Polysemy.Writer |
| writerToEndoWriter | Polysemy.Internal.Writer, Polysemy.Writer |
| writerToIOAssocRFinal | Polysemy.Writer |
| writerToIOFinal | Polysemy.Writer |