cardano-ledger-conformance-0.1.0.0: Testing utilities for conformance testing
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Conformance.Orphans

Orphan instances

Generic Acnt Source # 
Instance details

Associated Types

type Rep AcntTypeType Source #

Methods

fromAcntRep Acnt x Source #

toRep Acnt x → Acnt Source #

Generic CertEnv Source # 
Instance details

Associated Types

type Rep CertEnvTypeType Source #

Methods

fromCertEnvRep CertEnv x Source #

toRep CertEnv x → CertEnv Source #

Generic CertState Source # 
Instance details

Associated Types

type Rep CertStateTypeType Source #

Generic DState Source # 
Instance details

Associated Types

type Rep DStateTypeType Source #

Methods

fromDStateRep DState x Source #

toRep DState x → DState Source #

Generic DelegEnv Source # 
Instance details

Associated Types

type Rep DelegEnvTypeType Source #

Generic DrepThresholds Source # 
Instance details

Associated Types

type Rep DrepThresholdsTypeType Source #

Generic EnactEnv Source # 
Instance details

Associated Types

type Rep EnactEnvTypeType Source #

Generic EnactState Source # 
Instance details

Associated Types

type Rep EnactStateTypeType Source #

Generic EpochState Source # 
Instance details

Associated Types

type Rep EpochStateTypeType Source #

Generic GState Source # 
Instance details

Associated Types

type Rep GStateTypeType Source #

Methods

fromGStateRep GState x Source #

toRep GState x → GState Source #

Generic GovAction Source # 
Instance details

Associated Types

type Rep GovActionTypeType Source #

Generic GovActionState Source # 
Instance details

Associated Types

type Rep GovActionStateTypeType Source #

Generic GovEnv Source # 
Instance details

Associated Types

type Rep GovEnvTypeType Source #

Methods

fromGovEnvRep GovEnv x Source #

toRep GovEnv x → GovEnv Source #

Generic GovProposal Source # 
Instance details

Associated Types

type Rep GovProposalTypeType Source #

Generic GovSignal Source # 
Instance details

Associated Types

type Rep GovSignalTypeType Source #

Generic GovVote Source # 
Instance details

Associated Types

type Rep GovVoteTypeType Source #

Methods

fromGovVoteRep GovVote x Source #

toRep GovVote x → GovVote Source #

Generic LedgerState Source # 
Instance details

Associated Types

type Rep LedgerStateTypeType Source #

Generic NewEpochEnv Source # 
Instance details

Associated Types

type Rep NewEpochEnvTypeType Source #

Generic NewEpochState Source # 
Instance details

Associated Types

type Rep NewEpochStateTypeType Source #

Generic PState Source # 
Instance details

Associated Types

type Rep PStateTypeType Source #

Methods

fromPStateRep PState x Source #

toRep PState x → PState Source #

Generic PoolThresholds Source # 
Instance details

Associated Types

type Rep PoolThresholdsTypeType Source #

Generic RatifyEnv Source # 
Instance details

Associated Types

type Rep RatifyEnvTypeType Source #

Generic RatifyState Source # 
Instance details

Associated Types

type Rep RatifyStateTypeType Source #

Generic Snapshot Source # 
Instance details

Associated Types

type Rep SnapshotTypeType Source #

Generic Snapshots Source # 
Instance details

Associated Types

type Rep SnapshotsTypeType Source #

Generic StakeDistrs Source # 
Instance details

Associated Types

type Rep StakeDistrsTypeType Source #

Generic Vote Source # 
Instance details

Associated Types

type Rep VoteTypeType Source #

Methods

fromVoteRep Vote x Source #

toRep Vote x → Vote Source #

FixupSpecRep OpaqueErrorString Source # 
Instance details

FixupSpecRep Acnt Source # 
Instance details

Methods

fixupAcntAcnt Source #

FixupSpecRep AgdaEmpty Source # 
Instance details

FixupSpecRep CertState Source # 
Instance details

FixupSpecRep Credential Source # 
Instance details

FixupSpecRep DState Source # 
Instance details

Methods

fixupDStateDState Source #

FixupSpecRep DrepThresholds Source # 
Instance details

FixupSpecRep EnactState Source # 
Instance details

FixupSpecRep EpochState Source # 
Instance details

FixupSpecRep GState Source # 
Instance details

Methods

fixupGStateGState Source #

FixupSpecRep GovAction Source # 
Instance details

FixupSpecRep GovActionState Source # 
Instance details

FixupSpecRep GovRole Source # 
Instance details

Methods

