Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.Dijkstra.TreeDiff

Contents

Orphan instances

Synopsis

data Expr
- = App ConstructorName [Expr]
- | Rec ConstructorName (OMap FieldName Expr)
- | Lst [Expr]
class ToExpr a

Documentation

data Expr Source #

A untyped Haskell-like expression.

Having richer structure than just Tree allows to have richer diffs.

Constructors

App ConstructorName [Expr]	application
Rec ConstructorName (OMap FieldName Expr)	record constructor
Lst [Expr]	list constructor

Instances

Instances details

Arbitrary Expr
Instance details Defined in Data.TreeDiff.Expr Methods arbitrary ∷ Gen Expr Source # shrink ∷ Expr → [Expr] Source #
NFData Expr
Instance details Defined in Data.TreeDiff.Expr Methods rnf ∷ Expr → () #
Show Expr
Instance details Defined in Data.TreeDiff.Expr Methods showsPrec ∷ Int → Expr → ShowS # show ∷ Expr → String # showList ∷ [Expr] → ShowS #
Eq Expr
Instance details Defined in Data.TreeDiff.Expr Methods (==) ∷ Expr → Expr → Bool # (/=) ∷ Expr → Expr → Bool #
Ord Expr
Instance details Defined in Data.TreeDiff.Expr Methods compare ∷ Expr → Expr → Ordering # (<) ∷ Expr → Expr → Bool # (<=) ∷ Expr → Expr → Bool # (>) ∷ Expr → Expr → Bool # (>=) ∷ Expr → Expr → Bool # max ∷ Expr → Expr → Expr # min ∷ Expr → Expr → Expr #
ToExpr Expr
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Expr → Expr Source # listToExpr ∷ [Expr] → Expr Source #

class ToExpr a Source #

toExpr converts a Haskell value into untyped Haskell-like syntax tree, Expr.

>>> toExpr ((1, Just 2) :: (Int, Maybe Int))
App "_\215_" [App "1" [],App "Just" [App "2" []]]

Instances

Instances details

