cardano-ledger-core-1.15.1.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.TreeDiff

Documentation

Orphan instances

ToExpr CertIx Source # 
Instance details

ToExpr DnsName Source # 
Instance details

ToExpr Network Source # 
Instance details

ToExpr NonNegativeInterval Source # 
Instance details

ToExpr Nonce Source # 
Instance details

Methods

toExprNonceExpr Source #

listToExpr ∷ [Nonce] → Expr Source #

ToExpr Port Source # 
Instance details

Methods

toExprPortExpr Source #

listToExpr ∷ [Port] → Expr Source #

ToExpr ProtVer Source # 
Instance details

ToExpr TxIx Source # 
Instance details

Methods

toExprTxIxExpr Source #

listToExpr ∷ [TxIx] → Expr Source #

ToExpr UnitInterval Source # 
Instance details

ToExpr Url Source # 
Instance details

Methods

toExprUrlExpr Source #

listToExpr ∷ [Url] → Expr Source #

ToExpr Coin Source # 
Instance details

Methods

toExprCoinExpr Source #

listToExpr ∷ [Coin] → Expr Source #

ToExpr DeltaCoin Source # 
Instance details

ToExpr Ptr Source # 
Instance details

Methods

toExprPtrExpr Source #

listToExpr ∷ [Ptr] → Expr Source #

ToExpr ChainCode Source # 
Instance details

ToExpr CostModel Source # 
Instance details

ToExpr CostModels Source # 
Instance details

ToExpr ExUnits Source # 
Instance details

ToExpr Prices Source # 
Instance details

ToExpr Language Source # 
Instance details

ToExpr PlutusBinary Source # 
Instance details

ToExpr PoolMetadata Source # 
Instance details

ToExpr StakePoolRelay Source # 
Instance details

ToExpr RDPair Source # 
Instance details

ToExpr EpochInterval Source # 
Instance details

ToExpr (Addr c) Source # 
Instance details

Methods

toExprAddr c → Expr Source #

listToExpr ∷ [Addr c] → Expr Source #

ToExpr (BootstrapAddress c) Source # 
Instance details

ToExpr (CompactAddr c) Source # 
Instance details

ToExpr (RewardAccount era) Source # 
Instance details

ToExpr (Withdrawals c) Source # 
Instance details

ToExpr (AuxiliaryDataHash c) Source # 
Instance details

ToExpr (Anchor c) Source # 
Instance details

Methods

toExprAnchor c → Expr Source #

listToExpr ∷ [Anchor c] → Expr Source #

ToExpr (BlocksMade c) Source # 
Instance details

ToExpr (CertState era) Source # 
Instance details

Methods

toExprCertState era → Expr Source #

listToExpr ∷ [CertState era] → Expr Source #

ToExpr (CommitteeAuthorization c) Source # 
Instance details

ToExpr (CommitteeState era) Source # 
Instance details

ToExpr (DState era) Source # 
Instance details

Methods

toExprDState era → Expr Source #

listToExpr ∷ [DState era] → Expr Source #

ToExpr (FutureGenDeleg c) Source # 
Instance details

ToExpr (InstantaneousRewards c) Source # 
Instance details

ToExpr (PState era) Source # 
Instance details

Methods

toExprPState era → Expr Source #

listToExpr ∷ [PState era] → Expr Source #

ToExpr (VState era) Source # 
Instance details

Methods

toExprVState era → Expr Source #

listToExpr ∷ [VState era] → Expr Source #

ToExpr (CompactForm Coin) Source # 
Instance details

ToExpr (CompactForm DeltaCoin) Source # 
Instance details

ToExpr (PParamsHKD Identity era) ⇒ ToExpr (PParams era) Source # 
Instance details

Methods

toExprPParams era → Expr Source #

listToExpr ∷ [PParams era] → Expr Source #

ToExpr (PParamsHKD StrictMaybe era) ⇒ ToExpr (PParamsUpdate era) Source # 
Instance details

ToExpr (PoolCert c) Source # 
Instance details

Methods

toExprPoolCert c → Expr Source #

listToExpr ∷ [PoolCert c] → Expr Source #

ToExpr (StakeReference c) Source # 
Instance details

ToExpr (DRep c) Source # 
Instance details

Methods

toExprDRep c → Expr Source #

listToExpr ∷ [DRep c] → Expr Source #

ToExpr (DRepState c) Source # 
Instance details

ToExpr (SnapShot c) Source # 
Instance details

Methods

toExprSnapShot c → Expr Source #