fixupGovRoleGovRole Source #

FixupSpecRep LedgerState Source # 
Instance details

FixupSpecRep NewEpochState Source # 
Instance details

FixupSpecRep PParams Source # 
Instance details

Methods

fixupPParamsPParams Source #

FixupSpecRep PParamsUpdate Source # 
Instance details

FixupSpecRep PState Source # 
Instance details

Methods

fixupPStatePState Source #

FixupSpecRep PoolThresholds Source # 
Instance details

FixupSpecRep RatifyEnv Source # 
Instance details

FixupSpecRep RatifyState Source # 
Instance details

FixupSpecRep Snapshot Source # 
Instance details

Methods

fixupSnapshotSnapshot Source #

FixupSpecRep Snapshots Source # 
Instance details

FixupSpecRep StakeDistrs Source # 
Instance details

FixupSpecRep TxId Source # 
Instance details

Methods

fixupTxIdTxId Source #

FixupSpecRep UTxOState Source # 
Instance details

FixupSpecRep VDeleg Source # 
Instance details

Methods

fixupVDelegVDeleg Source #

FixupSpecRep Vote Source # 
Instance details

Methods

fixupVoteVote Source #

FixupSpecRep Integer Source # 
Instance details

Methods

fixupIntegerInteger Source #

FixupSpecRep () Source # 
Instance details

Methods

fixup ∷ () → () Source #

FixupSpecRep Bool Source # 
Instance details

Methods

fixupBoolBool Source #

FixupSpecRep Char Source # 
Instance details

Methods

fixupCharChar Source #

NFData Acnt Source # 
Instance details

Methods

rnfAcnt → () Source #

NFData AgdaEmpty Source # 
Instance details

Methods

rnfAgdaEmpty → () Source #

NFData CertEnv Source # 
Instance details

Methods

rnfCertEnv → () Source #

NFData CertState Source # 
Instance details

Methods

rnfCertState → () Source #

NFData Credential Source # 
Instance details

Methods

rnfCredential → () Source #

NFData DState Source # 
Instance details

Methods

rnfDState → () Source #

NFData DelegEnv Source # 
Instance details

Methods

rnfDelegEnv → () Source #

NFData DrepThresholds Source # 
Instance details

Methods

rnfDrepThresholds → () Source #

NFData EnactEnv Source # 
Instance details

Methods

rnfEnactEnv → () Source #

NFData EnactState Source # 
Instance details

Methods

rnfEnactState → () Source #

NFData EpochState Source # 
Instance details

Methods

rnfEpochState → () Source #

NFData GState Source # 
Instance details

Methods

rnfGState → () Source #

NFData GovAction Source # 
Instance details

Methods

rnfGovAction → () Source #

NFData GovActionState Source # 
Instance details

Methods

rnfGovActionState → () Source #

NFData GovEnv Source # 
Instance details

Methods

rnfGovEnv → () Source #

NFData GovProposal Source # 
Instance details

Methods

rnfGovProposal → () Source #

NFData GovRole Source # 
Instance details

Methods

rnfGovRole → () Source #

NFData GovSignal Source # 
Instance details

Methods

rnfGovSignal → () Source #

NFData GovVote Source # 
Instance details

Methods

rnfGovVote → () Source #

NFData LedgerState Source # 
Instance details

Methods

rnfLedgerState → () Source #

NFData NewEpochEnv Source # 
Instance details

Methods

rnfNewEpochEnv → () Source #

NFData NewEpochState Source # 
Instance details

Methods

rnfNewEpochState → () Source #

NFData PParams Source # 
Instance details

Methods

rnfPParams → () Source #

NFData PParamsUpdate Source # 
Instance details

Methods

rnfPParamsUpdate → () Source #

NFData PState Source # 
Instance details

Methods

rnfPState → () Source #

NFData PoolThresholds Source # 
Instance details

Methods

rnfPoolThresholds → () Source #

NFData RatifyEnv Source # 
Instance details

Methods

rnfRatifyEnv → () Source #

NFData RatifyState Source # 
Instance details

Methods

rnfRatifyState → () Source #

NFData Snapshot Source # 
Instance details

Methods

rnfSnapshot → () Source #

NFData Snapshots Source # 
Instance details

Methods

rnfSnapshots → () Source #

NFData StakeDistrs Source # 
Instance details

Methods

rnfStakeDistrs → () Source #

NFData Tag Source # 
Instance details

Methods

rnfTag → () Source #

NFData Tx Source # 
Instance details

Methods

rnfTx → () Source #

NFData TxBody Source # 
Instance details

