cardano-ledger-canonical-state-9.9.9.9: Instaces for working with canonical ledger state representation

Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

Synopsis

newtype GovProposalIn = GovProposalIn CanonicalGovActionId
newtype GovProposalOut v = GovProposalOut v
data CanonicalGovActionId = CanonicalGovActionId {
- gaidTxId ∷ !TxId
- gaidGovActionIx ∷ !CanonicalGovActionIx
}
newtype CanonicalGovActionIx = CanonicalGovActionIx Word16

Documentation

newtype GovProposalIn Source #

Constructors

GovProposalIn CanonicalGovActionId

Instances

Instances details

Show GovProposalIn Source #
Instance details Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0 Methods showsPrec ∷ Int → GovProposalIn → ShowS # show ∷ GovProposalIn → String # showList ∷ [GovProposalIn] → ShowS #
Eq GovProposalIn Source #
Instance details Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0 Methods (==) ∷ GovProposalIn → GovProposalIn → Bool # (/=) ∷ GovProposalIn → GovProposalIn → Bool #
Ord GovProposalIn Source #
Instance details Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0 Methods compare ∷ GovProposalIn → GovProposalIn → Ordering # (<) ∷ GovProposalIn → GovProposalIn → Bool # (<=) ∷ GovProposalIn → GovProposalIn → Bool # (>) ∷ GovProposalIn → GovProposalIn → Bool # (>=) ∷ GovProposalIn → GovProposalIn → Bool # max ∷ GovProposalIn → GovProposalIn → GovProposalIn # min ∷ GovProposalIn → GovProposalIn → GovProposalIn #
IsKey GovProposalIn Source #
Instance details Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0 Methods keySize ∷ Int Source # packKeyM ∷ GovProposalIn → Pack b () Source # unpackKeyM ∷ Buffer b ⇒ Unpack' s b GovProposalIn Source #

newtype GovProposalOut v Source #

Canonical wrapper over gov action state. Because this is on-chain data we create a wrapper for that.

Constructors

GovProposalOut v

Instances

Instances details

ToCanonicalCBOR "gov/proposals/v0" v ⇒ CanonicalCBOREntryEncoder "gov/proposals/v0" (GovProposalOut v) Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

Methods

encodeEntry ∷ GovProposalOut v → CanonicalEncoding Source #

FromCanonicalCBOR "gov/proposals/v0" v ⇒ FromCanonicalCBOR "gov/proposals/v0" (GovProposalOut v) Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

Methods

fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned "gov/proposals/v0" (GovProposalOut v)) Source #

ToCanonicalCBOR "gov/proposals/v0" v ⇒ ToCanonicalCBOR "gov/proposals/v0" (GovProposalOut v) Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

Methods

toCanonicalCBOR ∷ proxy "gov/proposals/v0" → GovProposalOut v → CanonicalEncoding Source #

FromCanonicalCBOR "gov/proposals/v0" v ⇒ CanonicalCBOREntryDecoder "gov/proposals/v0" (GovProposalOut v) Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

Methods

decodeEntry ∷ CanonicalDecoder s (Versioned "gov/proposals/v0" (GovProposalOut v)) Source #

Generic (GovProposalOut v) Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

Associated Types

type Rep (GovProposalOut v)

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

