Index

addNativeScriptTxWits	Test.Cardano.Ledger.Shelley.ImpTest
addRootTxIn	Test.Cardano.Ledger.Shelley.ImpTest
advanceToPointOfNoReturn	Test.Cardano.Ledger.Shelley.ImpTest
ansiDocToString	Test.Cardano.Ledger.Shelley.TreeDiff
ansiExpr	Test.Cardano.Ledger.Shelley.TreeDiff
ansiExprString	Test.Cardano.Ledger.Shelley.TreeDiff
AnsiStyle	Test.Cardano.Ledger.Shelley.TreeDiff, Test.Cardano.Ledger.Shelley.ImpTest
ansiWlPretty	Test.Cardano.Ledger.Shelley.TreeDiff
App	Test.Cardano.Ledger.Shelley.TreeDiff
ASC
1 (Type/Class)	Test.Cardano.Ledger.Shelley.Arbitrary
2 (Data Constructor)	Test.Cardano.Ledger.Shelley.Arbitrary
assertColorFailure	Test.Cardano.Ledger.Shelley.TreeDiff
assertExprEqualWithMessage	Test.Cardano.Ledger.Shelley.TreeDiff
block	Test.Cardano.Ledger.Shelley.CDDL
bootstrap_witness	Test.Cardano.Ledger.Shelley.CDDL
callStackToLocation	Test.Cardano.Ledger.Shelley.TreeDiff
CBORBytes
1 (Data Constructor)	Test.Cardano.Ledger.Shelley.TreeDiff
2 (Type/Class)	Test.Cardano.Ledger.Shelley.TreeDiff
certificate	Test.Cardano.Ledger.Shelley.CDDL
collectionDatumMaxSize	Test.Cardano.Ledger.Shelley.Arbitrary
Constants
1 (Type/Class)	Test.Cardano.Ledger.Shelley.Constants
2 (Data Constructor)	Test.Cardano.Ledger.Shelley.Constants
defaultConstants	Test.Cardano.Ledger.Shelley.Constants
defaultExprViaShow	Test.Cardano.Ledger.Shelley.TreeDiff
defaultInitImpTestState	Test.Cardano.Ledger.Shelley.ImpTest
defaultInitNewEpochState	Test.Cardano.Ledger.Shelley.ImpTest
delegateStake	Test.Cardano.Ledger.Shelley.ImpTest
diffExpr	Test.Cardano.Ledger.Shelley.TreeDiff
diffExprCompact	Test.Cardano.Ledger.Shelley.TreeDiff
diffExprCompactString	Test.Cardano.Ledger.Shelley.TreeDiff
diffExprString	Test.Cardano.Ledger.Shelley.TreeDiff
disableTreasuryExpansion	Test.Cardano.Ledger.Shelley.ImpTest
dns_name	Test.Cardano.Ledger.Shelley.CDDL
Doc	Test.Cardano.Ledger.Shelley.TreeDiff, Test.Cardano.Ledger.Shelley.ImpTest
ediff	Test.Cardano.Ledger.Shelley.TreeDiff
epoch	Test.Cardano.Ledger.Shelley.CDDL
expectExprEqual	Test.Cardano.Ledger.Shelley.TreeDiff
expectExprEqualWithMessage	Test.Cardano.Ledger.Shelley.TreeDiff
expectNotRegisteredRewardAddress	Test.Cardano.Ledger.Shelley.ImpTest
expectRegisteredRewardAddress	Test.Cardano.Ledger.Shelley.ImpTest
expectTreasury	Test.Cardano.Ledger.Shelley.ImpTest
expectUTxOContent	Test.Cardano.Ledger.Shelley.ImpTest
Expr	Test.Cardano.Ledger.Shelley.TreeDiff
fixupAuxDataHash	Test.Cardano.Ledger.Shelley.ImpTest
fixupFees	Test.Cardano.Ledger.Shelley.ImpTest
fixupTx	Test.Cardano.Ledger.Shelley.ImpTest
fixupTxOuts	Test.Cardano.Ledger.Shelley.ImpTest
frequencyAFewWithdrawals	Test.Cardano.Ledger.Shelley.Constants
frequencyDelegCert	Test.Cardano.Ledger.Shelley.Constants
frequencyDeRegKeyCert	Test.Cardano.Ledger.Shelley.Constants
frequencyGenesisDelegationCert	Test.Cardano.Ledger.Shelley.Constants
frequencyKeyCredDelegation	Test.Cardano.Ledger.Shelley.Constants
frequencyKeyCredDeReg	Test.Cardano.Ledger.Shelley.Constants
frequencyKeyCredReg	Test.Cardano.Ledger.Shelley.Constants
frequencyLowMaxEpoch	Test.Cardano.Ledger.Shelley.Constants
frequencyMIRCert	Test.Cardano.Ledger.Shelley.Constants
frequencyNoWithdrawals	Test.Cardano.Ledger.Shelley.Constants
frequencyPotentiallyManyWithdrawals	Test.Cardano.Ledger.Shelley.Constants
frequencyRegCert	Test.Cardano.Ledger.Shelley.Constants
frequencyRegPoolCert	Test.Cardano.Ledger.Shelley.Constants
frequencyRetirePoolCert	Test.Cardano.Ledger.Shelley.Constants
frequencyScriptCredDelegation	Test.Cardano.Ledger.Shelley.Constants
frequencyScriptCredDeReg	Test.Cardano.Ledger.Shelley.Constants
frequencyScriptCredReg	Test.Cardano.Ledger.Shelley.Constants
frequencyTxUpdates	Test.Cardano.Ledger.Shelley.Constants
frequencyTxWithMetadata	Test.Cardano.Ledger.Shelley.Constants
freshBootstapAddress	Test.Cardano.Ledger.Shelley.ImpTest
freshByronKeyHash	Test.Cardano.Ledger.Shelley.ImpTest
freshKeyAddr	Test.Cardano.Ledger.Shelley.ImpTest
freshKeyAddr_	Test.Cardano.Ledger.Shelley.ImpTest
freshKeyHash	Test.Cardano.Ledger.Shelley.ImpTest
freshKeyHashVRF	Test.Cardano.Ledger.Shelley.ImpTest
freshKeyPair	Test.Cardano.Ledger.Shelley.ImpTest
freshSafeHash	Test.Cardano.Ledger.Shelley.ImpTest
genesishash	Test.Cardano.Ledger.Shelley.CDDL
genesis_delegate_hash	Test.Cardano.Ledger.Shelley.CDDL
genesis_key_delegation	Test.Cardano.Ledger.Shelley.CDDL
genMetadata	Test.Cardano.Ledger.Shelley.Arbitrary
genMetadata'	Test.Cardano.Ledger.Shelley.Arbitrary
genTxStableUtxoSize	Test.Cardano.Ledger.Shelley.Constants
genTxUtxoIncrement	Test.Cardano.Ledger.Shelley.Constants
genUtf8StringOfSize	Test.Cardano.Ledger.Shelley.Arbitrary
getBinDir	Paths_cardano_ledger_shelley
getDataDir	Paths_cardano_ledger_shelley
getDataFileName	Paths_cardano_ledger_shelley
getDynLibDir	Paths_cardano_ledger_shelley
getLibDir	Paths_cardano_ledger_shelley
getLibexecDir	Paths_cardano_ledger_shelley
getProtVer	Test.Cardano.Ledger.Shelley.ImpTest
getRewardAccountAmount	Test.Cardano.Ledger.Shelley.ImpTest
getRewardAccountFor	Test.Cardano.Ledger.Shelley.ImpTest
getsNES	Test.Cardano.Ledger.Shelley.ImpTest
getSysconfDir	Paths_cardano_ledger_shelley
getUTxO	Test.Cardano.Ledger.Shelley.ImpTest
goldenNewEpochStateExpectation	Test.Cardano.Ledger.Shelley.Binary.Golden
header	Test.Cardano.Ledger.Shelley.CDDL
header_body	Test.Cardano.Ledger.Shelley.CDDL
HexBytes
1 (Data Constructor)	Test.Cardano.Ledger.Shelley.TreeDiff
2 (Type/Class)	Test.Cardano.Ledger.Shelley.TreeDiff
hexByteStringExpr	Test.Cardano.Ledger.Shelley.TreeDiff
ieAnnotation	Test.Cardano.Ledger.Shelley.ImpTest
ieThrownException	Test.Cardano.Ledger.Shelley.ImpTest
impAddNativeScript	Test.Cardano.Ledger.Shelley.ImpTest
impAnn	Test.Cardano.Ledger.Shelley.ImpTest
impAnnDoc	Test.Cardano.Ledger.Shelley.ImpTest
impEraStartEpochNo	Test.Cardano.Ledger.Shelley.ImpTest
ImpException
1 (Data Constructor)	Test.Cardano.Ledger.Shelley.ImpTest
2 (Type/Class)	Test.Cardano.Ledger.Shelley.ImpTest
impGetNativeScript	Test.Cardano.Ledger.Shelley.ImpTest
impGlobalsL	Test.Cardano.Ledger.Shelley.ImpTest
ImpInit	Test.Cardano.Ledger.Shelley.ImpTest
impKeyPairsG	Test.Cardano.Ledger.Shelley.ImpTest
impLastTickG	Test.Cardano.Ledger.Shelley.ImpTest
impLogToExpr	Test.Cardano.Ledger.Shelley.ImpTest
impLookupUTxO	Test.Cardano.Ledger.Shelley.ImpTest
ImpM	Test.Cardano.Ledger.Shelley.ImpTest
impNativeScriptsG	Test.Cardano.Ledger.Shelley.ImpTest
impNESL	Test.Cardano.Ledger.Shelley.ImpTest
impSatisfyNativeScript	Test.Cardano.Ledger.Shelley.ImpTest
impSetSeed	Test.Cardano.Ledger.Shelley.ImpTest
ImpTestEnv
1 (Type/Class)	Test.Cardano.Ledger.Shelley.ImpTest
2 (Data Constructor)	Test.Cardano.Ledger.Shelley.ImpTest
ImpTestM	Test.Cardano.Ledger.Shelley.ImpTest
ImpTestState	Test.Cardano.Ledger.Shelley.ImpTest
impWitsVKeyNeeded	Test.Cardano.Ledger.Shelley.ImpTest
initGenesis	Test.Cardano.Ledger.Shelley.ImpTest
initImpTestState	Test.Cardano.Ledger.Shelley.ImpTest
initNewEpochState	Test.Cardano.Ledger.Shelley.ImpTest
ipv4	Test.Cardano.Ledger.Shelley.CDDL
ipv6	Test.Cardano.Ledger.Shelley.CDDL
iteCborRoundTripFailures	Test.Cardano.Ledger.Shelley.ImpTest
iteFixup	Test.Cardano.Ledger.Shelley.ImpTest
LedgerSpec	Test.Cardano.Ledger.Shelley.ImpTest
listToExpr	Test.Cardano.Ledger.Shelley.TreeDiff
logDoc	Test.Cardano.Ledger.Shelley.ImpTest
logFeeMismatch	Test.Cardano.Ledger.Shelley.ImpTest
logStakeDistr	Test.Cardano.Ledger.Shelley.ImpTest
logString	Test.Cardano.Ledger.Shelley.ImpTest
logText	Test.Cardano.Ledger.Shelley.ImpTest
logToExpr	Test.Cardano.Ledger.Shelley.ImpTest
lookupByronKeyPair	Test.Cardano.Ledger.Shelley.ImpTest
lookupImpRootTxOut	Test.Cardano.Ledger.Shelley.ImpTest
lookupKeyPair	Test.Cardano.Ledger.Shelley.ImpTest
lookupReward	Test.Cardano.Ledger.Shelley.ImpTest
Lst	Test.Cardano.Ledger.Shelley.TreeDiff
major_protocol_version	Test.Cardano.Ledger.Shelley.CDDL
maxAFewWithdrawals	Test.Cardano.Ledger.Shelley.Constants
maxCertsPerTx	Test.Cardano.Ledger.Shelley.Constants
maxGenesisOutputVal	Test.Cardano.Ledger.Shelley.Constants
maxGenesisUTxOouts	Test.Cardano.Ledger.Shelley.Constants
maxMinFeeA	Test.Cardano.Ledger.Shelley.Constants
maxMinFeeB	Test.Cardano.Ledger.Shelley.Constants
maxNumGenInputs	Test.Cardano.Ledger.Shelley.Constants
maxReserves	Test.Cardano.Ledger.Shelley.Constants
maxSlotTrace	Test.Cardano.Ledger.Shelley.Constants
maxTreasury	Test.Cardano.Ledger.Shelley.Constants
maxTxsPerBlock	Test.Cardano.Ledger.Shelley.Constants
metadataMaxSize	Test.Cardano.Ledger.Shelley.Arbitrary
metadata_hash	Test.Cardano.Ledger.Shelley.CDDL
minGenesisOutputVal	Test.Cardano.Ledger.Shelley.Constants
minGenesisUTxOouts	Test.Cardano.Ledger.Shelley.Constants
minNumGenInputs	Test.Cardano.Ledger.Shelley.Constants
minReserves	Test.Cardano.Ledger.Shelley.Constants
minSlotTrace	Test.Cardano.Ledger.Shelley.Constants
minTreasury	Test.Cardano.Ledger.Shelley.Constants
modifyImpInitProtVer	Test.Cardano.Ledger.Shelley.ImpTest
modifyNES	Test.Cardano.Ledger.Shelley.ImpTest
modifyPParams	Test.Cardano.Ledger.Shelley.ImpTest
modifyPrevPParams	Test.Cardano.Ledger.Shelley.ImpTest
move_instantaneous_reward	Test.Cardano.Ledger.Shelley.CDDL
move_instantaneous_rewards_cert	Test.Cardano.Ledger.Shelley.CDDL
multisig_all	Test.Cardano.Ledger.Shelley.CDDL
multisig_any	Test.Cardano.Ledger.Shelley.CDDL
multisig_n_of_k	Test.Cardano.Ledger.Shelley.CDDL
multisig_pubkey	Test.Cardano.Ledger.Shelley.CDDL
multisig_script	Test.Cardano.Ledger.Shelley.CDDL
multi_host_name	Test.Cardano.Ledger.Shelley.CDDL
next_major_protocol_version	Test.Cardano.Ledger.Shelley.CDDL
nonce	Test.Cardano.Ledger.Shelley.CDDL
nonempty_set	Test.Cardano.Ledger.Shelley.CDDL
numBaseScripts	Test.Cardano.Ledger.Shelley.Constants
numCoreNodes	Test.Cardano.Ledger.Shelley.Constants
numKeyPairs	Test.Cardano.Ledger.Shelley.Constants
numSimpleScripts	Test.Cardano.Ledger.Shelley.Constants
operational_cert	Test.Cardano.Ledger.Shelley.CDDL
passEpoch	Test.Cardano.Ledger.Shelley.ImpTest
passNEpochs	Test.Cardano.Ledger.Shelley.ImpTest
passNEpochsChecking	Test.Cardano.Ledger.Shelley.ImpTest
passTick	Test.Cardano.Ledger.Shelley.ImpTest
PlutusArgs	Test.Cardano.Ledger.Shelley.ImpTest
poolParams	Test.Cardano.Ledger.Shelley.ImpTest
pool_metadata	Test.Cardano.Ledger.Shelley.CDDL
pool_params	Test.Cardano.Ledger.Shelley.CDDL
pool_registration	Test.Cardano.Ledger.Shelley.CDDL
pool_retirement	Test.Cardano.Ledger.Shelley.CDDL
port	Test.Cardano.Ledger.Shelley.CDDL
ppApp	Test.Cardano.Ledger.Shelley.TreeDiff
ppCon	Test.Cardano.Ledger.Shelley.TreeDiff
ppCpy	Test.Cardano.Ledger.Shelley.TreeDiff
ppDel	Test.Cardano.Ledger.Shelley.TreeDiff
ppEditExpr	Test.Cardano.Ledger.Shelley.TreeDiff
ppEdits	Test.Cardano.Ledger.Shelley.TreeDiff
ppEllip	Test.Cardano.Ledger.Shelley.TreeDiff
ppIns	Test.Cardano.Ledger.Shelley.TreeDiff
ppLst	Test.Cardano.Ledger.Shelley.TreeDiff
ppParens	Test.Cardano.Ledger.Shelley.TreeDiff
ppRec	Test.Cardano.Ledger.Shelley.TreeDiff
Pretty
1 (Type/Class)	Test.Cardano.Ledger.Shelley.TreeDiff
2 (Data Constructor)	Test.Cardano.Ledger.Shelley.TreeDiff
produceScript	Test.Cardano.Ledger.Shelley.ImpTest
proposed_protocol_parameter_updates	Test.Cardano.Ledger.Shelley.CDDL
protocol_param_update	Test.Cardano.Ledger.Shelley.CDDL
protocol_version	Test.Cardano.Ledger.Shelley.CDDL
RawSeed
1 (Type/Class)	Test.Cardano.Ledger.Shelley.Arbitrary
2 (Data Constructor)	Test.Cardano.Ledger.Shelley.Arbitrary
readShelleyCddlFileNames	Test.Cardano.Ledger.Shelley.Binary.Cddl
readShelleyCddlFiles	Test.Cardano.Ledger.Shelley.Binary.Cddl
Rec	Test.Cardano.Ledger.Shelley.TreeDiff
registerAndRetirePoolToMakeReward	Test.Cardano.Ledger.Shelley.ImpTest
registerPool	Test.Cardano.Ledger.Shelley.ImpTest
registerPoolWithRewardAccount	Test.Cardano.Ledger.Shelley.ImpTest
registerRewardAccount	Test.Cardano.Ledger.Shelley.ImpTest
registerStakeCredential	Test.Cardano.Ledger.Shelley.ImpTest
relay	Test.Cardano.Ledger.Shelley.CDDL
roundTripShelleyCommonSpec	Test.Cardano.Ledger.Shelley.Binary.RoundTrip
roundTripStateEraTypesSpec	Test.Cardano.Ledger.Shelley.Binary.RoundTrip
runImpRule	Test.Cardano.Ledger.Shelley.ImpTest
scripthash	Test.Cardano.Ledger.Shelley.CDDL
ScriptTestContext	Test.Cardano.Ledger.Shelley.ImpTest
sendCoinTo	Test.Cardano.Ledger.Shelley.ImpTest
sendValueTo	Test.Cardano.Ledger.Shelley.ImpTest
set	Test.Cardano.Ledger.Shelley.CDDL
shelley	Test.Cardano.Ledger.Shelley.CDDL
ShelleyEraImp	Test.Cardano.Ledger.Shelley.ImpTest
shelleyFixupTx	Test.Cardano.Ledger.Shelley.ImpTest
showExpr	Test.Cardano.Ledger.Shelley.TreeDiff
showHexBytesGrouped	Test.Cardano.Ledger.Shelley.TreeDiff
single_host_addr	Test.Cardano.Ledger.Shelley.CDDL
single_host_name	Test.Cardano.Ledger.Shelley.CDDL
sizedNativeScriptGens	Test.Cardano.Ledger.Shelley.Arbitrary
SomeSTSEvent
1 (Type/Class)	Test.Cardano.Ledger.Shelley.ImpTest
2 (Data Constructor)	Test.Cardano.Ledger.Shelley.ImpTest
spec
1 (Function)	Test.Cardano.Ledger.Shelley.Imp.UtxowSpec
2 (Function)	Test.Cardano.Ledger.Shelley.Imp.UtxoSpec
3 (Function)	Test.Cardano.Ledger.Shelley.Imp.LedgerSpec
4 (Function)	Test.Cardano.Ledger.Shelley.Imp.EpochSpec
5 (Function)	Test.Cardano.Ledger.Shelley.UnitTests.IncrementalStakeTest
6 (Function)	Test.Cardano.Ledger.Shelley.Imp
srcLocToLocation	Test.Cardano.Ledger.Shelley.TreeDiff
StakeProportion
1 (Type/Class)	Test.Cardano.Ledger.Shelley.Arbitrary
2 (Data Constructor)	Test.Cardano.Ledger.Shelley.Arbitrary
stake_credential	Test.Cardano.Ledger.Shelley.CDDL
stake_delegation	Test.Cardano.Ledger.Shelley.CDDL
stake_deregistration	Test.Cardano.Ledger.Shelley.CDDL
stake_registration	Test.Cardano.Ledger.Shelley.CDDL
submitFailingTx	Test.Cardano.Ledger.Shelley.ImpTest
submitFailingTxM	Test.Cardano.Ledger.Shelley.ImpTest
submitTx	Test.Cardano.Ledger.Shelley.ImpTest
submitTxAnn	Test.Cardano.Ledger.Shelley.ImpTest
submitTxAnn_	Test.Cardano.Ledger.Shelley.ImpTest
submitTx_	Test.Cardano.Ledger.Shelley.ImpTest
tableDoc	Test.Cardano.Ledger.Shelley.TreeDiff
ToExpr	Test.Cardano.Ledger.Shelley.TreeDiff
toExpr	Test.Cardano.Ledger.Shelley.TreeDiff
transaction	Test.Cardano.Ledger.Shelley.CDDL
transaction_body	Test.Cardano.Ledger.Shelley.CDDL
transaction_index	Test.Cardano.Ledger.Shelley.CDDL
transaction_input	Test.Cardano.Ledger.Shelley.CDDL
transaction_metadata	Test.Cardano.Ledger.Shelley.CDDL
transaction_metadatum	Test.Cardano.Ledger.Shelley.CDDL
transaction_metadatum_label	Test.Cardano.Ledger.Shelley.CDDL
transaction_output	Test.Cardano.Ledger.Shelley.CDDL
transaction_witness_set	Test.Cardano.Ledger.Shelley.CDDL
trimExprViaShow	Test.Cardano.Ledger.Shelley.TreeDiff
tryLookupReward	Test.Cardano.Ledger.Shelley.ImpTest
tryRunImpRule	Test.Cardano.Ledger.Shelley.ImpTest
tryRunImpRuleNoAssertions	Test.Cardano.Ledger.Shelley.ImpTest
trySubmitTx	Test.Cardano.Ledger.Shelley.ImpTest
unCBORBytes	Test.Cardano.Ledger.Shelley.TreeDiff
unHexBytes	Test.Cardano.Ledger.Shelley.TreeDiff
update	Test.Cardano.Ledger.Shelley.CDDL
updateAddrTxWits	Test.Cardano.Ledger.Shelley.ImpTest
url	Test.Cardano.Ledger.Shelley.CDDL
version	Paths_cardano_ledger_shelley
vkeywitness	Test.Cardano.Ledger.Shelley.CDDL
VRFNatVal
1 (Type/Class)	Test.Cardano.Ledger.Shelley.Arbitrary
2 (Data Constructor)	Test.Cardano.Ledger.Shelley.Arbitrary
withCborRoundTripFailures	Test.Cardano.Ledger.Shelley.ImpTest
withCustomFixup	Test.Cardano.Ledger.Shelley.ImpTest
withdrawals	Test.Cardano.Ledger.Shelley.CDDL
withFixup	Test.Cardano.Ledger.Shelley.ImpTest
withNoFixup	Test.Cardano.Ledger.Shelley.ImpTest
withPostFixup	Test.Cardano.Ledger.Shelley.ImpTest
withPreFixup	Test.Cardano.Ledger.Shelley.ImpTest