Methods

rnfTxBody → () Source #

NFData TxCert Source # 
Instance details

Methods

rnfTxCert → () Source #

NFData TxId Source # 
Instance details

Methods

rnfTxId → () Source #

NFData TxWitnesses Source # 
Instance details

Methods

rnfTxWitnesses → () Source #

NFData UTxOEnv Source # 
Instance details

Methods

rnfUTxOEnv → () Source #

NFData UTxOState Source # 
Instance details

Methods

rnfUTxOState → () Source #

NFData VDeleg Source # 
Instance details

Methods

rnfVDeleg → () Source #

NFData Vote Source # 
Instance details

Methods

rnfVote → () Source #

Eq Acnt Source # 
Instance details

Methods

(==)AcntAcntBool Source #

(/=)AcntAcntBool Source #

Eq AgdaEmpty Source # 
Instance details

Eq CertEnv Source # 
Instance details

Methods

(==)CertEnvCertEnvBool Source #

(/=)CertEnvCertEnvBool Source #

Eq CertState Source # 
Instance details

Eq DState Source # 
Instance details

Methods

(==)DStateDStateBool Source #

(/=)DStateDStateBool Source #

Eq DrepThresholds Source # 
Instance details

Eq EnactState Source # 
Instance details

Eq EpochState Source # 
Instance details

Eq GState Source # 
Instance details

Methods

(==)GStateGStateBool Source #

(/=)GStateGStateBool Source #

Eq GovAction Source # 
Instance details

Eq GovActionState Source # 
Instance details

Eq GovEnv Source # 
Instance details

Methods

(==)GovEnvGovEnvBool Source #

(/=)GovEnvGovEnvBool Source #

Eq GovProposal Source # 
Instance details

Eq GovSignal Source # 
Instance details

Eq GovVote Source # 
Instance details

Methods

(==)GovVoteGovVoteBool Source #

(/=)GovVoteGovVoteBool Source #

Eq LedgerState Source # 
Instance details

Eq NewEpochState Source # 
Instance details

Eq PParams Source # 
Instance details

Methods

(==)PParamsPParamsBool Source #

(/=)PParamsPParamsBool Source #

Eq PParamsUpdate Source # 
Instance details

Eq PState Source # 
Instance details

Methods

(==)PStatePStateBool Source #

(/=)PStatePStateBool Source #

Eq PoolThresholds Source # 
Instance details

Eq RatifyState Source # 
Instance details

Eq Snapshot Source # 
Instance details

Eq Snapshots Source # 
Instance details

Eq Tag Source # 
Instance details

Methods

(==)TagTagBool Source #

(/=)TagTagBool Source #

Eq Tx Source # 
Instance details

Methods

(==)TxTxBool Source #

(/=)TxTxBool Source #

Eq TxBody Source # 
Instance details

Methods

(==)TxBodyTxBodyBool Source #

(/=)TxBodyTxBodyBool Source #

Eq TxWitnesses Source # 
Instance details

Eq UTxOEnv Source # 
Instance details

Methods

(==)UTxOEnvUTxOEnvBool Source #

(/=)UTxOEnvUTxOEnvBool Source #

Eq UTxOState Source # 
Instance details

Eq Vote Source # 
Instance details

Methods

(==)VoteVoteBool Source #

(/=)VoteVoteBool Source #

Ord Credential Source # 
Instance details

Ord DrepThresholds Source # 
Instance details

Ord GovAction Source # 
Instance details

Ord GovActionState Source # 
Instance details

Ord GovRole Source # 
Instance details

Ord PParamsUpdate Source # 
Instance details

Ord PoolThresholds Source # 
Instance details

Ord Tag Source # 
Instance details

Methods

compareTagTagOrdering Source #

(<)TagTagBool Source #

(<=)TagTagBool Source #

(>)TagTagBool Source #

(>=)TagTagBool Source #

maxTagTagTag Source #

minTagTagTag Source #

Ord VDeleg Source # 
Instance details

Ord Vote Source # 
Instance details

Methods

compareVoteVoteOrdering Source #

(<)VoteVoteBool Source #

(<=)VoteVoteBool Source #

(>)VoteVoteBool Source #

(>=)VoteVoteBool Source #

maxVoteVoteVote Source #

minVoteVoteVote Source #

ToExpr Acnt Source # 
Instance details

Methods

toExprAcntExpr Source #

listToExpr ∷ [Acnt] → Expr Source #

ToExpr AgdaEmpty Source # 
Instance details

ToExpr CertEnv Source # 
Instance details