type Rep (GovProposalOut v) = D1 ('MetaData "GovProposalOut" "Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'True) (C1 ('MetaCons "GovProposalOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 v)))

Methods

from ∷ GovProposalOut v → Rep (GovProposalOut v) x #

to ∷ Rep (GovProposalOut v) x → GovProposalOut v #

Show v ⇒ Show (GovProposalOut v) Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

Methods

showsPrec ∷ Int → GovProposalOut v → ShowS #

show ∷ GovProposalOut v → String #

showList ∷ [GovProposalOut v] → ShowS #

Eq v ⇒ Eq (GovProposalOut v) Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

Methods

(==) ∷ GovProposalOut v → GovProposalOut v → Bool #

(/=) ∷ GovProposalOut v → GovProposalOut v → Bool #

type Rep (GovProposalOut v) Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

type Rep (GovProposalOut v) = D1 ('MetaData "GovProposalOut" "Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'True) (C1 ('MetaCons "GovProposalOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 v)))

data CanonicalGovActionId Source #

Constructors

CanonicalGovActionId
Fields gaidTxId ∷ !TxId gaidGovActionIx ∷ !CanonicalGovActionIx

Instances

Instances details

Generic CanonicalGovActionId Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

Associated Types

type Rep CanonicalGovActionId

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

type Rep CanonicalGovActionId = D1 ('MetaData "CanonicalGovActionId" "Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'False) (C1 ('MetaCons "CanonicalGovActionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "gaidTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Just "gaidGovActionIx") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CanonicalGovActionIx)))

Methods

from ∷ CanonicalGovActionId → Rep CanonicalGovActionId x #

to ∷ Rep CanonicalGovActionId x → CanonicalGovActionId #

Show CanonicalGovActionId Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

Methods

showsPrec ∷ Int → CanonicalGovActionId → ShowS #

show ∷ CanonicalGovActionId → String #

showList ∷ [CanonicalGovActionId] → ShowS #

Eq CanonicalGovActionId Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

Methods

(==) ∷ CanonicalGovActionId → CanonicalGovActionId → Bool #

(/=) ∷ CanonicalGovActionId → CanonicalGovActionId → Bool #

Ord CanonicalGovActionId Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

Methods

compare ∷ CanonicalGovActionId → CanonicalGovActionId → Ordering #

(<) ∷ CanonicalGovActionId → CanonicalGovActionId → Bool #

(<=) ∷ CanonicalGovActionId → CanonicalGovActionId → Bool #

(>) ∷ CanonicalGovActionId → CanonicalGovActionId → Bool #

(>=) ∷ CanonicalGovActionId → CanonicalGovActionId → Bool #

max ∷ CanonicalGovActionId → CanonicalGovActionId → CanonicalGovActionId #

min ∷ CanonicalGovActionId → CanonicalGovActionId → CanonicalGovActionId #

type Rep CanonicalGovActionId Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

type Rep CanonicalGovActionId = D1 ('MetaData "CanonicalGovActionId" "Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'False) (C1 ('MetaCons "CanonicalGovActionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "gaidTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Just "gaidGovActionIx") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CanonicalGovActionIx)))

newtype CanonicalGovActionIx Source #

Constructors

CanonicalGovActionIx Word16

Instances

Instances details

Generic CanonicalGovActionIx Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

Associated Types

type Rep CanonicalGovActionIx

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

type Rep CanonicalGovActionIx = D1 ('MetaData "CanonicalGovActionIx" "Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'True) (C1 ('MetaCons "CanonicalGovActionIx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

Methods

from ∷ CanonicalGovActionIx → Rep CanonicalGovActionIx x #

to ∷ Rep CanonicalGovActionIx x → CanonicalGovActionIx #

Show CanonicalGovActionIx Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

Methods

showsPrec ∷ Int → CanonicalGovActionIx → ShowS #

show ∷ CanonicalGovActionIx → String #

showList ∷ [CanonicalGovActionIx] → ShowS #

Eq CanonicalGovActionIx Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

Methods

(==) ∷ CanonicalGovActionIx → CanonicalGovActionIx → Bool #

(/=) ∷ CanonicalGovActionIx → CanonicalGovActionIx → Bool #

Ord CanonicalGovActionIx Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

Methods

compare ∷ CanonicalGovActionIx → CanonicalGovActionIx → Ordering #

(<) ∷ CanonicalGovActionIx → CanonicalGovActionIx → Bool #

(<=) ∷ CanonicalGovActionIx → CanonicalGovActionIx → Bool #

(>) ∷ CanonicalGovActionIx → CanonicalGovActionIx → Bool #

(>=) ∷ CanonicalGovActionIx → CanonicalGovActionIx → Bool #

max ∷ CanonicalGovActionIx → CanonicalGovActionIx → CanonicalGovActionIx #

min ∷ CanonicalGovActionIx → CanonicalGovActionIx → CanonicalGovActionIx #

MemPack CanonicalGovActionIx Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

Methods

typeName ∷ String Source #

packedByteCount ∷ CanonicalGovActionIx → Int Source #

packM ∷ CanonicalGovActionIx → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b CanonicalGovActionIx Source #

FromCanonicalCBOR v CanonicalGovActionIx Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

Methods

fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v CanonicalGovActionIx) Source #

ToCanonicalCBOR v CanonicalGovActionIx Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

Methods

toCanonicalCBOR ∷ proxy v → CanonicalGovActionIx → CanonicalEncoding Source #

type Rep CanonicalGovActionIx Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0

type Rep CanonicalGovActionIx = D1 ('MetaData "CanonicalGovActionIx" "Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'True) (C1 ('MetaCons "CanonicalGovActionIx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))