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

Test.Cardano.Ledger.TreeDiff

Documentation

Orphan instances

ToExpr Addr Source # 
Instance details

Methods

toExprAddrExpr Source #

listToExpr ∷ [Addr] → Expr Source #

ToExpr BootstrapAddress Source # 
Instance details

ToExpr CompactAddr Source # 
Instance details

ToExpr RewardAccount Source # 
Instance details

ToExpr Withdrawals Source # 
Instance details

ToExpr Anchor Source # 
Instance details

ToExpr BlocksMade Source # 
Instance details

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

ToExpr FutureGenDeleg Source # 
Instance details

ToExpr InstantaneousRewards Source # 
Instance details

ToExpr Coin Source # 
Instance details

Methods

toExprCoinExpr Source #

listToExpr ∷ [Coin] → Expr Source #

ToExpr DeltaCoin Source # 
Instance details

ToExpr PoolCert Source # 
Instance details

ToExpr Ptr Source # 
Instance details

Methods

toExprPtrExpr Source #

listToExpr ∷ [Ptr] → Expr Source #

ToExpr StakeReference Source # 
Instance details

ToExpr DRep Source # 
Instance details

Methods

toExprDRepExpr Source #

listToExpr ∷ [DRep] → Expr Source #

ToExpr DRepState Source # 
Instance details

ToExpr SnapShot Source # 
Instance details

ToExpr SnapShots Source # 
Instance details

ToExpr Stake Source # 
Instance details

Methods

toExprStakeExpr Source #

listToExpr ∷ [Stake] → Expr Source #

ToExpr GenDelegPair Source # 
Instance details

ToExpr GenDelegs Source # 
Instance details

ToExpr ScriptHash Source # 
Instance details

ToExpr TxAuxDataHash Source # 
Instance details

ToExpr BootstrapWitness Source # 
Instance details

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

ToExpr IndividualPoolStake Source # 
Instance details

ToExpr PoolDistr Source # 
Instance details

ToExpr PoolMetadata Source # 
Instance details

ToExpr PoolParams Source # 
Instance details

ToExpr StakePoolRelay Source # 
Instance details

ToExpr TxId Source # 
Instance details

Methods

toExprTxIdExpr Source #

listToExpr ∷ [TxId] → Expr Source #

ToExpr TxIn Source # 
Instance details

Methods

toExprTxInExpr Source #

listToExpr ∷ [TxIn] → Expr Source #

ToExpr RDPair Source # 
Instance details

ToExpr UMElem Source # 
Instance details

ToExpr UMap Source # 
Instance details

Methods

toExprUMapExpr Source #

listToExpr ∷ [UMap] → Expr Source #

ToExpr EpochInterval Source # 
Instance details

ToExpr (CertState era) Source # 
Instance details

Methods

toExprCertState era → Expr Source #

listToExpr ∷ [CertState era] → Expr Source #

ToExpr (CommitteeState era) Source # 
Instance details

ToExpr (DState era) Source # 
Instance details

Methods

toExprDState era → Expr Source #

listToExpr ∷ [DState era] → Expr Source #

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

Methods

toExprCredential keyrole → Expr Source #

listToExpr ∷ [Credential keyrole] → Expr Source #

ToExpr (NoUpdate a) Source # 
Instance details

Methods

toExprNoUpdate a → Expr Source #

listToExpr ∷ [NoUpdate a] → Expr Source #

ToExpr (KeyHash keyrole) Source # 
Instance details

Methods

toExprKeyHash keyrole → Expr Source #

listToExpr ∷ [KeyHash keyrole] → Expr Source #

ToExpr (SafeHash i) Source # 
Instance details

Methods

toExprSafeHash i → Expr Source #

listToExpr ∷ [SafeHash i] → Expr Source #

ToExpr (VRFVerKeyHash keyrole) Source # 
Instance details

Methods

toExprVRFVerKeyHash keyrole → Expr Source #

listToExpr ∷ [VRFVerKeyHash keyrole] → Expr Source #

ToExpr (VKey r) Source # 
Instance details

Methods

toExprVKey r → Expr Source #

listToExpr ∷ [VKey r] → Expr Source #

ToExpr (WitVKey kr) Source # 
Instance details

Methods

toExprWitVKey kr → Expr Source #

listToExpr ∷ [WitVKey kr] → Expr Source #

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 #

(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 (t era) ⇒ ToExpr (MemoBytes t era) Source # 
Instance details

Methods

toExprMemoBytes t era → Expr Source #

listToExpr ∷ [MemoBytes t era] → Expr Source #