| raiseMockError | Test.Cardano.Ledger.Generic.Trace |
| Random | Test.Cardano.Ledger.Constrained.Ast |
| Range | Test.Cardano.Ledger.Constrained.Ast |
| RATIFY | Test.Cardano.Ledger.Generic.Proof |
| ratifyGovActionStatesL | Test.Cardano.Ledger.Constrained.Vars |
| ratifyState | Test.Cardano.Ledger.Constrained.Vars |
| ratifyStateL | Test.Cardano.Ledger.Constrained.Vars |
| RatifyStateR | Test.Cardano.Ledger.Constrained.TypeRep |
| RationalR | Test.Cardano.Ledger.Constrained.TypeRep |
| RdmrPtrR | Test.Cardano.Ledger.Constrained.TypeRep |
| rdmrPtrsT | Test.Cardano.Ledger.Constrained.Preds.Tx |
| rdmrsTxWitsL | Test.Cardano.Ledger.EraClass |
| RdmrWits | Test.Cardano.Ledger.Generic.Fields |
| reasonable | Test.Cardano.Ledger.Constrained.Preds.LedgerState |
| redeemerPointer | Test.Cardano.Ledger.EraClass |
| redeemerPointerInverse | Test.Cardano.Ledger.EraClass |
| redeemers | Test.Cardano.Ledger.Constrained.Vars |
| referenceScriptTxOutL | Test.Cardano.Ledger.EraClass |
| RefInputs | Test.Cardano.Ledger.Generic.Fields |
| refInputs | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| 3 (Function) | Test.Cardano.Ledger.Examples.BabbageFeatures |
| RefInputs' | Test.Cardano.Ledger.Generic.Fields |
| refInputsMax | Test.Cardano.Ledger.Generic.GenState |
| Refl | Test.Cardano.Ledger.Constrained.TypeRep |
| Reflect | Test.Cardano.Ledger.Generic.Proof |
| RefScript | Test.Cardano.Ledger.Generic.Fields |
| RefScript' | Test.Cardano.Ledger.Generic.Fields |
| regCertFreq | Test.Cardano.Ledger.Generic.GenState |
| regPools | Test.Cardano.Ledger.Constrained.Vars |
| regPoolsL | Test.Cardano.Ledger.Constrained.Vars |
| reify | Test.Cardano.Ledger.Generic.Proof |
| reifyX | Test.Cardano.Ledger.Constrained.Conway.TxBodySpec |
| RelAny | Test.Cardano.Ledger.Constrained.Spec |
| relDisjoint | Test.Cardano.Ledger.Constrained.Spec |
| relEqual | Test.Cardano.Ledger.Constrained.Spec |
| RelLens | Test.Cardano.Ledger.Constrained.Spec |
| RelNever | Test.Cardano.Ledger.Constrained.Spec |
| RelOper | Test.Cardano.Ledger.Constrained.Spec |
| relOper | Test.Cardano.Ledger.Constrained.Spec |
| RelSpec | Test.Cardano.Ledger.Constrained.Spec |
| relSubset | Test.Cardano.Ledger.Constrained.Spec |
| relSuperset | Test.Cardano.Ledger.Constrained.Spec |
| remove | Test.Cardano.Ledger.Constrained.Spec |
| removeEqual | Test.Cardano.Ledger.Constrained.Rewrite |
| removeSameVar | Test.Cardano.Ledger.Constrained.Rewrite |
| rename | Test.Cardano.Ledger.Constrained.Rewrite |
| Rep | Test.Cardano.Ledger.Constrained.TypeRep |
| repl | Test.Cardano.Ledger.Constrained.Preds.Repl |
| ReplMode | Test.Cardano.Ledger.Constrained.Preds.Repl |
| reportManyAddsSpec | Test.Cardano.Ledger.Constrained.Spec |
| reportManyMergeElemSpec | Test.Cardano.Ledger.Constrained.Spec |
| reportManyMergeListSpec | Test.Cardano.Ledger.Constrained.Spec |
| reportManyMergeMapSpec | Test.Cardano.Ledger.Constrained.Spec |
| reportManyMergePairSpec | Test.Cardano.Ledger.Constrained.Spec |
| reportManyMergeRelSpec | Test.Cardano.Ledger.Constrained.Spec |
| reportManyMergeRngSpec | Test.Cardano.Ledger.Constrained.Spec |
| reportManyMergeSetSpec | Test.Cardano.Ledger.Constrained.Spec |
| reportManyNonNegAddsSpec | Test.Cardano.Ledger.Constrained.Spec |
| Reps | Test.Cardano.Ledger.Constrained.SpecClass |
| reqSig | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| ReqSignerHashes | Test.Cardano.Ledger.Generic.Fields |
| reqSignerHashes | Test.Cardano.Ledger.Constrained.Vars |
| ReqSignerHashes' | Test.Cardano.Ledger.Generic.Fields |
| reqSignerHashesTxBodyL | Test.Cardano.Ledger.EraClass |
| require | Test.Cardano.Ledger.Generic.Scriptic |
| requireAll | Test.Cardano.Ledger.Constrained.Monad |
| reserves | |
| 1 (Function) | Test.Cardano.Ledger.Generic.GenState |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| reservesL | Test.Cardano.Ledger.Constrained.Vars |
| Restrict | Test.Cardano.Ledger.Constrained.Ast |
| restrictEnv | Test.Cardano.Ledger.Constrained.Env |
| retiring | Test.Cardano.Ledger.Constrained.Vars |
| retiringL | Test.Cardano.Ledger.Constrained.Vars |
| returnAddrV | Test.Cardano.Ledger.Constrained.Vars |
| reverseOrdCond | Test.Cardano.Ledger.Constrained.Classes |
| RewardAccountR | Test.Cardano.Ledger.Constrained.TypeRep |
| rewardDepositDomainInvariant | Test.Cardano.Ledger.Generic.AggPropTests |
| Rewarding | Test.Cardano.Ledger.Generic.GenState |
| RewardR | Test.Cardano.Ledger.Constrained.TypeRep |
| rewards | Test.Cardano.Ledger.Constrained.Vars |
| rewardSet | Test.Cardano.Ledger.Constrained.Vars |
| rewardSetL | Test.Cardano.Ledger.Constrained.Vars |
| rewardsL | Test.Cardano.Ledger.Constrained.Vars |
| rewardsUMapL | Test.Cardano.Ledger.Constrained.Lenses |
| rewDepMapSpec | Test.Cardano.Ledger.Constrained.Conway.Deleg, Test.Cardano.Ledger.Constrained.Conway |
| rewDepMapSpec2 | Test.Cardano.Ledger.Constrained.Conway.Deleg, Test.Cardano.Ledger.Constrained.Conway |
| rewrite | Test.Cardano.Ledger.Constrained.Rewrite |
| rewriteGen | Test.Cardano.Ledger.Constrained.Rewrite |
| rewritePred | Test.Cardano.Ledger.Constrained.Rewrite |
| Rho | Test.Cardano.Ledger.Generic.Fields |
| rho | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| rho_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| Rng | Test.Cardano.Ledger.Constrained.Ast |
| RngAny | Test.Cardano.Ledger.Constrained.Spec |
| RngElem | Test.Cardano.Ledger.Constrained.Spec |
| RngNever | Test.Cardano.Ledger.Constrained.Spec |
| RngProj | Test.Cardano.Ledger.Constrained.Spec |
| RngRel | Test.Cardano.Ledger.Constrained.Spec |
| RngSpec | Test.Cardano.Ledger.Constrained.Spec |
| RngSum | Test.Cardano.Ledger.Constrained.Spec |
| RootTarget | Test.Cardano.Ledger.Constrained.Ast |
| Rule | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| ruleProof | Test.Cardano.Ledger.Generic.Proof |
| runAddsSpec | Test.Cardano.Ledger.Constrained.Spec |
| runComp | Test.Cardano.Ledger.Constrained.Ast |
| runCompile | Test.Cardano.Ledger.Constrained.Examples |
| runElemSpec | Test.Cardano.Ledger.Constrained.Spec |
| runGenRS | Test.Cardano.Ledger.Generic.GenState |
| runLEDGER | Test.Cardano.Ledger.Examples.STSTestUtils |
| runListSpec | Test.Cardano.Ledger.Constrained.Spec |
| runMapSpec | Test.Cardano.Ledger.Constrained.Spec |
| runOne | Test.Cardano.Ledger.Constrained.Trace.Tests |
| runOrdCond | Test.Cardano.Ledger.Constrained.Classes |
| runOrdCondition | Test.Cardano.Ledger.Constrained.Classes |
| runPairSpec | Test.Cardano.Ledger.Constrained.Spec |
| runPred | Test.Cardano.Ledger.Constrained.Ast |
| runPreds | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Tests |
| runRelSpec | Test.Cardano.Ledger.Constrained.Spec |
| runRngSpec | Test.Cardano.Ledger.Constrained.Spec |
| runS | Test.Cardano.Ledger.Constrained.SpecClass |
| runSetSpec | Test.Cardano.Ledger.Constrained.Spec |
| runSize | Test.Cardano.Ledger.Constrained.Size |
| runSTS | Test.Cardano.Ledger.Generic.Proof |
| runSTS' | Test.Cardano.Ledger.Generic.Proof |
| runSum | Test.Cardano.Ledger.Constrained.Ast |
| runTarget | Test.Cardano.Ledger.Constrained.Ast |
| runTerm | Test.Cardano.Ledger.Constrained.Ast |
| runTest | |
| 1 (Function) | Test.Cardano.Ledger.Generic.Trace |
| 2 (Function) | Test.Cardano.Ledger.Generic.Properties |
| runTraceM | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| runTyped | Test.Cardano.Ledger.Constrained.Monad |
| RUPD | Test.Cardano.Ledger.Constrained.Trace.Pipeline |