ToExpr CertState Source # 
Instance details

ToExpr Credential Source # 
Instance details

ToExpr DState Source # 
Instance details

ToExpr DelegEnv Source # 
Instance details

ToExpr DrepThresholds Source # 
Instance details

ToExpr EnactEnv Source # 
Instance details

ToExpr EnactState Source # 
Instance details

ToExpr EpochState Source # 
Instance details

ToExpr GState Source # 
Instance details

ToExpr GovAction Source # 
Instance details

ToExpr GovActionState Source # 
Instance details

ToExpr GovEnv Source # 
Instance details

ToExpr GovProposal Source # 
Instance details

ToExpr GovRole Source # 
Instance details

ToExpr GovSignal Source # 
Instance details

ToExpr GovVote Source # 
Instance details

ToExpr LedgerState Source # 
Instance details

ToExpr NewEpochEnv Source # 
Instance details

ToExpr NewEpochState Source # 
Instance details

ToExpr PParams Source # 
Instance details

ToExpr PParamsUpdate Source # 
Instance details

ToExpr PState Source # 
Instance details

ToExpr PoolThresholds Source # 
Instance details

ToExpr RatifyEnv Source # 
Instance details

ToExpr RatifyState Source # 
Instance details

ToExpr Snapshot Source # 
Instance details

ToExpr Snapshots Source # 
Instance details

ToExpr StakeDistrs Source # 
Instance details

ToExpr Tag Source # 
Instance details

Methods

toExprTagExpr Source #

listToExpr ∷ [Tag] → Expr Source #

ToExpr Tx Source # 
Instance details

Methods

toExprTxExpr Source #

listToExpr ∷ [Tx] → Expr Source #

ToExpr TxBody Source # 
Instance details

ToExpr TxCert Source # 
Instance details

ToExpr TxId Source # 
Instance details

Methods

toExprTxIdExpr Source #

listToExpr ∷ [TxId] → Expr Source #

ToExpr TxWitnesses Source # 
Instance details

ToExpr UTxOEnv Source # 
Instance details

ToExpr UTxOState Source # 
Instance details

ToExpr VDeleg Source # 
Instance details

ToExpr Vote Source # 
Instance details

Methods

toExprVoteExpr Source #

listToExpr ∷ [Vote] → Expr Source #

Generic (HSSet a) Source # 
Instance details

Associated Types

type Rep (HSSet a) ∷ TypeType Source #

Methods

fromHSSet a → Rep (HSSet a) x Source #

toRep (HSSet a) x → HSSet a Source #

(Ord a, FixupSpecRep a) ⇒ FixupSpecRep (HSSet a) Source # 
Instance details

Methods

fixupHSSet a → HSSet a Source #

FixupSpecRep a ⇒ FixupSpecRep (Maybe a) Source # 
Instance details

Methods

fixupMaybe a → Maybe a Source #

FixupSpecRep a ⇒ FixupSpecRep [a] Source # 
Instance details

Methods

fixup ∷ [a] → [a] Source #

NFData a ⇒ NFData (HSSet a) Source # 
Instance details

Methods

rnfHSSet a → () Source #

Eq a ⇒ Eq (HSSet a) Source # 
Instance details

Methods

(==)HSSet a → HSSet a → Bool Source #

(/=)HSSet a → HSSet a → Bool Source #

ToExpr a ⇒ ToExpr (HSSet a) Source # 
Instance details

Methods

toExprHSSet a → Expr Source #

listToExpr ∷ [HSSet a] → Expr Source #

(FixupSpecRep a, FixupSpecRep b) ⇒ FixupSpecRep (Either a b) Source # 
Instance details

Methods

fixupEither a b → Either a b Source #

(Ord k, FixupSpecRep k, FixupSpecRep v) ⇒ FixupSpecRep (HSMap k v) Source # 
Instance details

Methods

fixupHSMap k v → HSMap k v Source #

(FixupSpecRep a, FixupSpecRep b) ⇒ FixupSpecRep (a, b) Source # 
Instance details

Methods

fixup ∷ (a, b) → (a, b) Source #

Default (HSMap k v) Source # 
Instance details

Methods

defHSMap k v Source #

(NFData k, NFData v) ⇒ NFData (HSMap k v) Source # 
Instance details

Methods

rnfHSMap k v → () Source #

(ToExpr k, ToExpr v) ⇒ ToExpr (HSMap k v) Source # 
Instance details

Methods

toExprHSMap k v → Expr Source #

listToExpr ∷ [HSMap k v] → Expr Source #