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 Vote Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAVotePDoc 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 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 Ptr Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAPtrPDoc Source #

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 AssetName Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAAssetNamePDoc 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 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 (GovActionId c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAGovActionId c → 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 (Voter c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAVoter c → PDoc Source #

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

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 (ConwayDelegCert c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA (ConwayGovCert c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAConwayGovCert c → PDoc Source #

PrettyA (ConwayTxCert c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAConwayTxCert c → PDoc Source #

PrettyA (Delegatee c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyADelegatee c → PDoc Source #

PrettyA (Addr c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAAddr c → PDoc Source #

PrettyA (RewardAccount c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyARewardAccount c → PDoc Source #

PrettyA (Withdrawals c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAWithdrawals c → PDoc Source #

PrettyA (AuxiliaryDataHash c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA (Anchor c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAAnchor c → PDoc Source #

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

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyACertState era → PDoc Source #

PrettyA (CommitteeAuthorization c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

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 (FutureGenDeleg c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

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 #

Crypto c ⇒ PrettyA (PParamsUpdate (AllegraEra c)) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Crypto c ⇒ PrettyA (PParamsUpdate (AlonzoEra c)) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Crypto c ⇒ PrettyA (PParamsUpdate (BabbageEra c)) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Crypto c ⇒ PrettyA (PParamsUpdate (ConwayEra c)) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Crypto c ⇒ PrettyA (PParamsUpdate (MaryEra c)) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Crypto c ⇒ PrettyA (PParamsUpdate (ShelleyEra c)) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA (PoolCert c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAPoolCert c → PDoc Source #

PrettyA (StakeReference c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA (DRep c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyADRep c → PDoc Source #

PrettyA (DRepState c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyADRepState c → PDoc Source #

PrettyA (SnapShots c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyASnapShots c → PDoc Source #

PrettyA (DataHash era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyADataHash era → PDoc Source #

PrettyA (ScriptHash era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAScriptHash era → PDoc Source #

Crypto c ⇒ PrettyA (BootstrapWitness c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA (GenDelegPair c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAGenDelegPair c → 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 #

PrettyA (IndividualPoolStake c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

PrettyA (PoolDistr c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAPoolDistr c → PDoc Source #

PrettyA (PoolParams era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAPoolParams era → PDoc Source #

PrettyA (Reward c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAReward c → PDoc Source #

PrettyA (TxId c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyATxId c → PDoc Source #

PrettyA (TxIn c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyATxIn c → 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 #

PrettyA (MaryValue c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAMaryValue c → PDoc Source #

PrettyA (MultiAsset c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAMultiAsset c → PDoc Source #

PrettyA (PolicyID c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAPolicyID c → 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 #

PrettyA (RewardUpdate c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyARewardUpdate c → 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

PrettyA (ShelleyNewppPredFailure 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

PrettyA (ShelleyUpecPredFailure 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

(AllegraEraScript 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 (ShelleyDelegCert c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

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 (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 (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 (Credential keyrole c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyACredential keyrole c → PDoc Source #

PrettyA (KeyHash d c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAKeyHash d c → PDoc Source #

Crypto c ⇒ PrettyA (VKey r c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAVKey r c → PDoc Source #

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

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyAWitVKey keyrole c → PDoc Source #

PrettyA (SafeHash x y) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.PrettyCore

Methods

prettyASafeHash x y → 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 #

ppSafeHashSafeHash c index → PDoc Source #

ppHashHash a b → PDoc Source #

ppVKeyCrypto c ⇒ VKey r c → 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 #

ppUPECProof era → UpecPredFailure era → PDoc Source #

A bit different since it is NOT of the form: PredicateFailure (EraRule UPEC era) but instead, the type family UpecPredFailurePV pv era where, type UpecPredFailure era = UpecPredFailurePV (ProtVerLow era) era But the effect is still the same. The Proof era, fixes the type family result.

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 #

bodySummaryEraTxBody era ⇒ Proof era → TxBody era → PDoc Source #

witnessSummaryProof era → TxWits era → PDoc Source #

txFieldSummaryEraTxBody era ⇒ Proof era → TxField era → [PDoc] Source #

txSummaryEraTx era ⇒ Proof 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 #

credSummaryCredential keyrole c → PDoc Source #

utxoSummaryProof era → UTxO era → PDoc Source #

utxoStringProof era → UTxO era → String Source #

keyHashSummaryKeyHash keyrole c → PDoc Source #

vKeySummaryCrypto c ⇒ VKey r c → PDoc Source #

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

pcTxIdTxId c → PDoc Source #

pcTxInTxIn c → PDoc Source #

pcKeyHashKeyHash discriminator c → PDoc Source #

pcCredentialCredential keyrole c → PDoc Source #

pcAddrAddr c → 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 #

pcMultiSig ∷ (ShelleyEraScript era, Reflect era, NativeScript era ~ MultiSig era) ⇒ PDocMultiSig 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. (Reflect era, Typeable keyrole) ⇒ Proof era → WitVKey keyrole (EraCrypto era) → PDoc Source #

pcGovStateProof era → GovState era → PDoc Source #

GovState is a type family, No PrettyA instance

pcPEdgesPEdges (GovPurposeId purpose era) → PDoc Source #

pcDRepDRep c → 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 #