cardano-ledger-canonical-state-9.9.9.9: Instances for working with canonical ledger state representation
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.CanonicalState.Namespace.Blocks.V0

Documentation

data BlockIn Source #

Constructors

BlockIn 

Fields

Instances

Instances details
Generic BlockIn Source # 
Instance details

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

Associated Types

type Rep BlockIn 
Instance details

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

type Rep BlockIn = D1 ('MetaData "BlockIn" "Cardano.Ledger.CanonicalState.Namespace.Blocks.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'False) (C1 ('MetaCons "BlockIn" 'PrefixI 'True) (S1 ('MetaSel ('Just "blockInStakePoolId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool)) :*: S1 ('MetaSel ('Just "blockInEpochNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo)))

Methods

from ∷ BlockIn → Rep BlockIn x #

to ∷ Rep BlockIn x → BlockIn #

Show BlockIn Source # 
Instance details

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

Methods

showsPrec ∷ Int → BlockIn → ShowS #

show ∷ BlockIn → String #

showList ∷ [BlockIn] → ShowS #

Eq BlockIn Source # 
Instance details

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

Methods

(==) ∷ BlockIn → BlockIn → Bool #

(/=) ∷ BlockIn → BlockIn → Bool #

Ord BlockIn Source # 
Instance details

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

Methods

compare ∷ BlockIn → BlockIn → Ordering #

(<) ∷ BlockIn → BlockIn → Bool #

(<=) ∷ BlockIn → BlockIn → Bool #

(>) ∷ BlockIn → BlockIn → Bool #

(>=) ∷ BlockIn → BlockIn → Bool #

max ∷ BlockIn → BlockIn → BlockIn #

min ∷ BlockIn → BlockIn → BlockIn #

IsKey BlockIn Source # 
Instance details

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

Methods

keySize ∷ Int Source #

packKeyM ∷ BlockIn → Pack b () Source #

unpackKeyM ∷ Buffer b ⇒ Unpack' s b BlockIn Source #

type Rep BlockIn Source # 
Instance details

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

type Rep BlockIn = D1 ('MetaData "BlockIn" "Cardano.Ledger.CanonicalState.Namespace.Blocks.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'False) (C1 ('MetaCons "BlockIn" 'PrefixI 'True) (S1 ('MetaSel ('Just "blockInStakePoolId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool)) :*: S1 ('MetaSel ('Just "blockInEpochNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo)))

newtype BlockOut Source #

Constructors

BlockOut Natural 

Instances

Instances details
Generic BlockOut Source # 
Instance details

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

Associated Types

type Rep BlockOut 
Instance details

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

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

Methods

from ∷ BlockOut → Rep BlockOut x #

to ∷ Rep BlockOut x → BlockOut #

Show BlockOut Source # 
Instance details

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

Methods

showsPrec ∷ Int → BlockOut → ShowS #

show ∷ BlockOut → String #

showList ∷ [BlockOut] → ShowS #

Eq BlockOut Source # 
Instance details

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

Methods

(==) ∷ BlockOut → BlockOut → Bool #

(/=) ∷ BlockOut → BlockOut → Bool #

Ord BlockOut Source # 
Instance details

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

Methods

compare ∷ BlockOut → BlockOut → Ordering #

(<) ∷ BlockOut → BlockOut → Bool #

(<=) ∷ BlockOut → BlockOut → Bool #

(>) ∷ BlockOut → BlockOut → Bool #

(>=) ∷ BlockOut → BlockOut → Bool #

max ∷ BlockOut → BlockOut → BlockOut #

min ∷ BlockOut → BlockOut → BlockOut #

FromCanonicalCBOR v BlockOut Source # 
Instance details

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

Methods

fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v BlockOut) Source #

ToCanonicalCBOR v BlockOut Source # 
Instance details

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

Methods

toCanonicalCBOR ∷ proxy v → BlockOut → CanonicalEncoding Source #

CanonicalCBOREntryDecoder "blocks/v0" BlockOut Source # 
Instance details

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

Methods

decodeEntry ∷ CanonicalDecoder s (Versioned "blocks/v0" BlockOut) Source #

CanonicalCBOREntryEncoder "blocks/v0" BlockOut Source # 
Instance details

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

Methods

encodeEntry ∷ BlockOut → CanonicalEncoding Source #

type Rep BlockOut Source # 
Instance details

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

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

Orphan instances

KnownNamespace "blocks/v0" Source #

Definition of the namespace.

Instance details

Associated Types

type NamespaceKey "blocks/v0" 
Instance details

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

type NamespaceKey "blocks/v0" = BlockIn
type NamespaceEntry "blocks/v0" 
Instance details

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

type NamespaceEntry "blocks/v0" = BlockOut