cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Generic.PrettyCore

Synopsis

Documentation

class PrettyA t where Source #

Methods

prettyA ∷ t → PDoc Source #

Instances

Instances details
PrettyA Void Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAVoidPDoc Source #

PrettyA Word32 Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAWord32PDoc Source #

PrettyA Word64 Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAWord64PDoc Source #

PrettyA ByteString Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAByteStringPDoc Source #

PrettyA ByteString Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAByteStringPDoc Source #

PrettyA ValidityInterval Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA FailureDescription Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA TagMismatchDescription Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA GovActionId Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA Vote Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAVotePDoc Source #

PrettyA Voter Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAVoterPDoc Source #

PrettyA ConwayDelegCert Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA ConwayGovCert Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA Delegatee Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyADelegateePDoc Source #

PrettyA Addr Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAAddrPDoc Source #

PrettyA BootstrapAddress Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA RewardAccount Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA Withdrawals Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA Anchor Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAAnchorPDoc Source #

PrettyA Network Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyANetworkPDoc Source #

PrettyA ProtVer Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAProtVerPDoc Source #

PrettyA UnitInterval Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA CommitteeAuthorization Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA FutureGenDeleg Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA InstantaneousRewards Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA Obligations Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA Coin Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyACoinPDoc Source #

PrettyA DeltaCoin Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyADeltaCoinPDoc Source #

PrettyA PoolCert Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAPoolCertPDoc Source #

PrettyA Ptr Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAPtrPDoc Source #

PrettyA StakeReference Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA DRep Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyADRepPDoc Source #

PrettyA DRepState Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyADRepStatePDoc Source #

PrettyA SnapShot Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyASnapShotPDoc Source #

PrettyA SnapShots Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyASnapShotsPDoc Source #

PrettyA Stake Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAStakePDoc Source #

PrettyA DataHash Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyADataHashPDoc Source #

PrettyA GenDelegPair Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA ScriptHash Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAScriptHashPDoc Source #

PrettyA TxAuxDataHash Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA BootstrapWitness Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA Metadatum Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAMetadatumPDoc Source #

PrettyA ExUnits Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAExUnitsPDoc Source #

PrettyA Prices Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAPricesPDoc Source #

PrettyA IndividualPoolStake Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA PoolDistr Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAPoolDistrPDoc Source #

PrettyA PoolParams Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAPoolParamsPDoc Source #

PrettyA Reward Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyARewardPDoc Source #

PrettyA TxId Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyATxIdPDoc Source #

PrettyA TxIn Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyATxInPDoc Source #

PrettyA RDPair Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyARDPairPDoc Source #

PrettyA AssetName Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAAssetNamePDoc Source #

PrettyA MaryValue Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAMaryValuePDoc Source #

PrettyA MultiAsset Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAMultiAssetPDoc Source #

PrettyA PolicyID Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAPolicyIDPDoc Source #

PrettyA AccountState Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA LogWeight Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyALogWeightPDoc Source #

PrettyA RewardUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA GenesisDelegCert Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA ShelleyDelegCert Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA EpochInterval Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA EpochNo Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAEpochNoPDoc Source #

PrettyA SlotNo Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyASlotNoPDoc Source #

PrettyA () Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyA ∷ () → PDoc Source #

PrettyA Bool Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyABoolPDoc Source #

PrettyA Int Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAIntPDoc Source #

