| Account | Examples.Account.AbstractDomain |
| accounts | Examples.Account.AbstractDomain |
| AccountsError | Examples.Account.SimpleDomain |
| AccountsMod | |
| 1 (Type/Class) | Examples.Account.PaymentMod |
| 2 (Data Constructor) | Examples.Account.PaymentMod |
| AccountsT | Examples.Account.SimpleDomain |
| addAndSubscribe | Examples.Account.Scenarios |
| AddPolicy | Examples.Account.AbstractDomain |
| addPolicy | Examples.Account.AbstractDomain |
| AddUser | Examples.Account.AbstractDomain |
| addUser | Examples.Account.AbstractDomain |
| AllPolicies | Examples.Account.AbstractDomain |
| allPolicies | Examples.Account.AbstractDomain |
| AlreadyExistingAccount | Examples.Account.SimpleDomain |
| AlreadyExistingPolicy | Examples.Account.SimpleDomain |
| andLater | Logic.NextBind |
| AST | Effect.Internal, Effect |
| astInject | Effect.Internal |
| Bar | |
| 1 (Type/Class) | Effect.THTests |
| 2 (Data Constructor) | Effect.THTests |
| bar | Effect.THTests |
| Baz | |
| 1 (Type/Class) | Effect.THTests |
| 2 (Data Constructor) | Effect.THTests |
| baz | Effect.THTests |
| Branch | Logic.NextBind |
| CatchError | Effect.Error |
| conditionalPaymentMod | Examples.Account.PaymentMod |
| ConstraintCons | Effect.Internal |
| ConstraintList | Effect.Internal |
| ConstraintNil | Effect.Internal |
| defineEffectType | Effect.TH |
| deleteTrace | Examples.Ltl.Simple |
| DeleteValue | Examples.Ltl.Simple |
| deleteValue | Examples.Ltl.Simple |
| Direct | |
| 1 (Data Constructor) | Logic.NextBind |
| 2 (Data Constructor) | Logic.Ltl |
| DoNothing | Logic.NextBind |
| Echo | Examples.Ltl.HigherOrder |
| echo | Examples.Ltl.HigherOrder |
| Effect | Effect.Internal, Effect |
| EffectInject | Effect.Internal, Effect |
| effectInject | Effect.Internal |
| ensureExistingPolicy | Examples.Account.SimpleDomain |
| ensureExistingUser | Examples.Account.SimpleDomain |
| ensureNonExistingPolicy | Examples.Account.SimpleDomain |
| ensureNonExistingUser | Examples.Account.SimpleDomain |
| everywhere | |
| 1 (Function) | Logic.NextBind |
| 2 (Function) | Logic.Ltl |
| exampleCustom | Examples.Ltl.Simple |
| exampleEverywhereDelete | Examples.Ltl.Simple |
| exampleEverywhereEmpty | Examples.Ltl.Simple |
| exampleEverywhereSwap | Examples.Ltl.Simple |
| exampleFlipFibonacci | Examples.Ltl.HigherOrder |
| exampleIf | Examples.Ltl.HigherOrder |
| exampleNotThere | Examples.Ltl.Simple |
| exampleSomewhere | Examples.Ltl.HigherOrder |
| exampleSomewhereDelete | Examples.Ltl.Simple |
| exampleSomewhereSwap | Examples.Ltl.Simple |
| exampleThere | Examples.Ltl.Simple |
| ExpectedBoolean | Examples.Ltl.HigherOrder |
| ExpectedInteger | Examples.Ltl.HigherOrder |
| Fail | |
| 1 (Data Constructor) | Effect.Fail |
| 2 (Data Constructor) | Logic.NextBind |
| fibonacciExample | Examples.Ltl.HigherOrder |
| finished | Logic.NextBind |
| firstPayments | Examples.Account.Scenarios |
| Fixpoint | |
| 1 (Type/Class) | Effect.Internal |
| 2 (Data Constructor) | Effect.Internal |
| flipBools | Examples.Ltl.HigherOrder |
| flipBoth | Examples.Ltl.HigherOrder |
| flipIntegers | Examples.Ltl.HigherOrder |
| Foo | |
| 1 (Type/Class) | Effect.THTests |
| 2 (Data Constructor) | Effect.THTests |
| foo | Effect.THTests |
| Freer | Effect.Internal |
| gcdExample | Examples.Ltl.HigherOrder |
| Get | Effect.State |
| GetUserBalance | Examples.Account.AbstractDomain |
| getUserBalance | Examples.Account.AbstractDomain |
| GetValue | Examples.Ltl.Simple |
| getValue | Examples.Ltl.Simple |
| If_ | Examples.Ltl.HigherOrder |
| if_ | Examples.Ltl.HigherOrder |
| immediate | Logic.NextBind |
| Impure | Effect.Internal |
| increaseJudithPaymentsMod | Examples.Account.PaymentMod |
| increaseJudithPaymentsScenario1 | Examples.Account.Scenarios |
| increaseJudithPaymentsScenario3 | Examples.Account.Scenarios |
| interpretAndRun | |
| 1 (Function) | Examples.Ltl.Simple |
| 2 (Function) | Examples.Account.PaymentMod |
| interpretAndRunMiniLang | Examples.Ltl.HigherOrder |
| interpretAST | Effect.Internal, Effect |
| interpretASTStateful | Effect.Internal, Effect |
| Interpretation | Logic.NextBind |
| InterpretEffect | Effect.Internal, Effect |
| interpretEffect | Effect.Internal, Effect |
| InterpretEffects | Effect.Internal, Effect |
| interpretEffects | Effect.Internal |
| InterpretEffectsLtl | Logic.Ltl |
| interpretEffectsLtl | Logic.Ltl |
| InterpretEffectsStateful | Effect.Internal, Effect |
| interpretEffectsStateful | Effect.Internal |
| InterpretEffectStateful | Effect.Internal, Effect |
| interpretEffectStateful | Effect.Internal, Effect |
| InterpretEffectStatefulTag | Logic.Ltl |
| interpretFoo | Effect.THTests |
| interpretLtlAST | Logic.Ltl |
| interpretLtlASTWithInitialFormulas | Logic.Ltl |
| InterpretLtlHigherOrder | Logic.Ltl |
| interpretLtlHigherOrder | Logic.Ltl |
| InterpretLtlHigherOrderTag | Logic.Ltl |
| InterpretMod | Logic.SingleStep |
| interpretMod | Logic.SingleStep |
| InterpretModTag | Logic.Ltl |
| InterpretNextBind | Logic.NextBind |
| interpretNextBind | Logic.NextBind |
| InterpretOneLayer | Effect.Internal |
| interpretOneLayer | Effect.Internal |
| InterpretOneLayerState | Effect.Internal |
| interpretOneLayerState | Effect.Internal |
| Invisible | Logic.SingleStep |
| IssuePayment | Examples.Account.AbstractDomain |
| issuePayment | Examples.Account.AbstractDomain |
| JoinedEffects | Effect.Internal |
| JoinedEffectsHere | Effect.Internal |
| JoinedEffectsThere | Effect.Internal |
| KeyValueError | Examples.Ltl.Simple |
| KeyValueMod | |
| 1 (Type/Class) | Examples.Ltl.Simple |
| 2 (Data Constructor) | Examples.Ltl.Simple |
| KeyValueT | Examples.Ltl.Simple |
| LiftIO | Effect.IO |
| Listen | Effect.Writer |
| Ltl | Logic.Ltl |
| LtlAnd | Logic.Ltl |
| LtlAST | Logic.Ltl |
| LtlAtom | Logic.Ltl |
| LtlFalsity | Logic.Ltl |
| LtlInstanceKind | Logic.Ltl |
| LtlInterpHigherOrder | Logic.Ltl |
| LtlNext | Logic.Ltl |
| LtlOr | Logic.Ltl |
| LtlRelease | Logic.Ltl |
| LtlTruth | Logic.Ltl |
| LtlUntil | Logic.Ltl |
| makeEffect | Effect.TH |
| makeInterpretation | Effect.TH |
| makeLtl | Logic.Ltl.TH |
| makeReification | Effect.TH |
| MiniLangBoolean | Examples.Ltl.HigherOrder |
| MiniLangError | Examples.Ltl.HigherOrder |
| MiniLangInteger | Examples.Ltl.HigherOrder |
| MiniLangMod | |
| 1 (Type/Class) | Examples.Ltl.HigherOrder |
| 2 (Data Constructor) | Examples.Ltl.HigherOrder |
| MiniLangT | Examples.Ltl.HigherOrder |
| MiniLangValue | Examples.Ltl.HigherOrder |
| modifyAccounts | Examples.Account.SimpleDomain |
| modifyLtl | Logic.Ltl |
| modifyPolicies | Examples.Account.SimpleDomain |
| ModInterp | Logic.SingleStep |
| moduloMiniLangMod | Examples.Ltl.HigherOrder |
| MonadAccounts | Examples.Account.AbstractDomain |
| MonadAccountsEffect | Examples.Account.AbstractDomain |
| MonadBar | Effect.THTests |
| MonadBaz | Effect.THTests |
| MonadErrorEffect | Effect.Error |
| MonadFailEffect | Effect.Fail |
| MonadFoo | Effect.THTests |
| MonadIOEffect | Effect.IO |
| MonadKeyValue | Examples.Ltl.Simple |
| MonadKeyValueEffect | Examples.Ltl.Simple |
| MonadMiniLang | Examples.Ltl.HigherOrder |
| MonadMiniLangEffect | Examples.Ltl.HigherOrder |
| MonadQuux | Effect.THTests |
| MonadStateEffect | Effect.State |
| MonadWriterEffect | Effect.Writer |
| negatePaymentsMod | Examples.Account.PaymentMod |
| negateScenario1 | Examples.Account.Scenarios |
| negateScenario2 | Examples.Account.Scenarios |
| Nested | |
| 1 (Data Constructor) | Logic.NextBind |
| 2 (Data Constructor) | Logic.Ltl |
| Next | Logic.NextBind |
| NextBind | Logic.NextBind |
| noOverwrite | Examples.Ltl.Simple |
| noStoreOverride | Examples.Ltl.Simple |
| NoSuchAccount | Examples.Account.SimpleDomain |
| NoSuchKey | Examples.Ltl.Simple |
| NoSuchPolicy | Examples.Account.SimpleDomain |
| Now | Logic.NextBind |
| nowLaterList | Logic.Ltl |
| nowLaterSplit | Logic.Ltl |
| onPop | Examples.Ltl.HigherOrder |
| onPush | Examples.Ltl.HigherOrder |
| Pass | Effect.Writer |
| Payment | Examples.Account.AbstractDomain |
| policies | Examples.Account.AbstractDomain |
| Policy | Examples.Account.AbstractDomain |
| policyAlwaysReceives | Examples.Account.Scenarios |
| PolicyError | Examples.Account.SimpleDomain |
| policyNeverNegative | Examples.Account.Scenarios |
| policyOtherNeverNegative | Examples.Account.Scenarios |
| policyPositivePayments | Examples.Account.Scenarios |
| Pop | Examples.Ltl.HigherOrder |
| pop | Examples.Ltl.HigherOrder |
| popBoolean | Examples.Ltl.HigherOrder |
| popBoolMiniLangMod | Examples.Ltl.HigherOrder |
| popInteger | Examples.Ltl.HigherOrder |
| popIntegerMiniLangMod | Examples.Ltl.HigherOrder |
| popMiniLangMod | Examples.Ltl.HigherOrder |
| Pure | Effect.Internal |
| Push | Examples.Ltl.HigherOrder |
| push | Examples.Ltl.HigherOrder |
| pushBoolean | Examples.Ltl.HigherOrder |
| pushBoolMiniLangMod | Examples.Ltl.HigherOrder |
| pushInteger | Examples.Ltl.HigherOrder |
| pushIntegerMiniLangMod | Examples.Ltl.HigherOrder |
| pushMiniLangMod | Examples.Ltl.HigherOrder |
| Put | Effect.State |
| Quux | |
| 1 (Type/Class) | Effect.THTests |
| 2 (Data Constructor) | Effect.THTests |
| quux | Effect.THTests |
| Register | |
| 1 (Type/Class) | Examples.Account.AbstractDomain |
| 2 (Data Constructor) | Examples.Account.AbstractDomain |
| registerPolicies | Examples.Account.Scenarios |
| registerUsers | Examples.Account.Scenarios |
| renameKey | Examples.Ltl.Simple |
| renameKeys | Examples.Ltl.Simple |
| runAccountsT | Examples.Account.SimpleDomain |
| runKeyValueT | Examples.Ltl.Simple |
| runMiniLangT | Examples.Ltl.HigherOrder |
| scenario1 | Examples.Account.Scenarios |
| scenario2 | Examples.Account.Scenarios |
| scenario3 | Examples.Account.Scenarios |
| Simulate | Examples.Account.AbstractDomain |
| simulate | Examples.Account.AbstractDomain |
| somewhere | |
| 1 (Function) | Logic.NextBind |
| 2 (Function) | Logic.Ltl |
| StackUnderflow | Examples.Ltl.HigherOrder |
| State | Effect.State |
| StoreValue | Examples.Ltl.Simple |
| storeValue | Examples.Ltl.Simple |
| SubscribeToPolicy | Examples.Account.AbstractDomain |
| subscribeToPolicy | Examples.Account.AbstractDomain |
| swapTrace | Examples.Ltl.Simple |
| Tell | Effect.Writer |
| there | Logic.Ltl |
| ThrowError | Effect.Error |
| unFixpoint | Effect.Internal |
| UnsubscribeToPolicy | Examples.Account.AbstractDomain |
| unsubscribeToPolicy | Examples.Account.AbstractDomain |
| Visible | Logic.SingleStep |
| While_ | Examples.Ltl.HigherOrder |
| while_ | Examples.Ltl.HigherOrder |
| Writer | Effect.Writer |