listToExpr ∷ [SnapShot c] → Expr Source #

ToExpr (SnapShots c) Source # 
Instance details

ToExpr (Stake c) Source # 
Instance details

Methods

toExprStake c → Expr Source #

listToExpr ∷ [Stake c] → Expr Source #

ToExpr (NoUpdate a) Source # 
Instance details

Methods

toExprNoUpdate a → Expr Source #

listToExpr ∷ [NoUpdate a] → Expr Source #

ToExpr (ScriptHash c) Source # 
Instance details

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

ToExpr (GenDelegPair c) Source # 
Instance details

ToExpr (GenDelegs c) Source # 
Instance details

ToExpr (BinaryData era) Source # 
Instance details

Methods

toExprBinaryData era → Expr Source #

listToExpr ∷ [BinaryData era] → Expr Source #

ToExpr (Data era) Source # 
Instance details

Methods

toExprData era → Expr Source #

listToExpr ∷ [Data era] → Expr Source #

ToExpr (Datum era) Source # 
Instance details

Methods

toExprDatum era → Expr Source #

listToExpr ∷ [Datum era] → Expr Source #

ToExpr (PlutusData era) Source # 
Instance details

Methods

toExprPlutusData era → Expr Source #

listToExpr ∷ [PlutusData era] → Expr Source #

ToExpr (Plutus l) Source # 
Instance details

Methods

toExprPlutus l → Expr Source #

listToExpr ∷ [Plutus l] → Expr Source #

ToExpr (TxOutSource era) Source # 
Instance details

Methods

toExprTxOutSource era → Expr Source #

listToExpr ∷ [TxOutSource era] → Expr Source #

ToExpr (IndividualPoolStake c) Source # 
Instance details

ToExpr (PoolDistr c) Source # 
Instance details

ToExpr (PoolParams era) Source # 
Instance details

Methods

toExprPoolParams era → Expr Source #

listToExpr ∷ [PoolParams era] → Expr Source #

ToExpr (TxId c) Source # 
Instance details

Methods

toExprTxId c → Expr Source #

listToExpr ∷ [TxId c] → Expr Source #

ToExpr (TxIn c) Source # 
Instance details

Methods

toExprTxIn c → Expr Source #

listToExpr ∷ [TxIn c] → Expr Source #

ToExpr (UMElem c) Source # 
Instance details

Methods

toExprUMElem c → Expr Source #

listToExpr ∷ [UMElem c] → Expr Source #

ToExpr (UMap c) Source # 
Instance details

Methods

toExprUMap c → Expr Source #

listToExpr ∷ [UMap c] → Expr Source #

(Era era, ToExpr (Script era)) ⇒ ToExpr (ScriptsProvided era) Source # 
Instance details

ToExpr (TxOut era) ⇒ ToExpr (UTxO era) Source # 
Instance details

Methods

toExprUTxO era → Expr Source #

listToExpr ∷ [UTxO era] → Expr Source #

ToExpr a ⇒ ToExpr (Mismatch r a) Source # 
Instance details

Methods

toExprMismatch r a → Expr Source #

listToExpr ∷ [Mismatch r a] → Expr Source #

ToExpr (VoidEraRule rule era) Source # 
Instance details

Methods

toExprVoidEraRule rule era → Expr Source #

listToExpr ∷ [VoidEraRule rule era] → Expr Source #

ToExpr (Credential keyrole c) Source # 
Instance details

Methods

toExprCredential keyrole c → Expr Source #

listToExpr ∷ [Credential keyrole c] → Expr Source #

ToExpr (KeyHash keyrole c) Source # 
Instance details

Methods

toExprKeyHash keyrole c → Expr Source #

listToExpr ∷ [KeyHash keyrole c] → Expr Source #

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

Methods

toExprVKey r c → Expr Source #

listToExpr ∷ [VKey r c] → Expr Source #

Crypto c ⇒ ToExpr (WitVKey kr c) Source # 
Instance details

Methods

toExprWitVKey kr c → Expr Source #

listToExpr ∷ [WitVKey kr c] → Expr Source #

ToExpr (t era) ⇒ ToExpr (MemoBytes t era) Source # 
Instance details

Methods

toExprMemoBytes t era → Expr Source #

listToExpr ∷ [MemoBytes t era] → Expr Source #

ToExpr (SafeHash c index) Source # 
Instance details

Methods

toExprSafeHash c index → Expr Source #

listToExpr ∷ [SafeHash c index] → Expr Source #