Reflect era ⇒ PrettyA (AllegraUtxoPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

(AllegraEraScript era, Reflect era, NativeScript era ~ Timelock era) ⇒ PrettyA (Timelock era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyATimelock era → PDoc Source #

(AllegraEraScript era, Reflect era, NativeScript era ~ Timelock era) ⇒ PrettyA (AllegraTxAuxData era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAAllegraTxAuxData era → PDoc Source #

(TxBody era ~ AllegraTxBody era, Reflect era) ⇒ PrettyA (AllegraTxBody era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAAllegraTxBody era → PDoc Source #

Reflect era ⇒ PrettyA (CollectError era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyACollectError era → PDoc Source #

Reflect era ⇒ PrettyA (AlonzoBbodyPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (AlonzoUtxoPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (AlonzoUtxosPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (AlonzoUtxowPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

(Script era ~ AlonzoScript era, Reflect era) ⇒ PrettyA (AlonzoScript era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAAlonzoScript era → PDoc Source #

(Reflect era, Tx era ~ AlonzoTx era) ⇒ PrettyA (AlonzoTx era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAAlonzoTx era → PDoc Source #

(Reflect era, Script era ~ AlonzoScript era) ⇒ PrettyA (AlonzoTxAuxData era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAAlonzoTxAuxData era → PDoc Source #

(TxBody era ~ AlonzoTxBody era, Reflect era) ⇒ PrettyA (AlonzoTxBody era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAAlonzoTxBody era → PDoc Source #

Reflect era ⇒ PrettyA (AlonzoTxWits era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAAlonzoTxWits era → PDoc Source #

Reflect era ⇒ PrettyA (BabbageUtxoPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (BabbageUtxowPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (ConwayGovState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAConwayGovState era → PDoc Source #

Reflect era ⇒ PrettyA (DRepPulsingState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyADRepPulsingState era → PDoc Source #

PrettyA (PulsingSnapshot era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAPulsingSnapshot era → PDoc Source #

Reflect era ⇒ PrettyA (EnactState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAEnactState era → PDoc Source #

PrettyA (RatifyEnv era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyARatifyEnv era → PDoc Source #

PrettyA (RatifySignal era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyARatifySignal era → PDoc Source #

Reflect era ⇒ PrettyA (RatifyState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyARatifyState era → PDoc Source #

PrettyA (Committee era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyACommittee era → PDoc Source #

PrettyA (Constitution c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAConstitution c → PDoc Source #

PrettyA (GovAction era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAGovAction era → PDoc Source #

PrettyA (GovActionState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAGovActionState era → PDoc Source #

PrettyA (ProposalProcedure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA (VotingProcedure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAVotingProcedure era → PDoc Source #

PrettyA (VotingProcedures era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAVotingProcedures era → PDoc Source #

Reflect era ⇒ PrettyA (Proposals era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAProposals era → PDoc Source #

Reflect era ⇒ PrettyA (ConwayBbodyPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (CertEnv era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyACertEnv era → PDoc Source #

Reflect era ⇒ PrettyA (ConwayCertPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA (CertsEnv era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyACertsEnv era → PDoc Source #

Reflect era ⇒ PrettyA (ConwayCertsPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (ConwayDelegEnv era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAConwayDelegEnv era → PDoc Source #

PrettyA (ConwayDelegPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA (EnactSignal era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAEnactSignal era → PDoc Source #

PrettyA (ConwayGovPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (GovEnv era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAGovEnv era → PDoc Source #

Reflect era ⇒ PrettyA (GovSignal era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAGovSignal era → PDoc Source #

Reflect era ⇒ PrettyA (ConwayGovCertEnv era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAConwayGovCertEnv era → PDoc Source #

PrettyA (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (ConwayLedgerPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA (ConwayNewEpochPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (ConwayUtxoPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (ConwayUtxosPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (ConwayUtxowPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA (ConwayTxCert c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAConwayTxCert c → PDoc Source #

Reflect era ⇒ PrettyA (CertState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyACertState era → PDoc Source #

PrettyA (CommitteeState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyACommitteeState era → PDoc Source #

PrettyA (DState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyADState era → PDoc Source #

PrettyA (PState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAPState era → PDoc Source #

PrettyA (VState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAVState era → PDoc Source #

Reflect era ⇒ PrettyA (PParams era) Source #

Unike other type families, PParams CAN have a PrettyA instance, as they are a newtype wrapped around a type family.

Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAPParams era → PDoc Source #

Reflect era ⇒ PrettyA (PParamsUpdate era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAPParamsUpdate era → PDoc Source #

PrettyA (Credential keyrole) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyACredential keyrole → PDoc Source #

PrettyA (KeyHash d) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAKeyHash d → PDoc Source #

PrettyA (SafeHash x) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyASafeHash x → PDoc Source #

PrettyA (VKey r) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAVKey r → PDoc Source #

(Reflect era, Typeable keyrole) ⇒ PrettyA (WitVKey keyrole) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAWitVKey keyrole → PDoc Source #

Era era ⇒ PrettyA (Data era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAData era → PDoc Source #

Era era ⇒ PrettyA (Datum era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyADatum era → PDoc Source #

Reflect era ⇒ PrettyA (UTxO era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAUTxO era → PDoc Source #

(TxBody era ~ MaryTxBody era, Reflect era) ⇒ PrettyA (MaryTxBody era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAMaryTxBody era → PDoc Source #

Reflect era ⇒ PrettyA (ShelleyGovState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAShelleyGovState era → PDoc Source #

Reflect era ⇒ PrettyA (EpochState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAEpochState era → PDoc Source #

Reflect era ⇒ PrettyA (LedgerState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyALedgerState era → PDoc Source #

Reflect era ⇒ PrettyA (NewEpochState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyANewEpochState era → PDoc Source #

Reflect era ⇒ PrettyA (UTxOState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAUTxOState era → PDoc Source #

PrettyA (PParamsUpdate e) ⇒ PrettyA (ProposedPPUpdates e) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA (PParamsUpdate e) ⇒ PrettyA (Update e) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAUpdate e → PDoc Source #

Reflect era ⇒ PrettyA (ShelleyBbodyPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (ShelleyBbodyState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA (ShelleyDelegPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (ShelleyDelegsPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (ShelleyDelplPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (ShelleyEpochPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (LedgerEnv era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyALedgerEnv era → PDoc Source #

Reflect era ⇒ PrettyA (ShelleyLedgerPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (ShelleyLedgersPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (ShelleyNewEpochPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (PoolEnv era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAPoolEnv era → PDoc Source #

PrettyA (ShelleyPoolPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA (ShelleyPoolreapPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA (ShelleyPpupPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA (ShelleySnapPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (ShelleyTickPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (ShelleyUtxoPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Reflect era ⇒ PrettyA (UtxoEnv era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAUtxoEnv era → PDoc Source #

Reflect era ⇒ PrettyA (ShelleyUtxowPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

(ShelleyEraScript era, Reflect era, NativeScript era ~ MultiSig era) ⇒ PrettyA (MultiSig era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAMultiSig era → PDoc Source #

(Reflect era, Tx era ~ ShelleyTx era) ⇒ PrettyA (ShelleyTx era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAShelleyTx era → PDoc Source #

Era era ⇒ PrettyA (ShelleyTxAuxData era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAShelleyTxAuxData era → PDoc Source #

(EraTxOut era, PrettyA (PParamsUpdate era), Reflect era) ⇒ PrettyA (ShelleyTxBody era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAShelleyTxBody era → PDoc Source #

PrettyA (ShelleyTxCert c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAShelleyTxCert c → PDoc Source #

Reflect era ⇒ PrettyA (ShelleyTxWits era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAShelleyTxWits era → PDoc Source #

PrettyA (PParamsF era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Classes

Methods

prettyAPParamsF era → PDoc Source #

PrettyA (PParamsUpdate e) ⇒ PrettyA (ProposedPPUpdatesF e) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Classes

PrettyA (ScriptF era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Classes

Methods

prettyAScriptF era → PDoc Source #

PrettyA (TxBodyF era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Classes

Methods

prettyATxBodyF era → PDoc Source #

PrettyA (TxCertF era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Classes

Methods

prettyATxCertF era → PDoc Source #

PrettyA (TxF era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Classes

Methods

prettyATxF era → PDoc Source #

PrettyA (TxOutF era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Classes

Methods

prettyATxOutF era → PDoc Source #

PrettyA (ValueF era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Classes

Methods

prettyAValueF era → PDoc Source #

Reflect era ⇒ PrettyA (WitUniv era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse

Methods

prettyAWitUniv era → PDoc Source #

Reflect era ⇒ PrettyA (GenState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.GenState

Methods

prettyAGenState era → PDoc Source #

PrettyA (MockBlock era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.MockChain

Methods

prettyAMockBlock era → PDoc Source #

Reflect era ⇒ PrettyA (MockChainState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.MockChain

Methods

prettyAMockChainState era → PDoc Source #

Reflect era ⇒ PrettyA (ModelNewEpochState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.ModelState

PrettyA x ⇒ PrettyA (Seq x) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyASeq x → PDoc Source #

PrettyA a ⇒ PrettyA (Set a) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyASet a → PDoc Source #

PrettyA x ⇒ PrettyA (NonEmpty x) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyANonEmpty x → PDoc Source #

PrettyA x ⇒ PrettyA [x] Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyA ∷ [x] → PDoc Source #

(∀ ix it. (PrettyA ix, PrettyA it) ⇒ PrettyA (f ix it), Reflect era, PrettyA (TxCert era)) ⇒ PrettyA (AlonzoPlutusPurpose f era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAAlonzoPlutusPurpose f era → PDoc Source #

PrettyA it ⇒ PrettyA (AsItem ix it) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAAsItem ix it → PDoc Source #

PrettyA ix ⇒ PrettyA (AsIx ix it) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAAsIx ix it → PDoc Source #

(PrettyA ix, PrettyA it) ⇒ PrettyA (AsIxItem ix it) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAAsIxItem ix it → PDoc Source #

PrettyA (GovRelation StrictMaybe era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

(∀ ix it. (PrettyA ix, PrettyA it) ⇒ PrettyA (f ix it), Reflect era, PrettyA (TxCert era)) ⇒ PrettyA (ConwayPlutusPurpose f era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAConwayPlutusPurpose f era → PDoc Source #

PrettyA (WitBlock t era) Source #

when we print a WitBlock, we are only interested in the hashes, not the witnesses

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse

Methods

prettyAWitBlock t era → PDoc Source #

(PrettyA a, PrettyA b) ⇒ PrettyA (Map a b) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAMap a b → PDoc Source #

(PrettyA a, PrettyA b) ⇒ PrettyA (a, b) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyA ∷ (a, b) → PDoc Source #

isEmptyDoc ann → Bool Source #

putDocDoc ann → IO () Source #

newtype PrettyAnn Source #

Constructors

Width Int 

textTextDoc ann Source #

ppPair ∷ (t1 → PDoc) → (t2 → PDoc) → (t1, t2) → PDoc Source #

ppSignedDSIGNShow a ⇒ a → PDoc Source #

ppBoolBoolDoc a Source #

ppIntIntDoc a Source #

equateDoc a → Doc a → Doc a Source #

x == y

arrow ∷ (Doc a, Doc a) → Doc a Source #

x -> y

ppSexpText → [PDoc] → PDoc Source #

ppSexp x [w,y,z] --> (x w y z)

ppSexp'PDoc → [PDoc] → PDoc Source #

ppRecordText → [(Text, PDoc)] → PDoc Source #

ppRecord name [("a",x),("b",y),("c",z)] --> name { a = x, b = y, c = z }

ppRecord'PDoc → [(Text, PDoc)] → PDoc Source #

puncLeftDoc ann → [Doc ann] → Doc ann → Doc ann → Doc ann Source #

Vertical layout with commas aligned on the left hand side

ppSet ∷ (x → Doc ann) → Set x → Doc ann Source #

ppSeq ∷ (a → Doc ann) → Seq a → Doc ann Source #

ppList ∷ (x → Doc ann) → [x] → Doc ann Source #

ppStrictSeq ∷ (a → Doc ann) → StrictSeq a → Doc ann Source #

ppOSet ∷ (a → Doc ann) → OSet a → Doc ann Source #

ppStrictMaybe ∷ (x → Doc ann) → StrictMaybe x → Doc ann Source #

ppMaybe ∷ (x → Doc ann) → Maybe x → Doc ann Source #

ppAssocListPDoc → (k → PDoc) → (v → PDoc) → [(k, v)] → PDoc Source #

ppMap'PDoc → (k → PDoc) → (v → PDoc) → Map k v → PDoc Source #

ppMap ∷ (k → PDoc) → (v → PDoc) → Map k v → PDoc Source #

ppVMap ∷ (Vector kv k, Vector vv v) ⇒ (k → PDoc) → (v → PDoc) → VMap kv vv k v → PDoc Source #

ppTxWitness ∷ ∀ era. Reflect era ⇒ AlonzoTxWits era → PDoc Source #

ppHashHash a b → PDoc Source #

ppVKeyVKey r → PDoc Source #

ppWitnessSetHKD ∷ ∀ era. Reflect era ⇒ ShelleyTxWits era → PDoc Source #

pcAuxDataProof era → TxAuxData era → PDoc Source #

ppShelleyTxReflect era ⇒ Tx era → PDoc Source #

ppAlonzoTx ∷ ∀ era. (Reflect era, Tx era ~ AlonzoTx era) ⇒ AlonzoTx era → PDoc Source #

ppAllegraTxBody ∷ ∀ era. (TxBody era ~ AllegraTxBody era, Reflect era) ⇒ AllegraTxBody era → PDoc Source #

ppAlonzoTxBody ∷ ∀ era. (TxBody era ~ AlonzoTxBody era, Reflect era) ⇒ AlonzoTxBody era → PDoc Source #

ppMaryTxBody ∷ ∀ era. (TxBody era ~ MaryTxBody era, Reflect era) ⇒ MaryTxBody era → PDoc Source #

ppCoreWitnessesProof era → TxWits era → PDoc Source #

pcTxOutReflect era ⇒ Proof era → TxOut era → PDoc Source #

pcScript ∷ ∀ era. Reflect era ⇒ Proof era → Script era → PDoc Source #

pcWitnessesReflect era ⇒ Proof era → TxWits era → PDoc Source #

pcTxProof era → Tx era → PDoc Source #

Pretty print a Tx. Also see Test.Cardano.Ledger.Constrained.Preds.Tx(pcTxWithUTxO) which expands the inputs (given the UTxO)

pcTxBodyProof era → TxBody era → PDoc Source #

pcPParamsProof era → PParams era → PDoc Source #

pcTxBodyFieldProof era → TxBodyField era → [(Text, PDoc)] Source #

pcTxField ∷ ∀ era. Reflect era ⇒ Proof era → TxField era → [(Text, PDoc)] Source #

pcWitnessesField ∷ ∀ era. Reflect era ⇒ Proof era → WitnessesField era → [(Text, PDoc)] Source #

ppUTXOWReflect era ⇒ Proof era → PredicateFailure (EraRule "UTXOW" era) → PDoc Source #

ppUTXOSProof era → PredicateFailure (EraRule "UTXOS" era) → PDoc Source #

ppDELEGSProof era → PredicateFailure (EraRule "DELEGS" era) → PDoc Source #

ppDELEGProof era → PredicateFailure (EraRule "DELEG" era) → PDoc Source #

ppPOOLProof era → PredicateFailure (EraRule "POOL" era) → PDoc Source #

ppLEDGERReflect era ⇒ Proof era → PredicateFailure (EraRule "LEDGER" era) → PDoc Source #

ppUTXOProof era → PredicateFailure (EraRule "UTXO" era) → PDoc Source #

ppLEDGERSProof era → PredicateFailure (EraRule "LEDGERS" era) → PDoc Source #

ppDELPLProof era → PredicateFailure (EraRule "DELPL" era) → PDoc Source #

ppNEWEPOCHProof era → PredicateFailure (EraRule "NEWEPOCH" era) → PDoc Source #

ppEPOCHProof era → PredicateFailure (EraRule "EPOCH" era) → PDoc Source #

ppStateLEDGERSProof era → State (EraRule "LEDGERS" era) → PDoc Source #

A bit different since it is NOT of the form: PredicateFailure (EraRule LEDGERS era) but instead: State (EraRule LEDGERS era) But the effect is still the same. The Proof era, fixes the type family result.

ppContextError ∷ ∀ era. Reflect era ⇒ ContextError era → PDoc Source #

ppPlutusPurpose ∷ ∀ f era. (Reflect era, ∀ ix it. (PrettyA ix, PrettyA it) ⇒ PrettyA (f ix it)) ⇒ PlutusPurpose f era → PDoc Source #

ppBbodyState ∷ ∀ era. Reflect era ⇒ ShelleyBbodyState era → PDoc Source #

bodySummaryProof era → TxBody era → PDoc Source #

witnessSummaryProof era → TxWits era → PDoc Source #

txFieldSummaryProof era → TxField era → [PDoc] Source #

txSummaryProof era → Tx era → PDoc Source #

txOutSummaryProof era → TxOut era → PDoc Source #

datumSummaryEra era ⇒ Datum era → PDoc Source #

dataSummaryEra era ⇒ Data era → PDoc Source #

scriptSummary ∷ ∀ era. Proof era → Script era → PDoc Source #

utxoSummaryProof era → UTxO era → PDoc Source #

utxoStringProof era → UTxO era → String Source #

plutusSummary ∷ ∀ era. Proof era → AlonzoScript era → PDoc Source #

pcKeyHashKeyHash discriminator → PDoc Source #

pcCoreValueProof era → Value era → PDoc Source #

Value is a type family, so it has no PrettyA instance.

pcValProof era → Value era → PDoc Source #

pcDatumEra era ⇒ Datum era → PDoc Source #

pcData ∷ ∀ era. Era era ⇒ Data era → PDoc Source #

pcTimelock ∷ ∀ era. (AllegraEraScript era, Reflect era, NativeScript era ~ Timelock era) ⇒ Timelock era → PDoc Source #

pcHashScript ∷ ∀ era. Reflect era ⇒ Proof era → Script era → PDoc Source #

pcUTxOProof era → UTxO era → PDoc Source #

pcTxCertProof era → TxCert era → PDoc Source #

pcGovSignal ∷ ∀ era. Reflect era ⇒ GovSignal era → PDoc Source #

pcPair ∷ (t1 → PDoc) → (t2 → PDoc) → (t1, t2) → PDoc Source #

pcWitVKey ∷ ∀ era keyrole. Typeable keyrole ⇒ Proof era → WitVKey keyrole → PDoc Source #

pcGovStateProof era → GovState era → PDoc Source #

GovState is a type family, No PrettyA instance

pcPEdgesPEdges (GovPurposeId purpose era) → PDoc Source #

withEraPParams ∷ ∀ era a. Proof era → (EraPParams era ⇒ a) → a Source #

pcPParamsSynopsis ∷ ∀ era. Proof era → PParams era → PDoc Source #

Print just a few of the PParams fields

pcEpochStateReflect era ⇒ Proof era → EpochState era → PDoc Source #

psEpochStateReflect era ⇒ Proof era → EpochState era → PDoc Source #

Like pcEpochState.but it only prints a summary of the UTxO

pcNewEpochStateReflect era ⇒ Proof era → NewEpochState era → PDoc Source #

psNewEpochStateReflect era ⇒ Proof era → NewEpochState era → PDoc Source #

Like pcEpochState.but it only prints a summary of the UTxO

pcUTxOStateProof era → UTxOState era → PDoc Source #

psUTxOState ∷ ∀ era. Reflect era ⇒ Proof era → UTxOState era → PDoc Source #

Like pcUTxOState, except it prints only a summary of the UTxO

psLedgerStateReflect era ⇒ Proof era → LedgerState era → PDoc Source #

Like pcLedgerState, except it prints only a summary of the UTxO

pcAdaPot ∷ (EraTxOut era, EraGov era) ⇒ EpochState era → PDoc Source #

pcScriptsNeededReflect era ⇒ Proof era → ScriptsNeeded era → PDoc Source #

pcPoolEnvReflect era ⇒ PoolEnv era → PDoc Source #

pcGovEnvReflect era ⇒ GovEnv era → PDoc Source #

pcTxBodyWithUTxO ∷ ∀ era. Reflect era ⇒ UTxO era → TxBody era → PDoc Source #

pretty print a TxBody, summarizing the coin in the inputs and outputs. Useful when inspecting to see if the TxBody balances