Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.TreeDiff

Contents

Orphan instances

Documentation

module Test.Cardano.Ledger.Binary.TreeDiff

Orphan instances

ToExpr CertIx Source #
Instance details Methods toExpr ∷ CertIx → Expr Source # listToExpr ∷ [CertIx] → Expr Source #
ToExpr DnsName Source #
Instance details Methods toExpr ∷ DnsName → Expr Source # listToExpr ∷ [DnsName] → Expr Source #
ToExpr Network Source #
Instance details Methods toExpr ∷ Network → Expr Source # listToExpr ∷ [Network] → Expr Source #
ToExpr NonNegativeInterval Source #
Instance details Methods toExpr ∷ NonNegativeInterval → Expr Source # listToExpr ∷ [NonNegativeInterval] → Expr Source #
ToExpr Nonce Source #
Instance details Methods toExpr ∷ Nonce → Expr Source # listToExpr ∷ [Nonce] → Expr Source #
ToExpr Port Source #
Instance details Methods toExpr ∷ Port → Expr Source # listToExpr ∷ [Port] → Expr Source #
ToExpr ProtVer Source #
Instance details Methods toExpr ∷ ProtVer → Expr Source # listToExpr ∷ [ProtVer] → Expr Source #
ToExpr TxIx Source #
Instance details Methods toExpr ∷ TxIx → Expr Source # listToExpr ∷ [TxIx] → Expr Source #
ToExpr UnitInterval Source #
Instance details Methods toExpr ∷ UnitInterval → Expr Source # listToExpr ∷ [UnitInterval] → Expr Source #
ToExpr Url Source #
Instance details Methods toExpr ∷ Url → Expr Source # listToExpr ∷ [Url] → Expr Source #
ToExpr Coin Source #
Instance details Methods toExpr ∷ Coin → Expr Source # listToExpr ∷ [Coin] → Expr Source #
ToExpr DeltaCoin Source #
Instance details Methods toExpr ∷ DeltaCoin → Expr Source # listToExpr ∷ [DeltaCoin] → Expr Source #
ToExpr Ptr Source #
Instance details Methods toExpr ∷ Ptr → Expr Source # listToExpr ∷ [Ptr] → Expr Source #
ToExpr ChainCode Source #
Instance details Methods toExpr ∷ ChainCode → Expr Source # listToExpr ∷ [ChainCode] → Expr Source #
ToExpr CostModel Source #
Instance details Methods toExpr ∷ CostModel → Expr Source # listToExpr ∷ [CostModel] → Expr Source #
ToExpr CostModels Source #
Instance details Methods toExpr ∷ CostModels → Expr Source # listToExpr ∷ [CostModels] → Expr Source #
ToExpr ExUnits Source #
Instance details Methods toExpr ∷ ExUnits → Expr Source # listToExpr ∷ [ExUnits] → Expr Source #
ToExpr Prices Source #
Instance details Methods toExpr ∷ Prices → Expr Source # listToExpr ∷ [Prices] → Expr Source #
ToExpr Language Source #
Instance details Methods toExpr ∷ Language → Expr Source # listToExpr ∷ [Language] → Expr Source #
ToExpr PlutusBinary Source #
Instance details Methods toExpr ∷ PlutusBinary → Expr Source # listToExpr ∷ [PlutusBinary] → Expr Source #
ToExpr PoolMetadata Source #
Instance details Methods toExpr ∷ PoolMetadata → Expr Source # listToExpr ∷ [PoolMetadata] → Expr Source #
ToExpr StakePoolRelay Source #
Instance details Methods toExpr ∷ StakePoolRelay → Expr Source # listToExpr ∷ [StakePoolRelay] → Expr Source #
ToExpr RDPair Source #
Instance details Methods toExpr ∷ RDPair → Expr Source # listToExpr ∷ [RDPair] → Expr Source #
ToExpr EpochInterval Source #
Instance details Methods toExpr ∷ EpochInterval → Expr Source # listToExpr ∷ [EpochInterval] → Expr Source #
ToExpr (Addr c) Source #
Instance details Methods toExpr ∷ Addr c → Expr Source # listToExpr ∷ [Addr c] → Expr Source #
ToExpr (BootstrapAddress c) Source #
Instance details Methods toExpr ∷ BootstrapAddress c → Expr Source # listToExpr ∷ [BootstrapAddress c] → Expr Source #
ToExpr (CompactAddr c) Source #
Instance details Methods toExpr ∷ CompactAddr c → Expr Source # listToExpr ∷ [CompactAddr c] → Expr Source #
ToExpr (RewardAccount era) Source #
Instance details Methods toExpr ∷ RewardAccount era → Expr Source # listToExpr ∷ [RewardAccount era] → Expr Source #
ToExpr (Withdrawals c) Source #
Instance details Methods toExpr ∷ Withdrawals c → Expr Source # listToExpr ∷ [Withdrawals c] → Expr Source #
ToExpr (AuxiliaryDataHash c) Source #
Instance details Methods toExpr ∷ AuxiliaryDataHash c → Expr Source # listToExpr ∷ [AuxiliaryDataHash c] → Expr Source #
ToExpr (Anchor c) Source #
Instance details Methods toExpr ∷ Anchor c → Expr Source # listToExpr ∷ [Anchor c] → Expr Source #
ToExpr (BlocksMade c) Source #
Instance details Methods toExpr ∷ BlocksMade c → Expr Source # listToExpr ∷ [BlocksMade c] → Expr Source #
ToExpr (CertState era) Source #
Instance details Methods toExpr ∷ CertState era → Expr Source # listToExpr ∷ [CertState era] → Expr Source #
ToExpr (CommitteeAuthorization c) Source #
Instance details Methods toExpr ∷ CommitteeAuthorization c → Expr Source # listToExpr ∷ [CommitteeAuthorization c] → Expr Source #
ToExpr (CommitteeState era) Source #
Instance details Methods toExpr ∷ CommitteeState era → Expr Source # listToExpr ∷ [CommitteeState era] → Expr Source #
ToExpr (DState era) Source #
Instance details Methods toExpr ∷ DState era → Expr Source # listToExpr ∷ [DState era] → Expr Source #
ToExpr (FutureGenDeleg c) Source #
Instance details Methods toExpr ∷ FutureGenDeleg c → Expr Source # listToExpr ∷ [FutureGenDeleg c] → Expr Source #
ToExpr (InstantaneousRewards c) Source #
Instance details Methods toExpr ∷ InstantaneousRewards c → Expr Source # listToExpr ∷ [InstantaneousRewards c] → Expr Source #
ToExpr (PState era) Source #
Instance details Methods toExpr ∷ PState era → Expr Source # listToExpr ∷ [PState era] → Expr Source #
ToExpr (VState era) Source #
Instance details Methods toExpr ∷ VState era → Expr Source # listToExpr ∷ [VState era] → Expr Source #
ToExpr (CompactForm Coin) Source #
Instance details Methods toExpr ∷ CompactForm Coin → Expr Source # listToExpr ∷ [CompactForm Coin] → Expr Source #
ToExpr (CompactForm DeltaCoin) Source #
Instance details Methods toExpr ∷ CompactForm DeltaCoin → Expr Source # listToExpr ∷ [CompactForm DeltaCoin] → Expr Source #
ToExpr (PParamsHKD Identity era) ⇒ ToExpr (PParams era) Source #
Instance details Methods toExpr ∷ PParams era → Expr Source # listToExpr ∷ [PParams era] → Expr Source #
ToExpr (PParamsHKD StrictMaybe era) ⇒ ToExpr (PParamsUpdate era) Source #
Instance details Methods toExpr ∷ PParamsUpdate era → Expr Source # listToExpr ∷ [PParamsUpdate era] → Expr Source #
ToExpr (PoolCert c) Source #
Instance details Methods toExpr ∷ PoolCert c → Expr Source # listToExpr ∷ [PoolCert c] → Expr Source #
ToExpr (StakeReference c) Source #
Instance details Methods toExpr ∷ StakeReference c → Expr Source # listToExpr ∷ [StakeReference c] → Expr Source #
ToExpr (DRep c) Source #
Instance details Methods toExpr ∷ DRep c → Expr Source # listToExpr ∷ [DRep c] → Expr Source #
ToExpr (DRepState c) Source #
Instance details Methods toExpr ∷ DRepState c → Expr Source # listToExpr ∷ [DRepState c] → Expr Source #
ToExpr (SnapShot c) Source #
Instance details Methods toExpr ∷ SnapShot c → Expr Source # listToExpr ∷ [SnapShot c] → Expr Source #
ToExpr (SnapShots c) Source #
Instance details Methods toExpr ∷ SnapShots c → Expr Source # listToExpr ∷ [SnapShots c] → Expr Source #
ToExpr (Stake c) Source #
Instance details Methods toExpr ∷ Stake c → Expr Source # listToExpr ∷ [Stake c] → Expr Source #
ToExpr (NoUpdate a) Source #
Instance details Methods toExpr ∷ NoUpdate a → Expr Source # listToExpr ∷ [NoUpdate a] → Expr Source #
ToExpr (ScriptHash c) Source #
Instance details Methods toExpr ∷ ScriptHash c → Expr Source # listToExpr ∷ [ScriptHash c] → Expr Source #
Crypto c ⇒ ToExpr (BootstrapWitness c) Source #
Instance details Methods toExpr ∷ BootstrapWitness c → Expr Source # listToExpr ∷ [BootstrapWitness c] → Expr Source #
ToExpr (GenDelegPair c) Source #
Instance details Methods toExpr ∷ GenDelegPair c → Expr Source # listToExpr ∷ [GenDelegPair c] → Expr Source #
ToExpr (GenDelegs c) Source #
Instance details Methods toExpr ∷ GenDelegs c → Expr Source # listToExpr ∷ [GenDelegs c] → Expr Source #
ToExpr (BinaryData era) Source #
Instance details Methods toExpr ∷ BinaryData era → Expr Source # listToExpr ∷ [BinaryData era] → Expr Source #
ToExpr (Data era) Source #
Instance details Methods toExpr ∷ Data era → Expr Source # listToExpr ∷ [Data era] → Expr Source #
ToExpr (Datum era) Source #
Instance details Methods toExpr ∷ Datum era → Expr Source # listToExpr ∷ [Datum era] → Expr Source #
ToExpr (PlutusData era) Source #
Instance details Methods toExpr ∷ PlutusData era → Expr Source # listToExpr ∷ [PlutusData era] → Expr Source #
ToExpr (Plutus l) Source #
Instance details Methods toExpr ∷ Plutus l → Expr Source # listToExpr ∷ [Plutus l] → Expr Source #
ToExpr (TxOutSource era) Source #
Instance details Methods toExpr ∷ TxOutSource era → Expr Source # listToExpr ∷ [TxOutSource era] → Expr Source #
ToExpr (IndividualPoolStake c) Source #
Instance details Methods toExpr ∷ IndividualPoolStake c → Expr Source # listToExpr ∷ [IndividualPoolStake c] → Expr Source #
ToExpr (PoolDistr c) Source #
Instance details Methods toExpr ∷ PoolDistr c → Expr Source # listToExpr ∷ [PoolDistr c] → Expr Source #
ToExpr (PoolParams era) Source #
Instance details Methods toExpr ∷ PoolParams era → Expr Source # listToExpr ∷ [PoolParams era] → Expr Source #
ToExpr (TxId c) Source #
Instance details Methods toExpr ∷ TxId c → Expr Source # listToExpr ∷ [TxId c] → Expr Source #
ToExpr (TxIn c) Source #
Instance details Methods toExpr ∷ TxIn c → Expr Source # listToExpr ∷ [TxIn c] → Expr Source #
ToExpr (UMElem c) Source #
Instance details Methods toExpr ∷ UMElem c → Expr Source # listToExpr ∷ [UMElem c] → Expr Source #
ToExpr (UMap c) Source #
Instance details Methods toExpr ∷ UMap c → Expr Source # listToExpr ∷ [UMap c] → Expr Source #
(Era era, ToExpr (Script era)) ⇒ ToExpr (ScriptsProvided era) Source #
Instance details Methods toExpr ∷ ScriptsProvided era → Expr Source # listToExpr ∷ [ScriptsProvided era] → Expr Source #
ToExpr (TxOut era) ⇒ ToExpr (UTxO era) Source #
Instance details Methods toExpr ∷ UTxO era → Expr Source # listToExpr ∷ [UTxO era] → Expr Source #
ToExpr a ⇒ ToExpr (Mismatch r a) Source #
Instance details Methods toExpr ∷ Mismatch r a → Expr Source # listToExpr ∷ [Mismatch r a] → Expr Source #
ToExpr (VoidEraRule rule era) Source #
Instance details Methods toExpr ∷ VoidEraRule rule era → Expr Source # listToExpr ∷ [VoidEraRule rule era] → Expr Source #
ToExpr (Credential keyrole c) Source #
Instance details Methods toExpr ∷ Credential keyrole c → Expr Source # listToExpr ∷ [Credential keyrole c] → Expr Source #
ToExpr (KeyHash keyrole c) Source #
Instance details Methods toExpr ∷ KeyHash keyrole c → Expr Source # listToExpr ∷ [KeyHash keyrole c] → Expr Source #
Crypto c ⇒ ToExpr (VKey r c) Source #
Instance details Methods toExpr ∷ VKey r c → Expr Source # listToExpr ∷ [VKey r c] → Expr Source #
ToExpr (VRFVerKeyHash keyrole c) Source #
Instance details Methods toExpr ∷ VRFVerKeyHash keyrole c → Expr Source # listToExpr ∷ [VRFVerKeyHash keyrole c] → Expr Source #
Crypto c ⇒ ToExpr (WitVKey kr c) Source #
Instance details Methods toExpr ∷ WitVKey kr c → Expr Source # listToExpr ∷ [WitVKey kr c] → Expr Source #
ToExpr (t era) ⇒ ToExpr (MemoBytes t era) Source #
Instance details Methods toExpr ∷ MemoBytes t era → Expr Source # listToExpr ∷ [MemoBytes t era] → Expr Source #
ToExpr (SafeHash c index) Source #
Instance details Methods toExpr ∷ SafeHash c index → Expr Source # listToExpr ∷ [SafeHash c index] → Expr Source #