Index
| -@ | Polysemy.Operators |
| -@> | Polysemy.Operators |
| .@! | Polysemy.IdempotentLowering |
| .@@! | Polysemy.IdempotentLowering |
| :- | Polysemy.ConstraintAbsorber |
| ::: | Polysemy.Several |
| >@ | Polysemy.Operators |
| >@> | Polysemy.Operators |
| @- | Polysemy.Operators |
| @> | Polysemy.Operators |
| @~ | Polysemy.Operators |
| Abort | Polysemy.Shift.Internal, Polysemy.Shift |
| abort | Polysemy.Shift.Internal, Polysemy.Shift |
| absorbError | Polysemy.ConstraintAbsorber.MonadError |
| absorbReader | Polysemy.ConstraintAbsorber.MonadReader |
| absorbState | Polysemy.ConstraintAbsorber.MonadState |
| absorbWithSem | Polysemy.ConstraintAbsorber |
| absorbWriter | Polysemy.ConstraintAbsorber.MonadWriter |
| AddS | Polysemy.SetStore |
| addS | Polysemy.SetStore |
| Async | |
| 1 (Data Constructor) | Polysemy.Final.Async |
| 2 (Type/Class) | Polysemy.Final.Async |
| async | Polysemy.Final.Async |
| asyncToIO | Polysemy.Final.Async |
| Await | Polysemy.Final.Async |
| await | Polysemy.Final.Async |
| bindS | Polysemy.Final, Polysemy.Final.Async, Polysemy.Final.Error, Polysemy.Final.Fixpoint, Polysemy.Final.MTL, Polysemy.Final.Resource |
| Bracket | Polysemy.Final.Resource |
| bracket | Polysemy.Final.Resource |
| BracketOnError | Polysemy.Final.Resource |
| bracketOnError | Polysemy.Final.Resource |
| callCC | Polysemy.Cont, Polysemy.Shift |
| Capture | Polysemy.Capture |
| capture | Polysemy.Capture |
| Catch | Polysemy.Final.Error |
| catch | Polysemy.Final.Error |
| Cont | Polysemy.Cont.Internal, Polysemy.Cont, Polysemy.Shift |
| deleteKV | Polysemy.KVStore |
| Delimit | Polysemy.Capture |
| delimit | Polysemy.Capture |
| Delimit' | Polysemy.Capture |
| delimit' | Polysemy.Capture |
| DelS | Polysemy.SetStore |
| delS | Polysemy.SetStore |
| Dict | |
| 1 (Data Constructor) | Polysemy.ConstraintAbsorber |
| 2 (Type/Class) | Polysemy.ConstraintAbsorber |
| embedFinal | Polysemy.Final, Polysemy.Final.Async, Polysemy.Final.Error, Polysemy.Final.Fixpoint, Polysemy.Final.MTL, Polysemy.Final.Resource |
| embedSem | Polysemy.Cont.Internal |
| enterExit | Polysemy.Cont.Internal, Polysemy.Cont, Polysemy.Shift |
| Error | Polysemy.Final.Error |
| existsKV | Polysemy.KVStore |
| ExitRef | |
| 1 (Type/Class) | Polysemy.Cont.Internal, Polysemy.Cont, Polysemy.Shift |
| 2 (Data Constructor) | Polysemy.Cont.Internal, Polysemy.Cont, Polysemy.Shift |
| Final | Polysemy.Final, Polysemy.Final.Async, Polysemy.Final.Error, Polysemy.Final.Fixpoint, Polysemy.Final.MTL, Polysemy.Final.Resource |
| finally | Polysemy.Final.Resource |
| fixedNat | Polysemy.IdempotentLowering |
| fixedNat' | Polysemy.IdempotentLowering |
| Fixpoint | |
| 1 (Data Constructor) | Polysemy.Final.Fixpoint |
| 2 (Type/Class) | Polysemy.Final.Fixpoint |
| Floodgate | Polysemy.Floodgate |
| fromEither | Polysemy.Final.Error |
| fromEitherM | Polysemy.Final.Error |
| getFromRedis | Polysemy.Redis.Utils |
| getInitialStateS | Polysemy.Final, Polysemy.Final.Async, Polysemy.Final.Error, Polysemy.Final.Fixpoint, Polysemy.Final.MTL, Polysemy.Final.Resource |
| getInspectorS | Polysemy.Final, Polysemy.Final.Async, Polysemy.Final.Error, Polysemy.Final.Fixpoint, Polysemy.Final.MTL, Polysemy.Final.Resource |
| getPath | Polysemy.Redis.Utils |
| HList | Polysemy.Several |
| HNil | Polysemy.Several |
| Hold | Polysemy.Floodgate |
| hold | Polysemy.Floodgate |
| inspectSem | Polysemy.Cont.Internal |
| InterpreterOf | Polysemy.Alias |
| interpretFinal | Polysemy.Final, Polysemy.Final.Async, Polysemy.Final.Error, Polysemy.Final.Fixpoint, Polysemy.Final.MTL, Polysemy.Final.Resource |
| Invoke | Polysemy.Shift.Internal, Polysemy.Shift |
| invoke | Polysemy.Shift.Internal, Polysemy.Shift |
| Jump | Polysemy.Cont.Internal, Polysemy.Cont, Polysemy.Shift |
| jump | Polysemy.Cont.Internal, Polysemy.Cont, Polysemy.Shift |
| KVStore | Polysemy.KVStore |
| liftNat | Polysemy.IdempotentLowering |
| liftNat' | Polysemy.IdempotentLowering |
| liftS | Polysemy.Final, Polysemy.Final.Async, Polysemy.Final.Error, Polysemy.Final.Fixpoint, Polysemy.Final.MTL, Polysemy.Final.Resource |
| LookupKV | Polysemy.KVStore |
| lookupKV | Polysemy.KVStore |
| lookupOrThrowKV | Polysemy.KVStore |
| lowerAsync | Polysemy.Final.Async |
| lowerError | Polysemy.Final.Error |
| lowerResource | Polysemy.Final.Resource |
| mapError | Polysemy.Final.Error |
| MemberS | Polysemy.SetStore |
| memberS | Polysemy.SetStore |
| modifyKV | Polysemy.KVStore |
| nat | Polysemy.IdempotentLowering |
| nat' | Polysemy.IdempotentLowering |
| onException | Polysemy.Final.Resource |
| Path | |
| 1 (Type/Class) | Polysemy.Redis.Utils |
| 2 (Data Constructor) | Polysemy.Redis.Utils |
| Proxy | |
| 1 (Data Constructor) | Polysemy.ConstraintAbsorber |
| 2 (Type/Class) | Polysemy.ConstraintAbsorber |
| pureS | Polysemy.Final, Polysemy.Final.Async, Polysemy.Final.Error, Polysemy.Final.Fixpoint, Polysemy.Final.MTL, Polysemy.Final.Resource |
| putForRedis | Polysemy.Redis.Utils |
| Random | |
| 1 (Type/Class) | Polysemy.Random |
| 2 (Data Constructor) | Polysemy.Random |
| random | Polysemy.Random |
| RandomR | Polysemy.Random |
| randomR | Polysemy.Random |
| Ref | |
| 1 (Type/Class) | Polysemy.Cont.Internal, Polysemy.Capture, Polysemy.Cont, Polysemy.Shift |
| 2 (Data Constructor) | Polysemy.Cont.Internal, Polysemy.Capture, Polysemy.Cont, Polysemy.Shift |
| Reflect | Polysemy.Capture |
| reflect | |
| 1 (Function) | Polysemy.ConstraintAbsorber |
| 2 (Function) | Polysemy.Capture |
| Reifies | Polysemy.ConstraintAbsorber |
| Reify | Polysemy.Capture |
| reify | Polysemy.Capture |
| Release | Polysemy.Floodgate |
| release | Polysemy.Floodgate |
| Reset | Polysemy.Shift.Internal, Polysemy.Shift |
| reset | Polysemy.Shift.Internal, Polysemy.Shift |
| Reset' | Polysemy.Shift.Internal, Polysemy.Shift |
| reset' | Polysemy.Shift.Internal, Polysemy.Shift |
| Resource | Polysemy.Final.Resource |
| resourceToIO | Polysemy.Final.Resource |
| runAsyncFinal | Polysemy.Final.Async |
| runCapture | Polysemy.Capture |
| runCaptureWithC | Polysemy.Capture |
| runContFinal | Polysemy.Cont, Polysemy.Shift |
| runContM | Polysemy.Cont, Polysemy.Shift |
| runContPure | Polysemy.Cont, Polysemy.Shift |
| runContShiftM | Polysemy.Shift |
| runContShiftPure | Polysemy.Shift |
| runContShiftUnsafe | Polysemy.Shift |
| runContShiftWithCM | Polysemy.Shift |
| runContShiftWithCPure | Polysemy.Shift |
| runContShiftWithCUnsafe | Polysemy.Shift |
| runContUnsafe | Polysemy.Cont, Polysemy.Shift |
| runContWeaving | Polysemy.Cont.Internal |
| runContWithCUnsafe | Polysemy.Cont.Internal |
| runError | Polysemy.Final.Error |
| runErrorFinal | Polysemy.Final.MTL |
| runErrorInIOFinal | Polysemy.Final.Error |
| runFinal | Polysemy.Final, Polysemy.Final.Async, Polysemy.Final.Error, Polysemy.Final.Fixpoint, Polysemy.Final.MTL, Polysemy.Final.Resource |
| runFinalLift | Polysemy.Final, Polysemy.Final.Async, Polysemy.Final.Error, Polysemy.Final.Fixpoint, Polysemy.Final.MTL, Polysemy.Final.Resource |
| runFinalLiftIO | Polysemy.Final, Polysemy.Final.Async, Polysemy.Final.Error, Polysemy.Final.Fixpoint, Polysemy.Final.MTL, Polysemy.Final.Resource |
| runFixpoint | Polysemy.Final.Fixpoint |
| runFixpointFinal | Polysemy.Final.Fixpoint |
| runFixpointM | Polysemy.Final.Fixpoint |
| runFloodgate | Polysemy.Floodgate |
| runFloodgateDry | Polysemy.Floodgate |
| runKVStoreAsState | Polysemy.KVStore |
| runKVStoreInRedis | Polysemy.KVStore |
| runKVStorePurely | Polysemy.KVStore |
| runRandom | Polysemy.Random |
| runRandomIO | Polysemy.Random |
| runReaderFinal | Polysemy.Final.MTL |
| runRef | Polysemy.Cont.Internal, Polysemy.Capture, Polysemy.Cont, Polysemy.Shift |
| runResource | Polysemy.Final.Resource |
| runResourceFinal | Polysemy.Final.Resource |
| runS | Polysemy.Final, Polysemy.Final.Async, Polysemy.Final.Error, Polysemy.Final.Fixpoint, Polysemy.Final.MTL, Polysemy.Final.Resource |
| runSetStoreAsKVStore | Polysemy.SetStore |
| runSetStoreInRedis | Polysemy.SetStore |
| runSeveral | Polysemy.Several |
| runShiftFinal | Polysemy.Shift |
| runShiftM | Polysemy.Shift |
| runShiftPure | Polysemy.Shift |
| runShiftUnsafe | Polysemy.Shift |
| runShiftWeaving | Polysemy.Shift.Internal |
| runShiftWithCM | Polysemy.Shift |
| runShiftWithCPure | Polysemy.Shift |
| runShiftWithCUnsafe | Polysemy.Shift |
| runStateFinal | Polysemy.Final.MTL |
| runWriterFinal | Polysemy.Final.MTL |
| SetStore | Polysemy.SetStore |
| Shift | Polysemy.Shift.Internal, Polysemy.Shift |
| shift | Polysemy.Shift |
| Strategic | Polysemy.Final, Polysemy.Final.Async, Polysemy.Final.Error, Polysemy.Final.Fixpoint, Polysemy.Final.MTL, Polysemy.Final.Resource |
| Sub | Polysemy.ConstraintAbsorber |
| Subst | Polysemy.Cont.Internal, Polysemy.Cont, Polysemy.Shift |
| subst | Polysemy.Cont.Internal, Polysemy.Cont, Polysemy.Shift |
| Throw | Polysemy.Final.Error |
| throw | Polysemy.Final.Error |
| Trap | Polysemy.Shift.Internal, Polysemy.Shift |
| trap | Polysemy.Shift.Internal, Polysemy.Shift |
| TypeConcat | Polysemy.Several |
| TypeMap | Polysemy.Several |
| UpdateKV | Polysemy.KVStore |
| updateKV | Polysemy.KVStore |
| withStrategic | Polysemy.Final, Polysemy.Final.Async, Polysemy.Final.Error, Polysemy.Final.Fixpoint, Polysemy.Final.MTL, Polysemy.Final.Resource |
| WithStrategy | Polysemy.Final, Polysemy.Final.Async, Polysemy.Final.Error, Polysemy.Final.Fixpoint, Polysemy.Final.MTL, Polysemy.Final.Resource |
| WithWeaving | Polysemy.Final, Polysemy.Final.Async, Polysemy.Final.Error, Polysemy.Final.Fixpoint, Polysemy.Final.MTL, Polysemy.Final.Resource |
| withWeaving | Polysemy.Final, Polysemy.Final.Async, Polysemy.Final.Error, Polysemy.Final.Fixpoint, Polysemy.Final.MTL, Polysemy.Final.Resource |
| writeKV | Polysemy.KVStore |
| ~@ | Polysemy.Operators |
| ~@> | Polysemy.Operators |