Test.Cardano.Ledger.Conformance.Orphans
Contents
Associated Types
type Rep CertEnv ∷ Type → Type Source #
Methods
from ∷ CertEnv → Rep CertEnv x Source #
to ∷ Rep CertEnv x → CertEnv Source #
type Rep CertState ∷ Type → Type Source #
from ∷ CertState → Rep CertState x Source #
to ∷ Rep CertState x → CertState Source #
type Rep DState ∷ Type → Type Source #
from ∷ DState → Rep DState x Source #
to ∷ Rep DState x → DState Source #
type Rep EnactState ∷ Type → Type Source #
from ∷ EnactState → Rep EnactState x Source #
to ∷ Rep EnactState x → EnactState Source #
type Rep GState ∷ Type → Type Source #
from ∷ GState → Rep GState x Source #
to ∷ Rep GState x → GState Source #
type Rep GovAction ∷ Type → Type Source #
from ∷ GovAction → Rep GovAction x Source #
to ∷ Rep GovAction x → GovAction Source #
type Rep GovActionState ∷ Type → Type Source #
from ∷ GovActionState → Rep GovActionState x Source #
to ∷ Rep GovActionState x → GovActionState Source #
type Rep GovEnv ∷ Type → Type Source #
from ∷ GovEnv → Rep GovEnv x Source #
to ∷ Rep GovEnv x → GovEnv Source #
type Rep GovProposal ∷ Type → Type Source #
from ∷ GovProposal → Rep GovProposal x Source #
to ∷ Rep GovProposal x → GovProposal Source #
type Rep GovSignal ∷ Type → Type Source #
from ∷ GovSignal → Rep GovSignal x Source #
to ∷ Rep GovSignal x → GovSignal Source #
type Rep GovVote ∷ Type → Type Source #
from ∷ GovVote → Rep GovVote x Source #
to ∷ Rep GovVote x → GovVote Source #
type Rep PState ∷ Type → Type Source #
from ∷ PState → Rep PState x Source #
to ∷ Rep PState x → PState Source #
type Rep RatifyEnv ∷ Type → Type Source #
from ∷ RatifyEnv → Rep RatifyEnv x Source #
to ∷ Rep RatifyEnv x → RatifyEnv Source #
type Rep RatifyState ∷ Type → Type Source #
from ∷ RatifyState → Rep RatifyState x Source #
to ∷ Rep RatifyState x → RatifyState Source #
type Rep StakeDistrs ∷ Type → Type Source #
from ∷ StakeDistrs → Rep StakeDistrs x Source #
to ∷ Rep StakeDistrs x → StakeDistrs Source #
type Rep Vote ∷ Type → Type Source #
from ∷ Vote → Rep Vote x Source #
to ∷ Rep Vote x → Vote Source #
fixup ∷ OpaqueErrorString → OpaqueErrorString Source #
fixup ∷ AgdaEmpty → AgdaEmpty Source #
fixup ∷ CertState → CertState Source #
fixup ∷ Credential → Credential Source #
fixup ∷ DState → DState Source #
fixup ∷ EnactState → EnactState Source #
fixup ∷ GState → GState Source #
fixup ∷ GovAction → GovAction Source #
fixup ∷ GovActionState → GovActionState Source #
fixup ∷ GovRole → GovRole Source #
fixup ∷ PParams → PParams Source #
fixup ∷ PState → PState Source #
fixup ∷ RatifyEnv → RatifyEnv Source #
fixup ∷ RatifyState → RatifyState Source #
fixup ∷ StakeDistrs → StakeDistrs Source #
fixup ∷ TxId → TxId Source #
fixup ∷ UTxOState → UTxOState Source #
fixup ∷ VDeleg → VDeleg Source #
fixup ∷ Vote → Vote Source #
fixup ∷ Integer → Integer Source #
fixup ∷ () → () Source #
fixup ∷ Bool → Bool Source #
fixup ∷ Char → Char Source #
rnf ∷ AgdaEmpty → () Source #
rnf ∷ CertEnv → () Source #
rnf ∷ CertState → () Source #
rnf ∷ Credential → () Source #
rnf ∷ DState → () Source #
rnf ∷ EnactState → () Source #
rnf ∷ GState → () Source #
rnf ∷ GovAction → () Source #
rnf ∷ GovActionState → () Source #
rnf ∷ GovEnv → () Source #
rnf ∷ GovProposal → () Source #
rnf ∷ GovRole → () Source #
rnf ∷ GovSignal → () Source #
rnf ∷ GovVote → () Source #
rnf ∷ PParams → () Source #
rnf ∷ PState → () Source #
rnf ∷ RatifyEnv → () Source #
rnf ∷ RatifyState → () Source #
rnf ∷ StakeDistrs → () Source #
rnf ∷ Tag → () Source #
rnf ∷ Tx → () Source #
rnf ∷ TxBody → () Source #
rnf ∷ TxCert → () Source #
rnf ∷ TxId → () Source #
rnf ∷ TxWitnesses → () Source #
rnf ∷ UTxOEnv → () Source #
rnf ∷ UTxOState → () Source #
rnf ∷ VDeleg → () Source #
rnf ∷ Vote → () Source #
(==) ∷ AgdaEmpty → AgdaEmpty → Bool Source #
(/=) ∷ AgdaEmpty → AgdaEmpty → Bool Source #
(==) ∷ CertEnv → CertEnv → Bool Source #
(/=) ∷ CertEnv → CertEnv → Bool Source #
(==) ∷ CertState → CertState → Bool Source #
(/=) ∷ CertState → CertState → Bool Source #
(==) ∷ DState → DState → Bool Source #
(/=) ∷ DState → DState → Bool Source #
(==) ∷ EnactState → EnactState → Bool Source #
(/=) ∷ EnactState → EnactState → Bool Source #
(==) ∷ GState → GState → Bool Source #
(/=) ∷ GState → GState → Bool Source #
(==) ∷ GovAction → GovAction → Bool Source #
(/=) ∷ GovAction → GovAction → Bool Source #
(==) ∷ GovActionState → GovActionState → Bool Source #
(/=) ∷ GovActionState → GovActionState → Bool Source #
(==) ∷ GovEnv → GovEnv → Bool Source #
(/=) ∷ GovEnv → GovEnv → Bool Source #
(==) ∷ GovProposal → GovProposal → Bool Source #
(/=) ∷ GovProposal → GovProposal → Bool Source #
(==) ∷ GovSignal → GovSignal → Bool Source #
(/=) ∷ GovSignal → GovSignal → Bool Source #
(==) ∷ GovVote → GovVote → Bool Source #
(/=) ∷ GovVote → GovVote → Bool Source #
(==) ∷ PParams → PParams → Bool Source #
(/=) ∷ PParams → PParams → Bool Source #
(==) ∷ PState → PState → Bool Source #
(/=) ∷ PState → PState → Bool Source #
(==) ∷ RatifyState → RatifyState → Bool Source #
(/=) ∷ RatifyState → RatifyState → Bool Source #
(==) ∷ Tag → Tag → Bool Source #
(/=) ∷ Tag → Tag → Bool Source #
(==) ∷ Tx → Tx → Bool Source #
(/=) ∷ Tx → Tx → Bool Source #
(==) ∷ TxBody → TxBody → Bool Source #
(/=) ∷ TxBody → TxBody → Bool Source #
(==) ∷ TxWitnesses → TxWitnesses → Bool Source #
(/=) ∷ TxWitnesses → TxWitnesses → Bool Source #
(==) ∷ UTxOEnv → UTxOEnv → Bool Source #
(/=) ∷ UTxOEnv → UTxOEnv → Bool Source #
(==) ∷ UTxOState → UTxOState → Bool Source #
(/=) ∷ UTxOState → UTxOState → Bool Source #
(==) ∷ Vote → Vote → Bool Source #
(/=) ∷ Vote → Vote → Bool Source #
compare ∷ Credential → Credential → Ordering Source #
(<) ∷ Credential → Credential → Bool Source #
(<=) ∷ Credential → Credential → Bool Source #
(>) ∷ Credential → Credential → Bool Source #
(>=) ∷ Credential → Credential → Bool Source #
max ∷ Credential → Credential → Credential Source #
min ∷ Credential → Credential → Credential Source #
compare ∷ GovAction → GovAction → Ordering Source #
(<) ∷ GovAction → GovAction → Bool Source #
(<=) ∷ GovAction → GovAction → Bool Source #
(>) ∷ GovAction → GovAction → Bool Source #
(>=) ∷ GovAction → GovAction → Bool Source #
max ∷ GovAction → GovAction → GovAction Source #
min ∷ GovAction → GovAction → GovAction Source #
compare ∷ GovActionState → GovActionState → Ordering Source #
(<) ∷ GovActionState → GovActionState → Bool Source #
(<=) ∷ GovActionState → GovActionState → Bool Source #
(>) ∷ GovActionState → GovActionState → Bool Source #
(>=) ∷ GovActionState → GovActionState → Bool Source #
max ∷ GovActionState → GovActionState → GovActionState Source #
min ∷ GovActionState → GovActionState → GovActionState Source #
compare ∷ GovRole → GovRole → Ordering Source #
(<) ∷ GovRole → GovRole → Bool Source #
(<=) ∷ GovRole → GovRole → Bool Source #
(>) ∷ GovRole → GovRole → Bool Source #
(>=) ∷ GovRole → GovRole → Bool Source #
max ∷ GovRole → GovRole → GovRole Source #
min ∷ GovRole → GovRole → GovRole Source #
compare ∷ Tag → Tag → Ordering Source #
(<) ∷ Tag → Tag → Bool Source #
(<=) ∷ Tag → Tag → Bool Source #
(>) ∷ Tag → Tag → Bool Source #
(>=) ∷ Tag → Tag → Bool Source #
max ∷ Tag → Tag → Tag Source #
min ∷ Tag → Tag → Tag Source #
compare ∷ VDeleg → VDeleg → Ordering Source #
(<) ∷ VDeleg → VDeleg → Bool Source #
(<=) ∷ VDeleg → VDeleg → Bool Source #
(>) ∷ VDeleg → VDeleg → Bool Source #
(>=) ∷ VDeleg → VDeleg → Bool Source #
max ∷ VDeleg → VDeleg → VDeleg Source #
min ∷ VDeleg → VDeleg → VDeleg Source #
compare ∷ Vote → Vote → Ordering Source #
(<) ∷ Vote → Vote → Bool Source #
(<=) ∷ Vote → Vote → Bool Source #
(>) ∷ Vote → Vote → Bool Source #
(>=) ∷ Vote → Vote → Bool Source #
max ∷ Vote → Vote → Vote Source #
min ∷ Vote → Vote → Vote Source #
toExpr ∷ AgdaEmpty → Expr Source #
listToExpr ∷ [AgdaEmpty] → Expr Source #
toExpr ∷ CertEnv → Expr Source #
listToExpr ∷ [CertEnv] → Expr Source #
toExpr ∷ CertState → Expr Source #
listToExpr ∷ [CertState] → Expr Source #
toExpr ∷ Credential → Expr Source #
listToExpr ∷ [Credential] → Expr Source #
toExpr ∷ DState → Expr Source #
listToExpr ∷ [DState] → Expr Source #
toExpr ∷ EnactState → Expr Source #
listToExpr ∷ [EnactState] → Expr Source #
toExpr ∷ GState → Expr Source #
listToExpr ∷ [GState] → Expr Source #
toExpr ∷ GovAction → Expr Source #
listToExpr ∷ [GovAction] → Expr Source #
toExpr ∷ GovActionState → Expr Source #
listToExpr ∷ [GovActionState] → Expr Source #
toExpr ∷ GovEnv → Expr Source #
listToExpr ∷ [GovEnv] → Expr Source #
toExpr ∷ GovProposal → Expr Source #
listToExpr ∷ [GovProposal] → Expr Source #
toExpr ∷ GovRole → Expr Source #
listToExpr ∷ [GovRole] → Expr Source #
toExpr ∷ GovSignal → Expr Source #
listToExpr ∷ [GovSignal] → Expr Source #
toExpr ∷ GovVote → Expr Source #
listToExpr ∷ [GovVote] → Expr Source #
toExpr ∷ PParams → Expr Source #
listToExpr ∷ [PParams] → Expr Source #
toExpr ∷ PState → Expr Source #
listToExpr ∷ [PState] → Expr Source #
toExpr ∷ RatifyEnv → Expr Source #
listToExpr ∷ [RatifyEnv] → Expr Source #
toExpr ∷ RatifyState → Expr Source #
listToExpr ∷ [RatifyState] → Expr Source #
toExpr ∷ StakeDistrs → Expr Source #
listToExpr ∷ [StakeDistrs] → Expr Source #
toExpr ∷ Tag → Expr Source #
listToExpr ∷ [Tag] → Expr Source #
toExpr ∷ Tx → Expr Source #
listToExpr ∷ [Tx] → Expr Source #
toExpr ∷ TxBody → Expr Source #
listToExpr ∷ [TxBody] → Expr Source #
toExpr ∷ TxCert → Expr Source #
listToExpr ∷ [TxCert] → Expr Source #
toExpr ∷ TxId → Expr Source #
listToExpr ∷ [TxId] → Expr Source #
toExpr ∷ TxWitnesses → Expr Source #
listToExpr ∷ [TxWitnesses] → Expr Source #
toExpr ∷ UTxOEnv → Expr Source #
listToExpr ∷ [UTxOEnv] → Expr Source #
toExpr ∷ UTxOState → Expr Source #
listToExpr ∷ [UTxOState] → Expr Source #
toExpr ∷ VDeleg → Expr Source #
listToExpr ∷ [VDeleg] → Expr Source #
toExpr ∷ Vote → Expr Source #
listToExpr ∷ [Vote] → Expr Source #
type Rep (HSSet a) ∷ Type → Type Source #
from ∷ HSSet a → Rep (HSSet a) x Source #
to ∷ Rep (HSSet a) x → HSSet a Source #
fixup ∷ HSSet a → HSSet a Source #
fixup ∷ Maybe a → Maybe a Source #
fixup ∷ [a] → [a] Source #
rnf ∷ HSSet a → () Source #
(==) ∷ HSSet a → HSSet a → Bool Source #
(/=) ∷ HSSet a → HSSet a → Bool Source #
toExpr ∷ HSSet a → Expr Source #
listToExpr ∷ [HSSet a] → Expr Source #
fixup ∷ Either a b → Either a b Source #
fixup ∷ HSMap k v → HSMap k v Source #
fixup ∷ (a, b) → (a, b) Source #
def ∷ HSMap k v Source #
rnf ∷ HSMap k v → () Source #
toExpr ∷ HSMap k v → Expr Source #
listToExpr ∷ [HSMap k v] → Expr Source #