ToExpr Key
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Key → Expr Source # listToExpr ∷ [Key] → Expr Source #
ToExpr Value
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Value → Expr Source # listToExpr ∷ [Value] → Expr Source #
ToExpr ByteArray	Since: tree-diff-0.2.2
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ ByteArray → Expr Source # listToExpr ∷ [ByteArray] → Expr Source #
ToExpr ByteString	`>>>` `traverse_ (print . prettyExpr . toExpr . BS8.pack) ["", "\n", "foo", "foo\n", "foo\nbar", "foo\nbar\n"]`"" "\n" "foo" "foo\n" BS.concat ["foo\n", "bar"] BS.concat ["foo\n", "bar\n"]
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ ByteString → Expr Source # listToExpr ∷ [ByteString] → Expr Source #
ToExpr ByteString	`>>>` `traverse_ (print . prettyExpr . toExpr . LBS8.pack) ["", "\n", "foo", "foo\n", "foo\nbar", "foo\nbar\n"]`"" "\n" "foo" "foo\n" LBS.concat ["foo\n", "bar"] LBS.concat ["foo\n", "bar\n"]
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ ByteString → Expr Source # listToExpr ∷ [ByteString] → Expr Source #
ToExpr ShortByteString	`>>>` `traverse_ (print . prettyExpr . toExpr . SBS.toShort . BS8.pack) ["", "\n", "foo", "foo\n", "foo\nbar", "foo\nbar\n"]`"" "\n" "foo" "foo\n" mconcat ["foo\n", "bar"] mconcat ["foo\n", "bar\n"]
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ ShortByteString → Expr Source # listToExpr ∷ [ShortByteString] → Expr Source #
ToExpr ValidityInterval
Instance details Defined in Test.Cardano.Ledger.Allegra.TreeDiff Methods toExpr ∷ ValidityInterval → Expr Source # listToExpr ∷ [ValidityInterval] → Expr Source #
ToExpr CoinPerWord
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ CoinPerWord → Expr Source # listToExpr ∷ [CoinPerWord] → Expr Source #
ToExpr OrdExUnits
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ OrdExUnits → Expr Source # listToExpr ∷ [OrdExUnits] → Expr Source #
ToExpr FailureDescription
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ FailureDescription → Expr Source # listToExpr ∷ [FailureDescription] → Expr Source #
ToExpr TagMismatchDescription
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ TagMismatchDescription → Expr Source # listToExpr ∷ [TagMismatchDescription] → Expr Source #
ToExpr IsValid
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ IsValid → Expr Source # listToExpr ∷ [IsValid] → Expr Source #
ToExpr Addr28Extra
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ Addr28Extra → Expr Source # listToExpr ∷ [Addr28Extra] → Expr Source #
ToExpr DataHash32
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ DataHash32 → Expr Source # listToExpr ∷ [DataHash32] → Expr Source #
ToExpr CoinPerByte
Instance details Defined in Test.Cardano.Ledger.Babbage.TreeDiff Methods toExpr ∷ CoinPerByte → Expr Source # listToExpr ∷ [CoinPerByte] → Expr Source #
ToExpr Version
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ Version → Expr Source # listToExpr ∷ [Version] → Expr Source #
ToExpr CBORBytes
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ CBORBytes → Expr Source # listToExpr ∷ [CBORBytes] → Expr Source #
ToExpr HexBytes
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ HexBytes → Expr Source # listToExpr ∷ [HexBytes] → Expr Source #
ToExpr GovActionId
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ GovActionId → Expr Source # listToExpr ∷ [GovActionId] → Expr Source #
ToExpr GovActionIx
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ GovActionIx → Expr Source # listToExpr ∷ [GovActionIx] → Expr Source #
ToExpr Vote
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ Vote → Expr Source # listToExpr ∷ [Vote] → Expr Source #
ToExpr Voter
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ Voter → Expr Source # listToExpr ∷ [Voter] → Expr Source #
ToExpr DRepVotingThresholds
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ DRepVotingThresholds → Expr Source # listToExpr ∷ [DRepVotingThresholds] → Expr Source #
ToExpr PoolVotingThresholds
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ PoolVotingThresholds → Expr Source # listToExpr ∷ [PoolVotingThresholds] → Expr Source #
ToExpr ConwayDelegCert
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayDelegCert → Expr Source # listToExpr ∷ [ConwayDelegCert] → Expr Source #
ToExpr ConwayGovCert
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayGovCert → Expr Source # listToExpr ∷ [ConwayGovCert] → Expr Source #
ToExpr Delegatee
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ Delegatee → Expr Source # listToExpr ∷ [Delegatee] → Expr Source #
ToExpr Addr
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ Addr → Expr Source # listToExpr ∷ [Addr] → Expr Source #
ToExpr BootstrapAddress
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ BootstrapAddress → Expr Source # listToExpr ∷ [BootstrapAddress] → Expr Source #
ToExpr CompactAddr
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ CompactAddr → Expr Source # listToExpr ∷ [CompactAddr] → Expr Source #
ToExpr RewardAccount
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ RewardAccount → Expr Source # listToExpr ∷ [RewardAccount] → Expr Source #
ToExpr Withdrawals
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ Withdrawals → Expr Source # listToExpr ∷ [Withdrawals] → Expr Source #
ToExpr Anchor
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ Anchor → Expr Source # listToExpr ∷ [Anchor] → Expr Source #
ToExpr BlocksMade
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ BlocksMade → Expr Source # listToExpr ∷ [BlocksMade] → Expr Source #
ToExpr CertIx
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ CertIx → Expr Source # listToExpr ∷ [CertIx] → Expr Source #
ToExpr DnsName
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ DnsName → Expr Source # listToExpr ∷ [DnsName] → Expr Source #
ToExpr Network
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ Network → Expr Source # listToExpr ∷ [Network] → Expr Source #
ToExpr NonNegativeInterval
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ NonNegativeInterval → Expr Source # listToExpr ∷ [NonNegativeInterval] → Expr Source #
ToExpr Nonce
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ Nonce → Expr Source # listToExpr ∷ [Nonce] → Expr Source #
ToExpr Port
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ Port → Expr Source # listToExpr ∷ [Port] → Expr Source #
ToExpr PositiveInterval
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ PositiveInterval → Expr Source # listToExpr ∷ [PositiveInterval] → Expr Source #
ToExpr ProtVer
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ ProtVer → Expr Source # listToExpr ∷ [ProtVer] → Expr Source #
ToExpr TxIx
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ TxIx → Expr Source # listToExpr ∷ [TxIx] → Expr Source #
ToExpr UnitInterval
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ UnitInterval → Expr Source # listToExpr ∷ [UnitInterval] → Expr Source #
ToExpr Url
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ Url → Expr Source # listToExpr ∷ [Url] → Expr Source #
ToExpr Coin
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ Coin → Expr Source # listToExpr ∷ [Coin] → Expr Source #
ToExpr DeltaCoin
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ DeltaCoin → Expr Source # listToExpr ∷ [DeltaCoin] → Expr Source #
ToExpr PoolCert
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ PoolCert → Expr Source # listToExpr ∷ [PoolCert] → Expr Source #
ToExpr Ptr
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ Ptr → Expr Source # listToExpr ∷ [Ptr] → Expr Source #
ToExpr SlotNo32
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ SlotNo32 → Expr Source # listToExpr ∷ [SlotNo32] → Expr Source #
ToExpr StakeReference
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ StakeReference → Expr Source # listToExpr ∷ [StakeReference] → Expr Source #
ToExpr DRep
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ DRep → Expr Source # listToExpr ∷ [DRep] → Expr Source #
ToExpr DRepState
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ DRepState → Expr Source # listToExpr ∷ [DRepState] → Expr Source #
ToExpr GenDelegPair
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ GenDelegPair → Expr Source # listToExpr ∷ [GenDelegPair] → Expr Source #
ToExpr GenDelegs
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ GenDelegs → Expr Source # listToExpr ∷ [GenDelegs] → Expr Source #
ToExpr ScriptHash
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ ScriptHash → Expr Source # listToExpr ∷ [ScriptHash] → Expr Source #
ToExpr TxAuxDataHash
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ TxAuxDataHash → Expr Source # listToExpr ∷ [TxAuxDataHash] → Expr Source #
ToExpr BootstrapWitness
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ BootstrapWitness → Expr Source # listToExpr ∷ [BootstrapWitness] → Expr Source #
ToExpr ChainCode
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ ChainCode → Expr Source # listToExpr ∷ [ChainCode] → Expr Source #
ToExpr Metadatum
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ Metadatum → Expr Source # listToExpr ∷ [Metadatum] → Expr Source #
ToExpr CostModel
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ CostModel → Expr Source # listToExpr ∷ [CostModel] → Expr Source #
ToExpr CostModels
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ CostModels → Expr Source # listToExpr ∷ [CostModels] → Expr Source #
ToExpr ScriptHash ⇒ ToExpr PlutusWithContext
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ PlutusWithContext → Expr Source # listToExpr ∷ [PlutusWithContext] → Expr Source #
ToExpr ExUnits
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ ExUnits → Expr Source # listToExpr ∷ [ExUnits] → Expr Source #
ToExpr Prices
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ Prices → Expr Source # listToExpr ∷ [Prices] → Expr Source #
ToExpr Language
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ Language → Expr Source # listToExpr ∷ [Language] → Expr Source #
ToExpr PlutusBinary
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ PlutusBinary → Expr Source # listToExpr ∷ [PlutusBinary] → Expr Source #
ToExpr TxOutSource
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ TxOutSource → Expr Source # listToExpr ∷ [TxOutSource] → Expr Source #
ToExpr Reward
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ Reward → Expr Source # listToExpr ∷ [Reward] → Expr Source #
ToExpr RewardType
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ RewardType → Expr Source # listToExpr ∷ [RewardType] → Expr Source #
ToExpr CommitteeAuthorization
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ CommitteeAuthorization → Expr Source # listToExpr ∷ [CommitteeAuthorization] → Expr Source #
ToExpr FutureGenDeleg
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ FutureGenDeleg → Expr Source # listToExpr ∷ [FutureGenDeleg] → Expr Source #
ToExpr InstantaneousRewards
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ InstantaneousRewards → Expr Source # listToExpr ∷ [InstantaneousRewards] → Expr Source #
ToExpr Obligations
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ Obligations → Expr Source # listToExpr ∷ [Obligations] → Expr Source #
ToExpr ChainAccountState
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ ChainAccountState → Expr Source # listToExpr ∷ [ChainAccountState] → Expr Source #
ToExpr IndividualPoolStake
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ IndividualPoolStake → Expr Source # listToExpr ∷ [IndividualPoolStake] → Expr Source #
ToExpr PoolDistr
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ PoolDistr → Expr Source # listToExpr ∷ [PoolDistr] → Expr Source #
ToExpr SnapShot
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ SnapShot → Expr Source # listToExpr ∷ [SnapShot] → Expr Source #
ToExpr SnapShots
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ SnapShots → Expr Source # listToExpr ∷ [SnapShots] → Expr Source #
ToExpr Stake
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ Stake → Expr Source # listToExpr ∷ [Stake] → Expr Source #
ToExpr PoolMetadata
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ PoolMetadata → Expr Source # listToExpr ∷ [PoolMetadata] → Expr Source #
ToExpr StakePoolParams
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ StakePoolParams → Expr Source # listToExpr ∷ [StakePoolParams] → Expr Source #
ToExpr StakePoolRelay
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ StakePoolRelay → Expr Source # listToExpr ∷ [StakePoolRelay] → Expr Source #
ToExpr StakePoolState
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ StakePoolState → Expr Source # listToExpr ∷ [StakePoolState] → Expr Source #
ToExpr TxId
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ TxId → Expr Source # listToExpr ∷ [TxId] → Expr Source #
ToExpr TxIn
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ TxIn → Expr Source # listToExpr ∷ [TxIn] → Expr Source #
ToExpr DijkstraDelegCert Source #
Instance details Defined in Test.Cardano.Ledger.Dijkstra.TreeDiff Methods toExpr ∷ DijkstraDelegCert → Expr Source # listToExpr ∷ [DijkstraDelegCert] → Expr Source #
ToExpr AssetName
Instance details Defined in Test.Cardano.Ledger.Mary.TreeDiff Methods toExpr ∷ AssetName → Expr Source # listToExpr ∷ [AssetName] → Expr Source #
ToExpr CompactValue
Instance details Defined in Test.Cardano.Ledger.Mary.TreeDiff Methods toExpr ∷ CompactValue → Expr Source # listToExpr ∷ [CompactValue] → Expr Source #
ToExpr MaryValue
Instance details Defined in Test.Cardano.Ledger.Mary.TreeDiff Methods toExpr ∷ MaryValue → Expr Source # listToExpr ∷ [MaryValue] → Expr Source #
ToExpr MultiAsset
Instance details Defined in Test.Cardano.Ledger.Mary.TreeDiff Methods toExpr ∷ MultiAsset → Expr Source # listToExpr ∷ [MultiAsset] → Expr Source #
ToExpr PolicyID
Instance details Defined in Test.Cardano.Ledger.Mary.TreeDiff Methods toExpr ∷ PolicyID → Expr Source # listToExpr ∷ [PolicyID] → Expr Source #
ToExpr AdaPots
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ AdaPots → Expr Source # listToExpr ∷ [AdaPots] → Expr Source #
ToExpr Likelihood
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ Likelihood → Expr Source # listToExpr ∷ [Likelihood] → Expr Source #
ToExpr LogWeight
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ LogWeight → Expr Source # listToExpr ∷ [LogWeight] → Expr Source #
ToExpr NonMyopic
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ NonMyopic → Expr Source # listToExpr ∷ [NonMyopic] → Expr Source #
ToExpr PulsingRewUpdate	You really don't want to see what is inside this.
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ PulsingRewUpdate → Expr Source # listToExpr ∷ [PulsingRewUpdate] → Expr Source #
ToExpr RewardUpdate
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ RewardUpdate → Expr Source # listToExpr ∷ [RewardUpdate] → Expr Source #
ToExpr VotingPeriod
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ VotingPeriod → Expr Source # listToExpr ∷ [VotingPeriod] → Expr Source #
ToExpr RupdEvent
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ RupdEvent → Expr Source # listToExpr ∷ [RupdEvent] → Expr Source #
ToExpr GenesisDelegCert
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ GenesisDelegCert → Expr Source # listToExpr ∷ [GenesisDelegCert] → Expr Source #
ToExpr MIRCert
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ MIRCert → Expr Source # listToExpr ∷ [MIRCert] → Expr Source #
ToExpr MIRPot
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ MIRPot → Expr Source # listToExpr ∷ [MIRPot] → Expr Source #
ToExpr MIRTarget
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ MIRTarget → Expr Source # listToExpr ∷ [MIRTarget] → Expr Source #
ToExpr ShelleyDelegCert
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyDelegCert → Expr Source # listToExpr ∷ [ShelleyDelegCert] → Expr Source #
ToExpr BlockNo
Instance details Defined in Test.Cardano.Slotting.TreeDiff Methods toExpr ∷ BlockNo → Expr Source # listToExpr ∷ [BlockNo] → Expr Source #
ToExpr EpochInterval
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ EpochInterval → Expr Source # listToExpr ∷ [EpochInterval] → Expr Source #
ToExpr EpochNo
Instance details Defined in Test.Cardano.Slotting.TreeDiff Methods toExpr ∷ EpochNo → Expr Source # listToExpr ∷ [EpochNo] → Expr Source #
ToExpr EpochSize
Instance details Defined in Test.Cardano.Slotting.TreeDiff Methods toExpr ∷ EpochSize → Expr Source # listToExpr ∷ [EpochSize] → Expr Source #
ToExpr SlotNo
Instance details Defined in Test.Cardano.Slotting.TreeDiff Methods toExpr ∷ SlotNo → Expr Source # listToExpr ∷ [SlotNo] → Expr Source #
ToExpr Term
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ Term → Expr Source # listToExpr ∷ [Term] → Expr Source #
ToExpr IntSet
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ IntSet → Expr Source # listToExpr ∷ [IntSet] → Expr Source #
ToExpr Assign
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ Assign → Expr Source # listToExpr ∷ [Assign] → Expr Source #
ToExpr CDDL
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ CDDL → Expr Source # listToExpr ∷ [CDDL] → Expr Source #
ToExpr GenericArg
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ GenericArg → Expr Source # listToExpr ∷ [GenericArg] → Expr Source #
ToExpr GenericParam
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ GenericParam → Expr Source # listToExpr ∷ [GenericParam] → Expr Source #
ToExpr Group
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ Group → Expr Source # listToExpr ∷ [Group] → Expr Source #
ToExpr GroupEntry
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ GroupEntry → Expr Source # listToExpr ∷ [GroupEntry] → Expr Source #
ToExpr GroupEntryVariant
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ GroupEntryVariant → Expr Source # listToExpr ∷ [GroupEntryVariant] → Expr Source #
ToExpr GrpChoice
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ GrpChoice → Expr Source # listToExpr ∷ [GrpChoice] → Expr Source #
ToExpr MemberKey
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ MemberKey → Expr Source # listToExpr ∷ [MemberKey] → Expr Source #
ToExpr Name
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ Name → Expr Source # listToExpr ∷ [Name] → Expr Source #
ToExpr OccurrenceIndicator
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ OccurrenceIndicator → Expr Source # listToExpr ∷ [OccurrenceIndicator] → Expr Source #
ToExpr RangeBound
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ RangeBound → Expr Source # listToExpr ∷ [RangeBound] → Expr Source #
ToExpr Rule
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ Rule → Expr Source # listToExpr ∷ [Rule] → Expr Source #
ToExpr TopLevel
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ TopLevel → Expr Source # listToExpr ∷ [TopLevel] → Expr Source #
ToExpr TyOp
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ TyOp → Expr Source # listToExpr ∷ [TyOp] → Expr Source #
ToExpr Type0
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ Type0 → Expr Source # listToExpr ∷ [Type0] → Expr Source #
ToExpr Type1
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ Type1 → Expr Source # listToExpr ∷ [Type1] → Expr Source #
ToExpr Type2
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ Type2 → Expr Source # listToExpr ∷ [Type2] → Expr Source #
ToExpr TypeOrGroup
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ TypeOrGroup → Expr Source # listToExpr ∷ [TypeOrGroup] → Expr Source #
ToExpr Value
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ Value → Expr Source # listToExpr ∷ [Value] → Expr Source #
ToExpr ValueVariant
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ ValueVariant → Expr Source # listToExpr ∷ [ValueVariant] → Expr Source #
ToExpr CtlOp
Instance details Defined in Codec.CBOR.Cuddle.CDDL.CtlOp Methods toExpr ∷ CtlOp → Expr Source # listToExpr ∷ [CtlOp] → Expr Source #
ToExpr Comment
Instance details Defined in Codec.CBOR.Cuddle.Comments Methods toExpr ∷ Comment → Expr Source # listToExpr ∷ [Comment] → Expr Source #
ToExpr Void
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Void → Expr Source # listToExpr ∷ [Void] → Expr Source #
ToExpr Int16
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Int16 → Expr Source # listToExpr ∷ [Int16] → Expr Source #
ToExpr Int32
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Int32 → Expr Source # listToExpr ∷ [Int32] → Expr Source #
ToExpr Int64
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Int64 → Expr Source # listToExpr ∷ [Int64] → Expr Source #
ToExpr Int8
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Int8 → Expr Source # listToExpr ∷ [Int8] → Expr Source #
ToExpr Word16
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Word16 → Expr Source # listToExpr ∷ [Word16] → Expr Source #
ToExpr Word32
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Word32 → Expr Source # listToExpr ∷ [Word32] → Expr Source #
ToExpr Word64
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Word64 → Expr Source # listToExpr ∷ [Word64] → Expr Source #
ToExpr Word8
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Word8 → Expr Source # listToExpr ∷ [Word8] → Expr Source #
ToExpr Ordering
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Ordering → Expr Source # listToExpr ∷ [Ordering] → Expr Source #
ToExpr IPv4
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ IPv4 → Expr Source # listToExpr ∷ [IPv4] → Expr Source #
ToExpr IPv6
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ IPv6 → Expr Source # listToExpr ∷ [IPv6] → Expr Source #
ToExpr ExBudget
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ ExBudget → Expr Source # listToExpr ∷ [ExBudget] → Expr Source #
ToExpr ExCPU
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ ExCPU → Expr Source # listToExpr ∷ [ExCPU] → Expr Source #
ToExpr ExMemory
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ ExMemory → Expr Source # listToExpr ∷ [ExMemory] → Expr Source #
ToExpr SatInt
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ SatInt → Expr Source # listToExpr ∷ [SatInt] → Expr Source #
ToExpr EvaluationError
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ EvaluationError → Expr Source # listToExpr ∷ [EvaluationError] → Expr Source #
ToExpr Scientific	`>>>` `prettyExpr $ toExpr (123.456 :: Scientific)`scientific 123456 `-3`
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Scientific → Expr Source # listToExpr ∷ [Scientific] → Expr Source #
ToExpr Text	`>>>` `traverse_ (print . prettyExpr . toExpr . T.pack) ["", "\n", "foo", "foo\n", "foo\nbar", "foo\nbar\n"]`"" "\n" "foo" "foo\n" T.concat ["foo\n", "bar"] T.concat ["foo\n", "bar\n"]
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Text → Expr Source # listToExpr ∷ [Text] → Expr Source #
ToExpr Text	`>>>` `traverse_ (print . prettyExpr . toExpr . LT.pack) ["", "\n", "foo", "foo\n", "foo\nbar", "foo\nbar\n"]`"" "\n" "foo" "foo\n" LT.concat ["foo\n", "bar"] LT.concat ["foo\n", "bar\n"]
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Text → Expr Source # listToExpr ∷ [Text] → Expr Source #
ToExpr Day	`>>>` `prettyExpr $ toExpr $ ModifiedJulianDay 58014`Day "2017-09-18"
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Day → Expr Source # listToExpr ∷ [Day] → Expr Source #
ToExpr UTCTime
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ UTCTime → Expr Source # listToExpr ∷ [UTCTime] → Expr Source #
ToExpr Expr
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Expr → Expr Source # listToExpr ∷ [Expr] → Expr Source #
ToExpr UUID	`>>>` `prettyExpr $ toExpr UUID.nil`UUID "00000000-0000-0000-0000-000000000000"
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ UUID → Expr Source # listToExpr ∷ [UUID] → Expr Source #
ToExpr Integer
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Integer → Expr Source # listToExpr ∷ [Integer] → Expr Source #
ToExpr Natural
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Natural → Expr Source # listToExpr ∷ [Natural] → Expr Source #
ToExpr ()
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ () → Expr Source # listToExpr ∷ [()] → Expr Source #
ToExpr Bool
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Bool → Expr Source # listToExpr ∷ [Bool] → Expr Source #
ToExpr Char	`>>>` `prettyExpr $ toExpr 'a'`'a' `>>>` `prettyExpr $ toExpr "Hello world"`"Hello world" `>>>` `prettyExpr $ toExpr "Hello\nworld"`concat ["Hello\n", "world"] `>>>` `traverse_ (print . prettyExpr . toExpr) ["", "\n", "foo", "foo\n", "foo\nbar", "foo\nbar\n"]`"" "\n" "foo" "foo\n" concat ["foo\n", "bar"] concat ["foo\n", "bar\n"]
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Char → Expr Source # listToExpr ∷ [Char] → Expr Source #
ToExpr Double
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Double → Expr Source # listToExpr ∷ [Double] → Expr Source #
ToExpr Float
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Float → Expr Source # listToExpr ∷ [Float] → Expr Source #
ToExpr Int
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Int → Expr Source # listToExpr ∷ [Int] → Expr Source #
ToExpr Word
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Word → Expr Source # listToExpr ∷ [Word] → Expr Source #
ToExpr a ⇒ ToExpr (KeyMap a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ KeyMap a → Expr Source # listToExpr ∷ [KeyMap a] → Expr Source #
ToExpr a ⇒ ToExpr (First a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ First a → Expr Source # listToExpr ∷ [First a] → Expr Source #
ToExpr a ⇒ ToExpr (Last a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Last a → Expr Source # listToExpr ∷ [Last a] → Expr Source #
ToExpr a ⇒ ToExpr (Max a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Max a → Expr Source # listToExpr ∷ [Max a] → Expr Source #
ToExpr a ⇒ ToExpr (Min a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Min a → Expr Source # listToExpr ∷ [Min a] → Expr Source #
ToExpr a ⇒ ToExpr (OSet a)
Instance details Defined in Test.Cardano.Data.TreeDiff Methods toExpr ∷ OSet a → Expr Source # listToExpr ∷ [OSet a] → Expr Source #
(Era era, ToExpr (TxOut era), ToExpr (Event (EraRule "PPUP" era))) ⇒ ToExpr (AllegraUtxoEvent era)
Instance details Defined in Test.Cardano.Ledger.Allegra.TreeDiff Methods toExpr ∷ AllegraUtxoEvent era → Expr Source # listToExpr ∷ [AllegraUtxoEvent era] → Expr Source #
(ToExpr (TxOut era), ToExpr (Value era), ToExpr (EraRuleFailure "PPUP" era)) ⇒ ToExpr (AllegraUtxoPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Allegra.TreeDiff Methods toExpr ∷ AllegraUtxoPredFailure era → Expr Source # listToExpr ∷ [AllegraUtxoPredFailure era] → Expr Source #
ToExpr (NativeScript era) ⇒ ToExpr (AllegraTxAuxData era)
Instance details Defined in Test.Cardano.Ledger.Allegra.TreeDiff Methods toExpr ∷ AllegraTxAuxData era → Expr Source # listToExpr ∷ [AllegraTxAuxData era] → Expr Source #
ToExpr (NativeScript era) ⇒ ToExpr (AllegraTxAuxDataRaw era)
Instance details Defined in Test.Cardano.Ledger.Allegra.TreeDiff Methods toExpr ∷ AllegraTxAuxDataRaw era → Expr Source # listToExpr ∷ [AllegraTxAuxDataRaw era] → Expr Source #
(ToExpr (ContextError era), ToExpr (PlutusPurpose AsItem era), ToExpr (TxCert era)) ⇒ ToExpr (CollectError era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ CollectError era → Expr Source # listToExpr ∷ [CollectError era] → Expr Source #
(ToExpr (PlutusPurpose AsIx era), ToExpr (PlutusPurpose AsItem era), ToExpr (PlutusScript era), ToExpr (ContextError era)) ⇒ ToExpr (TransactionScriptFailure era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ TransactionScriptFailure era → Expr Source # listToExpr ∷ [TransactionScriptFailure era] → Expr Source #
ToExpr (Event (EraRule "LEDGERS" era)) ⇒ ToExpr (AlonzoBbodyEvent era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoBbodyEvent era → Expr Source # listToExpr ∷ [AlonzoBbodyEvent era] → Expr Source #
ToExpr (PredicateFailure (EraRule "LEDGERS" era)) ⇒ ToExpr (AlonzoBbodyPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoBbodyPredFailure era → Expr Source # listToExpr ∷ [AlonzoBbodyPredFailure era] → Expr Source #
ToExpr (Event (EraRule "UTXOS" era)) ⇒ ToExpr (AlonzoUtxoEvent era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoUtxoEvent era → Expr Source # listToExpr ∷ [AlonzoUtxoEvent era] → Expr Source #
(ToExpr (Value era), ToExpr (TxOut era), ToExpr (PredicateFailure (EraRule "UTXOS" era))) ⇒ ToExpr (AlonzoUtxoPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoUtxoPredFailure era → Expr Source # listToExpr ∷ [AlonzoUtxoPredFailure era] → Expr Source #
(ToExpr (EraRuleEvent "PPUP" era), ToExpr (TxOut era), ToExpr PlutusWithContext) ⇒ ToExpr (AlonzoUtxosEvent era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoUtxosEvent era → Expr Source # listToExpr ∷ [AlonzoUtxosEvent era] → Expr Source #
(ToExpr (PlutusPurpose AsItem era), ToExpr (EraRuleFailure "PPUP" era), ToExpr (ContextError era), ToExpr (TxCert era)) ⇒ ToExpr (AlonzoUtxosPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoUtxosPredFailure era → Expr Source # listToExpr ∷ [AlonzoUtxosPredFailure era] → Expr Source #
ToExpr (Event (EraRule "UTXO" era)) ⇒ ToExpr (AlonzoUtxowEvent era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoUtxowEvent era → Expr Source # listToExpr ∷ [AlonzoUtxowEvent era] → Expr Source #
(Era era, ToExpr (PlutusPurpose AsIx era), ToExpr (PlutusPurpose AsItem era), ToExpr (PredicateFailure (EraRule "UTXO" era)), ToExpr (TxCert era)) ⇒ ToExpr (AlonzoUtxowPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoUtxowPredFailure era → Expr Source # listToExpr ∷ [AlonzoUtxowPredFailure era] → Expr Source #
(ToExpr (PlutusScript era), ToExpr (NativeScript era)) ⇒ ToExpr (AlonzoScript era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoScript era → Expr Source # listToExpr ∷ [AlonzoScript era] → Expr Source #
ToExpr (PlutusScript AlonzoEra)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ PlutusScript AlonzoEra → Expr Source # listToExpr ∷ [PlutusScript AlonzoEra] → Expr Source #
ToExpr (PlutusScript BabbageEra)
Instance details Defined in Test.Cardano.Ledger.Babbage.TreeDiff Methods toExpr ∷ PlutusScript BabbageEra → Expr Source # listToExpr ∷ [PlutusScript BabbageEra] → Expr Source #
ToExpr (PlutusScript ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ PlutusScript ConwayEra → Expr Source # listToExpr ∷ [PlutusScript ConwayEra] → Expr Source #
ToExpr (PlutusScript DijkstraEra) Source #
Instance details Defined in Test.Cardano.Ledger.Dijkstra.TreeDiff Methods toExpr ∷ PlutusScript DijkstraEra → Expr Source # listToExpr ∷ [PlutusScript DijkstraEra] → Expr Source #
ToExpr (NativeScript era) ⇒ ToExpr (AlonzoTxAuxData era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoTxAuxData era → Expr Source # listToExpr ∷ [AlonzoTxAuxData era] → Expr Source #
ToExpr (NativeScript era) ⇒ ToExpr (AlonzoTxAuxDataRaw era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoTxAuxDataRaw era → Expr Source # listToExpr ∷ [AlonzoTxAuxDataRaw era] → Expr Source #
ToExpr (CompactForm (Value era)) ⇒ ToExpr (AlonzoTxOut era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoTxOut era → Expr Source # listToExpr ∷ [AlonzoTxOut era] → Expr Source #
(Era era, ToExpr (TxDats era), ToExpr (Redeemers era), ToExpr (Script era)) ⇒ ToExpr (AlonzoTxWits era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoTxWits era → Expr Source # listToExpr ∷ [AlonzoTxWits era] → Expr Source #
(Era era, ToExpr (TxDats era), ToExpr (Redeemers era), ToExpr (Script era)) ⇒ ToExpr (AlonzoTxWitsRaw era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoTxWitsRaw era → Expr Source # listToExpr ∷ [AlonzoTxWitsRaw era] → Expr Source #
ToExpr (PlutusPurpose AsIx era) ⇒ ToExpr (Redeemers era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ Redeemers era → Expr Source # listToExpr ∷ [Redeemers era] → Expr Source #
ToExpr (PlutusPurpose AsIx era) ⇒ ToExpr (RedeemersRaw era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ RedeemersRaw era → Expr Source # listToExpr ∷ [RedeemersRaw era] → Expr Source #
ToExpr (Data era) ⇒ ToExpr (TxDats era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ TxDats era → Expr Source # listToExpr ∷ [TxDats era] → Expr Source #
ToExpr (Data era) ⇒ ToExpr (TxDatsRaw era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ TxDatsRaw era → Expr Source # listToExpr ∷ [TxDatsRaw era] → Expr Source #
ToExpr (PlutusPurpose AsIxItem era) ⇒ ToExpr (AlonzoScriptsNeeded era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoScriptsNeeded era → Expr Source # listToExpr ∷ [AlonzoScriptsNeeded era] → Expr Source #
(ToExpr (AlonzoUtxoPredFailure era), ToExpr (TxOut era)) ⇒ ToExpr (BabbageUtxoPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Babbage.TreeDiff Methods toExpr ∷ BabbageUtxoPredFailure era → Expr Source # listToExpr ∷ [BabbageUtxoPredFailure era] → Expr Source #
(Era era, ToExpr (PredicateFailure (EraRule "UTXO" era)), ToExpr (PlutusPurpose AsIx era), ToExpr (PlutusPurpose AsItem era), ToExpr (TxCert era)) ⇒ ToExpr (BabbageUtxowPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Babbage.TreeDiff Methods toExpr ∷ BabbageUtxowPredFailure era → Expr Source # listToExpr ∷ [BabbageUtxowPredFailure era] → Expr Source #
ToExpr (PlutusPurpose AsIx era) ⇒ ToExpr (BabbageContextError era)
Instance details Defined in Test.Cardano.Ledger.Babbage.TreeDiff Methods toExpr ∷ BabbageContextError era → Expr Source # listToExpr ∷ [BabbageContextError era] → Expr Source #
(ToExpr CompactAddr, ToExpr (CompactForm (Value era)), ToExpr (Script era)) ⇒ ToExpr (BabbageTxOut era)
Instance details Defined in Test.Cardano.Ledger.Babbage.TreeDiff Methods toExpr ∷ BabbageTxOut era → Expr Source # listToExpr ∷ [BabbageTxOut era] → Expr Source #
ToExpr a ⇒ ToExpr (Sized a)
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ Sized a → Expr Source # listToExpr ∷ [Sized a] → Expr Source #
(EraStake era, EraPParams era, ConwayEraAccounts era, ToExpr (PParams era), ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (ConwayGovState era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayGovState era → Expr Source # listToExpr ∷ [ConwayGovState era] → Expr Source #
(EraStake era, EraPParams era, ConwayEraAccounts era, ToExpr (PParamsHKD StrictMaybe era), ToExpr (PParams era)) ⇒ ToExpr (DRepPulsingState era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ DRepPulsingState era → Expr Source # listToExpr ∷ [DRepPulsingState era] → Expr Source #
(EraPParams era, ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (PulsingSnapshot era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ PulsingSnapshot era → Expr Source # listToExpr ∷ [PulsingSnapshot era] → Expr Source #
(Era era, ToExpr (PParams era)) ⇒ ToExpr (EnactState era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ EnactState era → Expr Source # listToExpr ∷ [EnactState era] → Expr Source #
(ToExpr (InstantStake era), ToExpr (Accounts era)) ⇒ ToExpr (RatifyEnv era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ RatifyEnv era → Expr Source # listToExpr ∷ [RatifyEnv era] → Expr Source #
ToExpr (PParamsHKD StrictMaybe era) ⇒ ToExpr (RatifySignal era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ RatifySignal era → Expr Source # listToExpr ∷ [RatifySignal era] → Expr Source #
(EraPParams era, ToExpr (PParams era), ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (RatifyState era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ RatifyState era → Expr Source # listToExpr ∷ [RatifyState era] → Expr Source #
ToExpr (Committee era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ Committee era → Expr Source # listToExpr ∷ [Committee era] → Expr Source #
ToExpr (Constitution era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ Constitution era → Expr Source # listToExpr ∷ [Constitution era] → Expr Source #
ToExpr (PParamsHKD StrictMaybe era) ⇒ ToExpr (GovAction era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ GovAction era → Expr Source # listToExpr ∷ [GovAction era] → Expr Source #
ToExpr (PParamsHKD StrictMaybe era) ⇒ ToExpr (GovActionState era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ GovActionState era → Expr Source # listToExpr ∷ [GovActionState era] → Expr Source #
ToExpr (GovPurposeId purpose)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ GovPurposeId purpose → Expr Source # listToExpr ∷ [GovPurposeId purpose] → Expr Source #
(∀ (p ∷ GovActionPurpose). ToExpr (f (GovPurposeId p))) ⇒ ToExpr (GovRelation f)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ GovRelation f → Expr Source # listToExpr ∷ [GovRelation f] → Expr Source #
ToExpr (PParamsHKD StrictMaybe era) ⇒ ToExpr (ProposalProcedure era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ProposalProcedure era → Expr Source # listToExpr ∷ [ProposalProcedure era] → Expr Source #
ToExpr (VotingProcedure era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ VotingProcedure era → Expr Source # listToExpr ∷ [VotingProcedure era] → Expr Source #
Era era ⇒ ToExpr (VotingProcedures era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ VotingProcedures era → Expr Source # listToExpr ∷ [VotingProcedures era] → Expr Source #
ToExpr a ⇒ ToExpr (PEdges a)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ PEdges a → Expr Source # listToExpr ∷ [PEdges a] → Expr Source #
ToExpr a ⇒ ToExpr (PGraph a)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ PGraph a → Expr Source # listToExpr ∷ [PGraph a] → Expr Source #
ToExpr a ⇒ ToExpr (PRoot a)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ PRoot a → Expr Source # listToExpr ∷ [PRoot a] → Expr Source #
(Era era, ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (Proposals era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ Proposals era → Expr Source # listToExpr ∷ [Proposals era] → Expr Source #
ToExpr (PredicateFailure (EraRule "LEDGERS" era)) ⇒ ToExpr (ConwayBbodyPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayBbodyPredFailure era → Expr Source # listToExpr ∷ [ConwayBbodyPredFailure era] → Expr Source #
(ToExpr (PParams era), ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (CertEnv era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ CertEnv era → Expr Source # listToExpr ∷ [CertEnv era] → Expr Source #
(ToExpr (Event (EraRule "DELEG" era)), ToExpr (Event (EraRule "GOVCERT" era)), ToExpr (Event (EraRule "POOL" era))) ⇒ ToExpr (ConwayCertEvent era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayCertEvent era → Expr Source # listToExpr ∷ [ConwayCertEvent era] → Expr Source #
(ToExpr (PredicateFailure (EraRule "DELEG" era)), ToExpr (PredicateFailure (EraRule "GOVCERT" era)), ToExpr (PredicateFailure (EraRule "POOL" era))) ⇒ ToExpr (ConwayCertPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayCertPredFailure era → Expr Source # listToExpr ∷ [ConwayCertPredFailure era] → Expr Source #
(ToExpr (PParamsHKD Identity era), ToExpr (PParamsHKD StrictMaybe era), ToExpr (Tx 'TopTx era)) ⇒ ToExpr (CertsEnv era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ CertsEnv era → Expr Source # listToExpr ∷ [CertsEnv era] → Expr Source #
ToExpr (Event (EraRule "CERT" era)) ⇒ ToExpr (ConwayCertsEvent era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayCertsEvent era → Expr Source # listToExpr ∷ [ConwayCertsEvent era] → Expr Source #
ToExpr (PredicateFailure (EraRule "CERT" era)) ⇒ ToExpr (ConwayCertsPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayCertsPredFailure era → Expr Source # listToExpr ∷ [ConwayCertsPredFailure era] → Expr Source #
ToExpr (PParams era) ⇒ ToExpr (ConwayDelegEnv era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayDelegEnv era → Expr Source # listToExpr ∷ [ConwayDelegEnv era] → Expr Source #
ToExpr (ConwayDelegPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayDelegPredFailure era → Expr Source # listToExpr ∷ [ConwayDelegPredFailure era] → Expr Source #
ToExpr (PParamsHKD StrictMaybe era) ⇒ ToExpr (EnactSignal era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ EnactSignal era → Expr Source # listToExpr ∷ [EnactSignal era] → Expr Source #
(EraPParams era, ToExpr (PParams era), ToExpr (PParamsHKD StrictMaybe era), ToExpr (Event (EraRule "POOLREAP" era)), ToExpr (Event (EraRule "SNAP" era)), ToExpr (Event (EraRule "HARDFORK" era))) ⇒ ToExpr (ConwayEpochEvent era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayEpochEvent era → Expr Source # listToExpr ∷ [ConwayEpochEvent era] → Expr Source #
(Era era, ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (ConwayGovEvent era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayGovEvent era → Expr Source # listToExpr ∷ [ConwayGovEvent era] → Expr Source #
(EraPParams era, ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (ConwayGovPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayGovPredFailure era → Expr Source # listToExpr ∷ [ConwayGovPredFailure era] → Expr Source #
(ToExpr (PParams era), ToExpr (CertState era)) ⇒ ToExpr (GovEnv era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ GovEnv era → Expr Source # listToExpr ∷ [GovEnv era] → Expr Source #
(EraPParams era, ToExpr (PParamsHKD StrictMaybe era), ToExpr (TxCert era)) ⇒ ToExpr (GovSignal era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ GovSignal era → Expr Source # listToExpr ∷ [GovSignal era] → Expr Source #
(ToExpr (PParams era), ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (ConwayGovCertEnv era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayGovCertEnv era → Expr Source # listToExpr ∷ [ConwayGovCertEnv era] → Expr Source #
ToExpr (ConwayGovCertPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayGovCertPredFailure era → Expr Source # listToExpr ∷ [ConwayGovCertPredFailure era] → Expr Source #
ToExpr (ConwayHardForkEvent era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayHardForkEvent era → Expr Source # listToExpr ∷ [ConwayHardForkEvent era] → Expr Source #
(ToExpr (Event (EraRule "CERTS" era)), ToExpr (Event (EraRule "UTXOW" era)), ToExpr (Event (EraRule "GOV" era)), ToExpr (Event (EraRule "MEMPOOL" era))) ⇒ ToExpr (ConwayLedgerEvent era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayLedgerEvent era → Expr Source # listToExpr ∷ [ConwayLedgerEvent era] → Expr Source #
(ToExpr (PredicateFailure (EraRule "UTXOW" era)), ToExpr (PredicateFailure (EraRule "GOV" era)), ToExpr (PredicateFailure (EraRule "CERTS" era))) ⇒ ToExpr (ConwayLedgerPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayLedgerPredFailure era → Expr Source # listToExpr ∷ [ConwayLedgerPredFailure era] → Expr Source #
(ToExpr (Event (EraRule "EPOCH" era)), ToExpr (Event (EraRule "RUPD" era))) ⇒ ToExpr (ConwayNewEpochEvent era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayNewEpochEvent era → Expr Source # listToExpr ∷ [ConwayNewEpochEvent era] → Expr Source #
(ToExpr (Value era), ToExpr (TxOut era), ToExpr (PredicateFailure (EraRule "UTXOS" era))) ⇒ ToExpr (ConwayUtxoPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayUtxoPredFailure era → Expr Source # listToExpr ∷ [ConwayUtxoPredFailure era] → Expr Source #
ToExpr (TxOut era) ⇒ ToExpr (ConwayUtxosEvent era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayUtxosEvent era → Expr Source # listToExpr ∷ [ConwayUtxosEvent era] → Expr Source #
(ToExpr (PlutusPurpose AsItem era), ToExpr (ContextError era), ToExpr (TxCert era)) ⇒ ToExpr (ConwayUtxosPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayUtxosPredFailure era → Expr Source # listToExpr ∷ [ConwayUtxosPredFailure era] → Expr Source #
(Era era, ToExpr (PredicateFailure (EraRule "UTXO" era)), ToExpr (PlutusPurpose AsIx era), ToExpr (PlutusPurpose AsItem era), ToExpr (TxCert era)) ⇒ ToExpr (ConwayUtxowPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayUtxowPredFailure era → Expr Source # listToExpr ∷ [ConwayUtxowPredFailure era] → Expr Source #
ToExpr (ConwayAccountState era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayAccountState era → Expr Source # listToExpr ∷ [ConwayAccountState era] → Expr Source #
ToExpr (ConwayAccounts era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayAccounts era → Expr Source # listToExpr ∷ [ConwayAccounts era] → Expr Source #
(ConwayEraCertState era, ToExpr (Accounts era)) ⇒ ToExpr (ConwayCertState era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayCertState era → Expr Source # listToExpr ∷ [ConwayCertState era] → Expr Source #
ToExpr (ConwayInstantStake era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayInstantStake era → Expr Source # listToExpr ∷ [ConwayInstantStake era] → Expr Source #
ToExpr (VState era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ VState era → Expr Source # listToExpr ∷ [VState era] → Expr Source #
ToExpr (ConwayTxCert era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayTxCert era → Expr Source # listToExpr ∷ [ConwayTxCert era] → Expr Source #
(Era era, ToExpr (PParamsHKD StrictMaybe era), ToExpr (TxCert era), ToExpr (PlutusPurpose AsIx era), ToExpr (PlutusPurpose AsItem era)) ⇒ ToExpr (ConwayContextError era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayContextError era → Expr Source # listToExpr ∷ [ConwayContextError era] → Expr Source #
ToExpr a ⇒ ToExpr (NonZero a)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ NonZero a → Expr Source # listToExpr ∷ [NonZero a] → Expr Source #
ToExpr (CompactForm Coin)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ CompactForm Coin → Expr Source # listToExpr ∷ [CompactForm Coin] → Expr Source #
ToExpr (CompactForm DeltaCoin)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ CompactForm DeltaCoin → Expr Source # listToExpr ∷ [CompactForm DeltaCoin] → Expr Source #
ToExpr (CompactForm MaryValue)
Instance details Defined in Test.Cardano.Ledger.Mary.TreeDiff Methods toExpr ∷ CompactForm MaryValue → Expr Source # listToExpr ∷ [CompactForm MaryValue] → Expr Source #
ToExpr (PParamsHKD Identity era) ⇒ ToExpr (PParams era)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ PParams era → Expr Source # listToExpr ∷ [PParams era] → Expr Source #
ToExpr (PParamsHKD StrictMaybe era) ⇒ ToExpr (PParamsUpdate era)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ PParamsUpdate era → Expr Source # listToExpr ∷ [PParamsUpdate era] → Expr Source #
ToExpr (Credential keyrole)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ Credential keyrole → Expr Source # listToExpr ∷ [Credential keyrole] → Expr Source #
ToExpr (NoUpdate a)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ NoUpdate a → Expr Source # listToExpr ∷ [NoUpdate a] → Expr Source #
ToExpr (KeyHash keyrole)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ KeyHash keyrole → Expr Source # listToExpr ∷ [KeyHash keyrole] → Expr Source #
ToExpr (SafeHash i)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ SafeHash i → Expr Source # listToExpr ∷ [SafeHash i] → Expr Source #
ToExpr (VRFVerKeyHash keyrole)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ VRFVerKeyHash keyrole → Expr Source # listToExpr ∷ [VRFVerKeyHash keyrole] → Expr Source #
ToExpr (VKey r)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ VKey r → Expr Source # listToExpr ∷ [VKey r] → Expr Source #
ToExpr (WitVKey kr)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ WitVKey kr → Expr Source # listToExpr ∷ [WitVKey kr] → Expr Source #
ToExpr t ⇒ ToExpr (MemoBytes t)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ MemoBytes t → Expr Source # listToExpr ∷ [MemoBytes t] → Expr Source #
ToExpr (BinaryData era)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ BinaryData era → Expr Source # listToExpr ∷ [BinaryData era] → Expr Source #
ToExpr (Data era)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ Data era → Expr Source # listToExpr ∷ [Data era] → Expr Source #
ToExpr (Datum era)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ Datum era → Expr Source # listToExpr ∷ [Datum era] → Expr Source #
ToExpr (PlutusData era)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ PlutusData era → Expr Source # listToExpr ∷ [PlutusData era] → Expr Source #
ToExpr (Plutus l)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ Plutus l → Expr Source # listToExpr ∷ [Plutus l] → Expr Source #
ToExpr (CommitteeState era)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ CommitteeState era → Expr Source # listToExpr ∷ [CommitteeState era] → Expr Source #
ToExpr (Accounts era) ⇒ ToExpr (DState era)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ DState era → Expr Source # listToExpr ∷ [DState era] → Expr Source #
ToExpr (PState era)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ PState era → Expr Source # listToExpr ∷ [PState era] → Expr Source #
ToExpr (PParams era) ⇒ ToExpr (FuturePParams era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ FuturePParams era → Expr Source # listToExpr ∷ [FuturePParams era] → Expr Source #
(Era era, ToExpr (Script era)) ⇒ ToExpr (ScriptsProvided era)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ ScriptsProvided era → Expr Source # listToExpr ∷ [ScriptsProvided era] → Expr Source #
ToExpr (TxOut era) ⇒ ToExpr (UTxO era)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ UTxO era → Expr Source # listToExpr ∷ [UTxO era] → Expr Source #
ToExpr (KeyPair r)
Instance details Defined in Test.Cardano.Ledger.Core.KeyPair Methods toExpr ∷ KeyPair r → Expr Source # listToExpr ∷ [KeyPair r] → Expr Source #
(EraPParams era, ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (DijkstraGovPredFailure era) Source #
Instance details Defined in Test.Cardano.Ledger.Dijkstra.TreeDiff Methods toExpr ∷ DijkstraGovPredFailure era → Expr Source # listToExpr ∷ [DijkstraGovPredFailure era] → Expr Source #
ToExpr (DijkstraGovCertPredFailure era) Source #
Instance details Defined in Test.Cardano.Ledger.Dijkstra.TreeDiff Methods toExpr ∷ DijkstraGovCertPredFailure era → Expr Source # listToExpr ∷ [DijkstraGovCertPredFailure era] → Expr Source #
(ToExpr (PredicateFailure (EraRule "UTXOW" era)), ToExpr (PredicateFailure (EraRule "GOV" era)), ToExpr (PredicateFailure (EraRule "CERTS" era))) ⇒ ToExpr (DijkstraLedgerPredFailure era) Source #
Instance details Defined in Test.Cardano.Ledger.Dijkstra.TreeDiff Methods toExpr ∷ DijkstraLedgerPredFailure era → Expr Source # listToExpr ∷ [DijkstraLedgerPredFailure era] → Expr Source #
(ToExpr (Value era), ToExpr (TxOut era), ToExpr (PredicateFailure (EraRule "UTXOS" era))) ⇒ ToExpr (DijkstraUtxoPredFailure era) Source #
Instance details Defined in Test.Cardano.Ledger.Dijkstra.TreeDiff Methods toExpr ∷ DijkstraUtxoPredFailure era → Expr Source # listToExpr ∷ [DijkstraUtxoPredFailure era] → Expr Source #
(Era era, ToExpr (PredicateFailure (EraRule "UTXO" era)), ToExpr (PlutusPurpose AsIx era), ToExpr (PlutusPurpose AsItem era), ToExpr (TxCert era)) ⇒ ToExpr (DijkstraUtxowPredFailure era) Source #
Instance details Defined in Test.Cardano.Ledger.Dijkstra.TreeDiff Methods toExpr ∷ DijkstraUtxowPredFailure era → Expr Source # listToExpr ∷ [DijkstraUtxowPredFailure era] → Expr Source #
ToExpr (DijkstraNativeScript era) Source #
Instance details Defined in Test.Cardano.Ledger.Dijkstra.TreeDiff Methods toExpr ∷ DijkstraNativeScript era → Expr Source # listToExpr ∷ [DijkstraNativeScript era] → Expr Source #
ToExpr (DijkstraNativeScriptRaw era) Source #
Instance details Defined in Test.Cardano.Ledger.Dijkstra.TreeDiff Methods toExpr ∷ DijkstraNativeScriptRaw era → Expr Source # listToExpr ∷ [DijkstraNativeScriptRaw era] → Expr Source #
ToExpr (DijkstraTxCert era) Source #
Instance details Defined in Test.Cardano.Ledger.Dijkstra.TreeDiff Methods toExpr ∷ DijkstraTxCert era → Expr Source # listToExpr ∷ [DijkstraTxCert era] → Expr Source #
(Era era, ToExpr (PParamsHKD StrictMaybe era), ToExpr (PlutusPurpose AsIx era), ToExpr (PlutusPurpose AsItem era), ToExpr (TxCert era), ToExpr (TxOut era)) ⇒ ToExpr (DijkstraContextError era) Source #
Instance details Defined in Test.Cardano.Ledger.Dijkstra.TreeDiff Methods toExpr ∷ DijkstraContextError era → Expr Source # listToExpr ∷ [DijkstraContextError era] → Expr Source #
(ToExpr (PParamsUpdate era), ToExpr (PParams era)) ⇒ ToExpr (ShelleyGovState era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyGovState era → Expr Source # listToExpr ∷ [ShelleyGovState era] → Expr Source #
(ToExpr (TxOut era), ToExpr (PParams era), ToExpr (GovState era), ToExpr (CertState era), ToExpr (InstantStake era)) ⇒ ToExpr (EpochState era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ EpochState era → Expr Source # listToExpr ∷ [EpochState era] → Expr Source #
(ToExpr (TxOut era), ToExpr (GovState era), ToExpr (CertState era), ToExpr (InstantStake era)) ⇒ ToExpr (LedgerState era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ LedgerState era → Expr Source # listToExpr ∷ [LedgerState era] → Expr Source #
(ToExpr (TxOut era), ToExpr (PParams era), ToExpr (StashedAVVMAddresses era), ToExpr (GovState era), ToExpr (CertState era), ToExpr (InstantStake era)) ⇒ ToExpr (NewEpochState era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ NewEpochState era → Expr Source # listToExpr ∷ [NewEpochState era] → Expr Source #
(ToExpr (TxOut era), ToExpr (GovState era), ToExpr (InstantStake era)) ⇒ ToExpr (UTxOState era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ UTxOState era → Expr Source # listToExpr ∷ [UTxOState era] → Expr Source #
ToExpr (PParamsUpdate era) ⇒ ToExpr (ProposedPPUpdates era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ProposedPPUpdates era → Expr Source # listToExpr ∷ [ProposedPPUpdates era] → Expr Source #
ToExpr (PParamsUpdate era) ⇒ ToExpr (Update era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ Update era → Expr Source # listToExpr ∷ [Update era] → Expr Source #
ToExpr (Event (EraRule "LEDGERS" era)) ⇒ ToExpr (ShelleyBbodyEvent era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyBbodyEvent era → Expr Source # listToExpr ∷ [ShelleyBbodyEvent era] → Expr Source #
ToExpr (PredicateFailure (EraRule "LEDGERS" era)) ⇒ ToExpr (ShelleyBbodyPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyBbodyPredFailure era → Expr Source # listToExpr ∷ [ShelleyBbodyPredFailure era] → Expr Source #
ToExpr (State (EraRule "LEDGERS" era)) ⇒ ToExpr (ShelleyBbodyState era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyBbodyState era → Expr Source # listToExpr ∷ [ShelleyBbodyState era] → Expr Source #
ToExpr (ShelleyDelegEvent era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyDelegEvent era → Expr Source # listToExpr ∷ [ShelleyDelegEvent era] → Expr Source #
ToExpr (ShelleyDelegPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyDelegPredFailure era → Expr Source # listToExpr ∷ [ShelleyDelegPredFailure era] → Expr Source #
ToExpr (Event (EraRule "DELPL" era)) ⇒ ToExpr (ShelleyDelegsEvent era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyDelegsEvent era → Expr Source # listToExpr ∷ [ShelleyDelegsEvent era] → Expr Source #
ToExpr (PredicateFailure (EraRule "DELPL" era)) ⇒ ToExpr (ShelleyDelegsPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyDelegsPredFailure era → Expr Source # listToExpr ∷ [ShelleyDelegsPredFailure era] → Expr Source #
(ToExpr (Event (EraRule "DELEG" era)), ToExpr (Event (EraRule "POOL" era))) ⇒ ToExpr (ShelleyDelplEvent era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyDelplEvent era → Expr Source # listToExpr ∷ [ShelleyDelplEvent era] → Expr Source #
(ToExpr (PredicateFailure (EraRule "DELEG" era)), ToExpr (PredicateFailure (EraRule "POOL" era))) ⇒ ToExpr (ShelleyDelplPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyDelplPredFailure era → Expr Source # listToExpr ∷ [ShelleyDelplPredFailure era] → Expr Source #
(ToExpr (Event (EraRule "POOLREAP" era)), ToExpr (Event (EraRule "SNAP" era)), ToExpr (Event (EraRule "UPEC" era))) ⇒ ToExpr (ShelleyEpochEvent era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyEpochEvent era → Expr Source # listToExpr ∷ [ShelleyEpochEvent era] → Expr Source #
ToExpr (PParamsHKD Identity era) ⇒ ToExpr (LedgerEnv era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ LedgerEnv era → Expr Source # listToExpr ∷ [LedgerEnv era] → Expr Source #
(ToExpr (Event (EraRule "UTXOW" era)), ToExpr (Event (EraRule "DELEGS" era))) ⇒ ToExpr (ShelleyLedgerEvent era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyLedgerEvent era → Expr Source # listToExpr ∷ [ShelleyLedgerEvent era] → Expr Source #
(ToExpr (PredicateFailure (EraRule "UTXOW" era)), ToExpr (PredicateFailure (EraRule "DELEGS" era))) ⇒ ToExpr (ShelleyLedgerPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyLedgerPredFailure era → Expr Source # listToExpr ∷ [ShelleyLedgerPredFailure era] → Expr Source #
ToExpr (PParamsHKD Identity era) ⇒ ToExpr (ShelleyLedgersEnv era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyLedgersEnv era → Expr Source # listToExpr ∷ [ShelleyLedgersEnv era] → Expr Source #
ToExpr (Event (EraRule "LEDGER" era)) ⇒ ToExpr (ShelleyLedgersEvent era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyLedgersEvent era → Expr Source # listToExpr ∷ [ShelleyLedgersEvent era] → Expr Source #
ToExpr (PredicateFailure (EraRule "LEDGER" era)) ⇒ ToExpr (ShelleyLedgersPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyLedgersPredFailure era → Expr Source # listToExpr ∷ [ShelleyLedgersPredFailure era] → Expr Source #
ToExpr (ShelleyMirEvent era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyMirEvent era → Expr Source # listToExpr ∷ [ShelleyMirEvent era] → Expr Source #
(ToExpr (Event (EraRule "EPOCH" era)), ToExpr (Event (EraRule "MIR" era)), ToExpr (Event (EraRule "RUPD" era))) ⇒ ToExpr (ShelleyNewEpochEvent era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyNewEpochEvent era → Expr Source # listToExpr ∷ [ShelleyNewEpochEvent era] → Expr Source #
ToExpr (PParamsHKD Identity era) ⇒ ToExpr (PoolEnv era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ PoolEnv era → Expr Source # listToExpr ∷ [PoolEnv era] → Expr Source #
ToExpr (PoolEvent era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ PoolEvent era → Expr Source # listToExpr ∷ [PoolEvent era] → Expr Source #
ToExpr (ShelleyPoolPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyPoolPredFailure era → Expr Source # listToExpr ∷ [ShelleyPoolPredFailure era] → Expr Source #
ToExpr (ShelleyPoolreapEvent era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyPoolreapEvent era → Expr Source # listToExpr ∷ [ShelleyPoolreapEvent era] → Expr Source #
ToExpr (PpupEvent era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ PpupEvent era → Expr Source # listToExpr ∷ [PpupEvent era] → Expr Source #
ToExpr (ShelleyPpupPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyPpupPredFailure era → Expr Source # listToExpr ∷ [ShelleyPpupPredFailure era] → Expr Source #
ToExpr (SnapEvent era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ SnapEvent era → Expr Source # listToExpr ∷ [SnapEvent era] → Expr Source #
(ToExpr (Event (EraRule "NEWEPOCH" era)), ToExpr (Event (EraRule "RUPD" era))) ⇒ ToExpr (ShelleyTickEvent era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyTickEvent era → Expr Source # listToExpr ∷ [ShelleyTickEvent era] → Expr Source #
(ToExpr (EraRuleFailure "PPUP" era), ToExpr (Value era), ToExpr (TxOut era)) ⇒ ToExpr (ShelleyUtxoPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyUtxoPredFailure era → Expr Source # listToExpr ∷ [ShelleyUtxoPredFailure era] → Expr Source #
(ToExpr (PParamsHKD Identity era), ToExpr (CertState era)) ⇒ ToExpr (UtxoEnv era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ UtxoEnv era → Expr Source # listToExpr ∷ [UtxoEnv era] → Expr Source #
(ToExpr (Event (EraRule "PPUP" era)), ToExpr (TxOut era)) ⇒ ToExpr (UtxoEvent era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ UtxoEvent era → Expr Source # listToExpr ∷ [UtxoEvent era] → Expr Source #
ToExpr (Event (EraRule "UTXO" era)) ⇒ ToExpr (ShelleyUtxowEvent era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyUtxowEvent era → Expr Source # listToExpr ∷ [ShelleyUtxowEvent era] → Expr Source #
(Era era, ToExpr (PredicateFailure (EraRule "UTXO" era))) ⇒ ToExpr (ShelleyUtxowPredFailure era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyUtxowPredFailure era → Expr Source # listToExpr ∷ [ShelleyUtxowPredFailure era] → Expr Source #
ToExpr (MultiSig era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ MultiSig era → Expr Source # listToExpr ∷ [MultiSig era] → Expr Source #
ToExpr (MultiSigRaw era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ MultiSigRaw era → Expr Source # listToExpr ∷ [MultiSigRaw era] → Expr Source #
ToExpr (ShelleyAccountState era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyAccountState era → Expr Source # listToExpr ∷ [ShelleyAccountState era] → Expr Source #
ToExpr (ShelleyAccounts era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyAccounts era → Expr Source # listToExpr ∷ [ShelleyAccounts era] → Expr Source #
(EraCertState era, ToExpr (Accounts era)) ⇒ ToExpr (ShelleyCertState era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyCertState era → Expr Source # listToExpr ∷ [ShelleyCertState era] → Expr Source #
ToExpr (ShelleyInstantStake era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyInstantStake era → Expr Source # listToExpr ∷ [ShelleyInstantStake era] → Expr Source #
ToExpr (ShelleyTxAuxData era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyTxAuxData era → Expr Source # listToExpr ∷ [ShelleyTxAuxData era] → Expr Source #
ToExpr (ShelleyTxAuxDataRaw era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyTxAuxDataRaw era → Expr Source # listToExpr ∷ [ShelleyTxAuxDataRaw era] → Expr Source #
ToExpr (ShelleyTxCert era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyTxCert era → Expr Source # listToExpr ∷ [ShelleyTxCert era] → Expr Source #
(EraTxOut era, ToExpr (Value era)) ⇒ ToExpr (ShelleyTxOut era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyTxOut era → Expr Source # listToExpr ∷ [ShelleyTxOut era] → Expr Source #
(Era era, ToExpr (Script era)) ⇒ ToExpr (ShelleyTxWits era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyTxWits era → Expr Source # listToExpr ∷ [ShelleyTxWits era] → Expr Source #
(Era era, ToExpr (Script era)) ⇒ ToExpr (ShelleyTxWitsRaw era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyTxWitsRaw era → Expr Source # listToExpr ∷ [ShelleyTxWitsRaw era] → Expr Source #
ToExpr (ShelleyScriptsNeeded era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyScriptsNeeded era → Expr Source # listToExpr ∷ [ShelleyScriptsNeeded era] → Expr Source #
ToExpr (SomeSTSEvent era)
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods toExpr ∷ SomeSTSEvent era → Expr Source # listToExpr ∷ [SomeSTSEvent era] → Expr Source #
ToExpr x ⇒ ToExpr (WithOrigin x)
Instance details Defined in Test.Cardano.Slotting.TreeDiff Methods toExpr ∷ WithOrigin x → Expr Source # listToExpr ∷ [WithOrigin x] → Expr Source #
ToExpr a ⇒ ToExpr (StrictMaybe a)
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ StrictMaybe a → Expr Source # listToExpr ∷ [StrictMaybe a] → Expr Source #
ToExpr a ⇒ ToExpr (StrictSeq a)
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ StrictSeq a → Expr Source # listToExpr ∷ [StrictSeq a] → Expr Source #
ToExpr v ⇒ ToExpr (IntMap v)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ IntMap v → Expr Source # listToExpr ∷ [IntMap v] → Expr Source #
ToExpr v ⇒ ToExpr (Seq v)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Seq v → Expr Source # listToExpr ∷ [Seq v] → Expr Source #
ToExpr k ⇒ ToExpr (Set k)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Set k → Expr Source # listToExpr ∷ [Set k] → Expr Source #
ToExpr a ⇒ ToExpr (Tree a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Tree a → Expr Source # listToExpr ∷ [Tree a] → Expr Source #
ToExpr a ⇒ ToExpr (NonEmpty a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ NonEmpty a → Expr Source # listToExpr ∷ [NonEmpty a] → Expr Source #
ToExpr a ⇒ ToExpr (Identity a)	`>>>` `prettyExpr $ toExpr $ Identity 'a'`Identity 'a'
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Identity a → Expr Source # listToExpr ∷ [Identity a] → Expr Source #
ToExpr a ⇒ ToExpr (First a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ First a → Expr Source # listToExpr ∷ [First a] → Expr Source #
ToExpr a ⇒ ToExpr (Last a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Last a → Expr Source # listToExpr ∷ [Last a] → Expr Source #
ToExpr a ⇒ ToExpr (Dual a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Dual a → Expr Source # listToExpr ∷ [Dual a] → Expr Source #
ToExpr a ⇒ ToExpr (Product a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Product a → Expr Source # listToExpr ∷ [Product a] → Expr Source #
ToExpr a ⇒ ToExpr (Sum a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Sum a → Expr Source # listToExpr ∷ [Sum a] → Expr Source #
ToExpr a ⇒ ToExpr (ZipList a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ ZipList a → Expr Source # listToExpr ∷ [ZipList a] → Expr Source #
(ToExpr a, Integral a) ⇒ ToExpr (Ratio a)	`>>>` `prettyExpr $ toExpr (3 % 12 :: Rational)`_%_ 1 4
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Ratio a → Expr Source # listToExpr ∷ [Ratio a] → Expr Source #
ToExpr a ⇒ ToExpr (Hashed a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Hashed a → Expr Source # listToExpr ∷ [Hashed a] → Expr Source #
ToExpr a ⇒ ToExpr (Maybe a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Maybe a → Expr Source # listToExpr ∷ [Maybe a] → Expr Source #
ToExpr k ⇒ ToExpr (HashSet k)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ HashSet k → Expr Source # listToExpr ∷ [HashSet k] → Expr Source #
ToExpr a ⇒ ToExpr (Vector a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Vector a → Expr Source # listToExpr ∷ [Vector a] → Expr Source #
(ToExpr a, Prim a) ⇒ ToExpr (Vector a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Vector a → Expr Source # listToExpr ∷ [Vector a] → Expr Source #
(ToExpr a, Storable a) ⇒ ToExpr (Vector a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Vector a → Expr Source # listToExpr ∷ [Vector a] → Expr Source #
(ToExpr a, Unbox a) ⇒ ToExpr (Vector a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Vector a → Expr Source # listToExpr ∷ [Vector a] → Expr Source #
ToExpr a ⇒ ToExpr (Maybe a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Maybe a → Expr Source # listToExpr ∷ [Maybe a] → Expr Source #
ToExpr a ⇒ ToExpr [a]
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ [a] → Expr Source # listToExpr ∷ [[a]] → Expr Source #
HasResolution a ⇒ ToExpr (Fixed a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Fixed a → Expr Source # listToExpr ∷ [Fixed a] → Expr Source #
DSIGNAlgorithm c ⇒ ToExpr (SignedDSIGN c index)
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ SignedDSIGN c index → Expr Source # listToExpr ∷ [SignedDSIGN c index] → Expr Source #
ToExpr (Hash c index)
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ Hash c index → Expr Source # listToExpr ∷ [Hash c index] → Expr Source #
(HasOKey k v, ToExpr v) ⇒ ToExpr (OMap k v)
Instance details Defined in Test.Cardano.Data.TreeDiff Methods toExpr ∷ OMap k v → Expr Source # listToExpr ∷ [OMap k v] → Expr Source #
ToExpr (Timelock era)
Instance details Defined in Test.Cardano.Ledger.Allegra.TreeDiff Methods toExpr ∷ Timelock era → Expr Source # listToExpr ∷ [Timelock era] → Expr Source #
ToExpr (TimelockRaw era)
Instance details Defined in Test.Cardano.Ledger.Allegra.TreeDiff Methods toExpr ∷ TimelockRaw era → Expr Source # listToExpr ∷ [TimelockRaw era] → Expr Source #
ToExpr (AlonzoPParams StrictMaybe era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoPParams StrictMaybe era → Expr Source # listToExpr ∷ [AlonzoPParams StrictMaybe era] → Expr Source #
ToExpr (AlonzoPParams Identity era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoPParams Identity era → Expr Source # listToExpr ∷ [AlonzoPParams Identity era] → Expr Source #
ToExpr (AlonzoContextError era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoContextError era → Expr Source # listToExpr ∷ [AlonzoContextError era] → Expr Source #
ToExpr (TxCert era) ⇒ ToExpr (AlonzoPlutusPurpose AsItem era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoPlutusPurpose AsItem era → Expr Source # listToExpr ∷ [AlonzoPlutusPurpose AsItem era] → Expr Source #
ToExpr (AlonzoPlutusPurpose AsIx era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoPlutusPurpose AsIx era → Expr Source # listToExpr ∷ [AlonzoPlutusPurpose AsIx era] → Expr Source #
ToExpr (TxCert era) ⇒ ToExpr (AlonzoPlutusPurpose AsIxItem era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoPlutusPurpose AsIxItem era → Expr Source # listToExpr ∷ [AlonzoPlutusPurpose AsIxItem era] → Expr Source #
ToExpr it ⇒ ToExpr (AsItem ix it)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AsItem ix it → Expr Source # listToExpr ∷ [AsItem ix it] → Expr Source #
ToExpr ix ⇒ ToExpr (AsIx ix it)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AsIx ix it → Expr Source # listToExpr ∷ [AsIx ix it] → Expr Source #
(ToExpr ix, ToExpr it) ⇒ ToExpr (AsIxItem ix it)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AsIxItem ix it → Expr Source # listToExpr ∷ [AsIxItem ix it] → Expr Source #
(ToExpr (TxBody 'TopTx era), ToExpr (TxWits era), ToExpr (TxAuxData era)) ⇒ ToExpr (AlonzoTx 'TopTx era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoTx 'TopTx era → Expr Source # listToExpr ∷ [AlonzoTx 'TopTx era] → Expr Source #
ToExpr (AlonzoTxBodyRaw 'TopTx AlonzoEra)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ AlonzoTxBodyRaw 'TopTx AlonzoEra → Expr Source # listToExpr ∷ [AlonzoTxBodyRaw 'TopTx AlonzoEra] → Expr Source #
ToExpr (BabbagePParams StrictMaybe era)
Instance details Defined in Test.Cardano.Ledger.Babbage.TreeDiff Methods toExpr ∷ BabbagePParams StrictMaybe era → Expr Source # listToExpr ∷ [BabbagePParams StrictMaybe era] → Expr Source #
ToExpr (BabbagePParams Identity era)
Instance details Defined in Test.Cardano.Ledger.Babbage.TreeDiff Methods toExpr ∷ BabbagePParams Identity era → Expr Source # listToExpr ∷ [BabbagePParams Identity era] → Expr Source #
ToExpr (BabbageTxBodyRaw 'TopTx BabbageEra)
Instance details Defined in Test.Cardano.Ledger.Babbage.TreeDiff Methods toExpr ∷ BabbageTxBodyRaw 'TopTx BabbageEra → Expr Source # listToExpr ∷ [BabbageTxBodyRaw 'TopTx BabbageEra] → Expr Source #
ToExpr (ConwayPParams StrictMaybe era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayPParams StrictMaybe era → Expr Source # listToExpr ∷ [ConwayPParams StrictMaybe era] → Expr Source #
ToExpr (ConwayPParams Identity era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayPParams Identity era → Expr Source # listToExpr ∷ [ConwayPParams Identity era] → Expr Source #
(Era era, ToExpr (TxCert era), ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (ConwayPlutusPurpose AsItem era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayPlutusPurpose AsItem era → Expr Source # listToExpr ∷ [ConwayPlutusPurpose AsItem era] → Expr Source #
ToExpr (ConwayPlutusPurpose AsIx era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayPlutusPurpose AsIx era → Expr Source # listToExpr ∷ [ConwayPlutusPurpose AsIx era] → Expr Source #
(ToExpr (TxCert era), ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (ConwayPlutusPurpose AsIxItem era)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayPlutusPurpose AsIxItem era → Expr Source # listToExpr ∷ [ConwayPlutusPurpose AsIxItem era] → Expr Source #
ToExpr (ConwayTxBodyRaw 'TopTx ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ ConwayTxBodyRaw 'TopTx ConwayEra → Expr Source # listToExpr ∷ [ConwayTxBodyRaw 'TopTx ConwayEra] → Expr Source #
ToExpr a ⇒ ToExpr (Mismatch r a)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ Mismatch r a → Expr Source # listToExpr ∷ [Mismatch r a] → Expr Source #
ToExpr (Tx 'TopTx AllegraEra)
Instance details Defined in Test.Cardano.Ledger.Allegra.TreeDiff Methods toExpr ∷ Tx 'TopTx AllegraEra → Expr Source # listToExpr ∷ [Tx 'TopTx AllegraEra] → Expr Source #
ToExpr (Tx 'TopTx AlonzoEra)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ Tx 'TopTx AlonzoEra → Expr Source # listToExpr ∷ [Tx 'TopTx AlonzoEra] → Expr Source #
ToExpr (Tx 'TopTx BabbageEra)
Instance details Defined in Test.Cardano.Ledger.Babbage.TreeDiff Methods toExpr ∷ Tx 'TopTx BabbageEra → Expr Source # listToExpr ∷ [Tx 'TopTx BabbageEra] → Expr Source #
ToExpr (Tx 'TopTx ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ Tx 'TopTx ConwayEra → Expr Source # listToExpr ∷ [Tx 'TopTx ConwayEra] → Expr Source #
ToExpr (Tx 'TopTx MaryEra)
Instance details Defined in Test.Cardano.Ledger.Mary.TreeDiff Methods toExpr ∷ Tx 'TopTx MaryEra → Expr Source # listToExpr ∷ [Tx 'TopTx MaryEra] → Expr Source #
ToExpr (Tx 'TopTx ShelleyEra)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ Tx 'TopTx ShelleyEra → Expr Source # listToExpr ∷ [Tx 'TopTx ShelleyEra] → Expr Source #
ToExpr (Tx l DijkstraEra) Source #
Instance details Defined in Test.Cardano.Ledger.Dijkstra.TreeDiff Methods toExpr ∷ Tx l DijkstraEra → Expr Source # listToExpr ∷ [Tx l DijkstraEra] → Expr Source #
ToExpr (TxBody 'TopTx AllegraEra)
Instance details Defined in Test.Cardano.Ledger.Allegra.TreeDiff Methods toExpr ∷ TxBody 'TopTx AllegraEra → Expr Source # listToExpr ∷ [TxBody 'TopTx AllegraEra] → Expr Source #
ToExpr (TxBody 'TopTx AlonzoEra)
Instance details Defined in Test.Cardano.Ledger.Alonzo.TreeDiff Methods toExpr ∷ TxBody 'TopTx AlonzoEra → Expr Source # listToExpr ∷ [TxBody 'TopTx AlonzoEra] → Expr Source #
ToExpr (TxBody 'TopTx BabbageEra)
Instance details Defined in Test.Cardano.Ledger.Babbage.TreeDiff Methods toExpr ∷ TxBody 'TopTx BabbageEra → Expr Source # listToExpr ∷ [TxBody 'TopTx BabbageEra] → Expr Source #
ToExpr (TxBody 'TopTx ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ TxBody 'TopTx ConwayEra → Expr Source # listToExpr ∷ [TxBody 'TopTx ConwayEra] → Expr Source #
ToExpr (TxBody 'TopTx MaryEra)
Instance details Defined in Test.Cardano.Ledger.Mary.TreeDiff Methods toExpr ∷ TxBody 'TopTx MaryEra → Expr Source # listToExpr ∷ [TxBody 'TopTx MaryEra] → Expr Source #
ToExpr (TxBody 'TopTx ShelleyEra)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ TxBody 'TopTx ShelleyEra → Expr Source # listToExpr ∷ [TxBody 'TopTx ShelleyEra] → Expr Source #
ToExpr (TxBody l DijkstraEra) Source #
Instance details Defined in Test.Cardano.Ledger.Dijkstra.TreeDiff Methods toExpr ∷ TxBody l DijkstraEra → Expr Source # listToExpr ∷ [TxBody l DijkstraEra] → Expr Source #
ToExpr (VoidEraRule rule era)
Instance details Defined in Test.Cardano.Ledger.TreeDiff Methods toExpr ∷ VoidEraRule rule era → Expr Source # listToExpr ∷ [VoidEraRule rule era] → Expr Source #
ToExpr (DijkstraPParams StrictMaybe DijkstraEra) Source #
Instance details Defined in Test.Cardano.Ledger.Dijkstra.TreeDiff Methods toExpr ∷ DijkstraPParams StrictMaybe DijkstraEra → Expr Source # listToExpr ∷ [DijkstraPParams StrictMaybe DijkstraEra] → Expr Source #
ToExpr (DijkstraPParams Identity DijkstraEra) Source #
Instance details Defined in Test.Cardano.Ledger.Dijkstra.TreeDiff Methods toExpr ∷ DijkstraPParams Identity DijkstraEra → Expr Source # listToExpr ∷ [DijkstraPParams Identity DijkstraEra] → Expr Source #
(∀ a b. (ToExpr a, ToExpr b) ⇒ ToExpr (f a b)) ⇒ ToExpr (DijkstraPlutusPurpose f DijkstraEra) Source #
Instance details Defined in Test.Cardano.Ledger.Dijkstra.TreeDiff Methods toExpr ∷ DijkstraPlutusPurpose f DijkstraEra → Expr Source # listToExpr ∷ [DijkstraPlutusPurpose f DijkstraEra] → Expr Source #
ToExpr (DijkstraTx l DijkstraEra) Source #
Instance details Defined in Test.Cardano.Ledger.Dijkstra.TreeDiff Methods toExpr ∷ DijkstraTx l DijkstraEra → Expr Source # listToExpr ∷ [DijkstraTx l DijkstraEra] → Expr Source #
ToExpr (DijkstraTxBodyRaw l DijkstraEra) Source #
Instance details Defined in Test.Cardano.Ledger.Dijkstra.TreeDiff Methods toExpr ∷ DijkstraTxBodyRaw l DijkstraEra → Expr Source # listToExpr ∷ [DijkstraTxBodyRaw l DijkstraEra] → Expr Source #
ToExpr (ShelleyPParams StrictMaybe era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyPParams StrictMaybe era → Expr Source # listToExpr ∷ [ShelleyPParams StrictMaybe era] → Expr Source #
ToExpr (ShelleyPParams Identity era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyPParams Identity era → Expr Source # listToExpr ∷ [ShelleyPParams Identity era] → Expr Source #
(ToExpr (TxAuxData era), ToExpr (TxBody 'TopTx era), ToExpr (TxWits era)) ⇒ ToExpr (ShelleyTx 'TopTx era)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyTx 'TopTx era → Expr Source # listToExpr ∷ [ShelleyTx 'TopTx era] → Expr Source #
ToExpr (ShelleyTxBodyRaw 'TopTx ShelleyEra)
Instance details Defined in Test.Cardano.Ledger.Shelley.TreeDiff Methods toExpr ∷ ShelleyTxBodyRaw 'TopTx ShelleyEra → Expr Source # listToExpr ∷ [ShelleyTxBodyRaw 'TopTx ShelleyEra] → Expr Source #
(ToExpr k, ToExpr v) ⇒ ToExpr (Map k v)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Map k v → Expr Source # listToExpr ∷ [Map k v] → Expr Source #
(ToExpr a, ToExpr b) ⇒ ToExpr (Either a b)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Either a b → Expr Source # listToExpr ∷ [Either a b] → Expr Source #
ToExpr (Proxy a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Proxy a → Expr Source # listToExpr ∷ [Proxy a] → Expr Source #
(ToExpr a, ToExpr b) ⇒ ToExpr (Either a b)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Either a b → Expr Source # listToExpr ∷ [Either a b] → Expr Source #
(ToExpr a, ToExpr b) ⇒ ToExpr (These a b)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ These a b → Expr Source # listToExpr ∷ [These a b] → Expr Source #
(ToExpr a, ToExpr b) ⇒ ToExpr (Pair a b)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Pair a b → Expr Source # listToExpr ∷ [Pair a b] → Expr Source #
(ToExpr a, ToExpr b) ⇒ ToExpr (These a b)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ These a b → Expr Source # listToExpr ∷ [These a b] → Expr Source #
(ToExpr k, ToExpr v) ⇒ ToExpr (HashMap k v)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ HashMap k v → Expr Source # listToExpr ∷ [HashMap k v] → Expr Source #
(ToExpr a, ToExpr b) ⇒ ToExpr (a, b)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ (a, b) → Expr Source # listToExpr ∷ [(a, b)] → Expr Source #
(ToExpr ma, ToExpr (TxOut era), ToExpr (TxCert era), ToExpr (Update era)) ⇒ ToExpr (AllegraTxBodyRaw ma 'TopTx era)
Instance details Defined in Test.Cardano.Ledger.Allegra.TreeDiff Methods toExpr ∷ AllegraTxBodyRaw ma 'TopTx era → Expr Source # listToExpr ∷ [AllegraTxBodyRaw ma 'TopTx era] → Expr Source #
(EraStake era, EraPParams era, ConwayEraAccounts era, ToExpr (DRepPulsingState era), ToExpr (RatifyState era), ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (DRepPulser era Identity (RatifyState era))
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ DRepPulser era Identity (RatifyState era) → Expr Source # listToExpr ∷ [DRepPulser era Identity (RatifyState era)] → Expr Source #
ToExpr (HKD f a) ⇒ ToExpr (THKD t f a)
Instance details Defined in Test.Cardano.Ledger.Conway.TreeDiff Methods toExpr ∷ THKD t f a → Expr Source # listToExpr ∷ [THKD t f a] → Expr Source #
ToExpr a ⇒ ToExpr (Const a b)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Const a b → Expr Source # listToExpr ∷ [Const a b] → Expr Source #
ToExpr a ⇒ ToExpr (Tagged t a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Tagged t a → Expr Source # listToExpr ∷ [Tagged t a] → Expr Source #
(ToExpr a, ToExpr b, ToExpr c) ⇒ ToExpr (a, b, c)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ (a, b, c) → Expr Source # listToExpr ∷ [(a, b, c)] → Expr Source #
(Vector kv k, Vector vv v, ToExpr k, ToExpr v) ⇒ ToExpr (VMap kv vv k v)
Instance details Defined in Test.Data.VMap.TreeDiff Methods toExpr ∷ VMap kv vv k v → Expr Source # listToExpr ∷ [VMap kv vv k v] → Expr Source #
(ToExpr a, ToExpr b, ToExpr c, ToExpr d) ⇒ ToExpr (a, b, c, d)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ (a, b, c, d) → Expr Source # listToExpr ∷ [(a, b, c, d)] → Expr Source #
(ToExpr a, ToExpr b, ToExpr c, ToExpr d, ToExpr e) ⇒ ToExpr (a, b, c, d, e)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ (a, b, c, d, e) → Expr Source # listToExpr ∷ [(a, b, c, d, e)] → Expr Source #

Orphan instances

ToExpr DijkstraDelegCert Source #
Instance details Methods toExpr ∷ DijkstraDelegCert → Expr Source # listToExpr ∷ [DijkstraDelegCert] → Expr Source #
ToExpr (PlutusScript DijkstraEra) Source #
Instance details Methods toExpr ∷ PlutusScript DijkstraEra → Expr Source # listToExpr ∷ [PlutusScript DijkstraEra] → Expr Source #
(EraPParams era, ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (DijkstraGovPredFailure era) Source #
Instance details Methods toExpr ∷ DijkstraGovPredFailure era → Expr Source # listToExpr ∷ [DijkstraGovPredFailure era] → Expr Source #
ToExpr (DijkstraGovCertPredFailure era) Source #
Instance details Methods toExpr ∷ DijkstraGovCertPredFailure era → Expr Source # listToExpr ∷ [DijkstraGovCertPredFailure era] → Expr Source #
(ToExpr (PredicateFailure (EraRule "UTXOW" era)), ToExpr (PredicateFailure (EraRule "GOV" era)), ToExpr (PredicateFailure (EraRule "CERTS" era))) ⇒ ToExpr (DijkstraLedgerPredFailure era) Source #
Instance details Methods toExpr ∷ DijkstraLedgerPredFailure era → Expr Source # listToExpr ∷ [DijkstraLedgerPredFailure era] → Expr Source #
(ToExpr (Value era), ToExpr (TxOut era), ToExpr (PredicateFailure (EraRule "UTXOS" era))) ⇒ ToExpr (DijkstraUtxoPredFailure era) Source #
Instance details Methods toExpr ∷ DijkstraUtxoPredFailure era → Expr Source # listToExpr ∷ [DijkstraUtxoPredFailure era] → Expr Source #
(Era era, ToExpr (PredicateFailure (EraRule "UTXO" era)), ToExpr (PlutusPurpose AsIx era), ToExpr (PlutusPurpose AsItem era), ToExpr (TxCert era)) ⇒ ToExpr (DijkstraUtxowPredFailure era) Source #
Instance details Methods toExpr ∷ DijkstraUtxowPredFailure era → Expr Source # listToExpr ∷ [DijkstraUtxowPredFailure era] → Expr Source #
ToExpr (DijkstraNativeScript era) Source #
Instance details Methods toExpr ∷ DijkstraNativeScript era → Expr Source # listToExpr ∷ [DijkstraNativeScript era] → Expr Source #
ToExpr (DijkstraNativeScriptRaw era) Source #
Instance details Methods toExpr ∷ DijkstraNativeScriptRaw era → Expr Source # listToExpr ∷ [DijkstraNativeScriptRaw era] → Expr Source #
ToExpr (DijkstraTxCert era) Source #
Instance details Methods toExpr ∷ DijkstraTxCert era → Expr Source # listToExpr ∷ [DijkstraTxCert era] → Expr Source #
(Era era, ToExpr (PParamsHKD StrictMaybe era), ToExpr (PlutusPurpose AsIx era), ToExpr (PlutusPurpose AsItem era), ToExpr (TxCert era), ToExpr (TxOut era)) ⇒ ToExpr (DijkstraContextError era) Source #
Instance details Methods toExpr ∷ DijkstraContextError era → Expr Source # listToExpr ∷ [DijkstraContextError era] → Expr Source #
ToExpr (Tx l DijkstraEra) Source #
Instance details Methods toExpr ∷ Tx l DijkstraEra → Expr Source # listToExpr ∷ [Tx l DijkstraEra] → Expr Source #
ToExpr (TxBody l DijkstraEra) Source #
Instance details Methods toExpr ∷ TxBody l DijkstraEra → Expr Source # listToExpr ∷ [TxBody l DijkstraEra] → Expr Source #
ToExpr (DijkstraPParams StrictMaybe DijkstraEra) Source #
Instance details Methods toExpr ∷ DijkstraPParams StrictMaybe DijkstraEra → Expr Source # listToExpr ∷ [DijkstraPParams StrictMaybe DijkstraEra] → Expr Source #
ToExpr (DijkstraPParams Identity DijkstraEra) Source #
Instance details Methods toExpr ∷ DijkstraPParams Identity DijkstraEra → Expr Source # listToExpr ∷ [DijkstraPParams Identity DijkstraEra] → Expr Source #
(∀ a b. (ToExpr a, ToExpr b) ⇒ ToExpr (f a b)) ⇒ ToExpr (DijkstraPlutusPurpose f DijkstraEra) Source #
Instance details Methods toExpr ∷ DijkstraPlutusPurpose f DijkstraEra → Expr Source # listToExpr ∷ [DijkstraPlutusPurpose f DijkstraEra] → Expr Source #
ToExpr (DijkstraTx l DijkstraEra) Source #
Instance details Methods toExpr ∷ DijkstraTx l DijkstraEra → Expr Source # listToExpr ∷ [DijkstraTx l DijkstraEra] → Expr Source #
ToExpr (DijkstraTxBodyRaw l DijkstraEra) Source #
Instance details Methods toExpr ∷ DijkstraTxBodyRaw l DijkstraEra → Expr Source # listToExpr ∷ [DijkstraTxBodyRaw l DijkstraEra] → Expr Source #