ouroboros-consensus-byronspec-0.1.0.0: ByronSpec ledger integration in the Ouroboros consensus layer
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Synopsis

Documentation

Type family instances

data family LedgerState blk Source #

Ledger state associated with a block

Instances

Instances details
Eq (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Eq (Ticked (LedgerState ByronSpecBlock)) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Show (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Show (Ticked (LedgerState ByronSpecBlock)) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Generic (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Associated Types

type Rep (LedgerState ByronSpecBlock) ∷ TypeType Source #

Serialise (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

GetTip (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

GetTip (Ticked (LedgerState ByronSpecBlock)) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

IsLedger (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

NoThunks (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

noThunks ∷ Context → LedgerState ByronSpecBlockIO (Maybe ThunkInfo) #

wNoThunks ∷ Context → LedgerState ByronSpecBlockIO (Maybe ThunkInfo) #

showTypeOfProxy (LedgerState ByronSpecBlock) → String #

NoThunks (Ticked (LedgerState ByronSpecBlock)) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

noThunks ∷ Context → Ticked (LedgerState ByronSpecBlock) → IO (Maybe ThunkInfo) #

wNoThunks ∷ Context → Ticked (LedgerState ByronSpecBlock) → IO (Maybe ThunkInfo) #

showTypeOfProxy (Ticked (LedgerState ByronSpecBlock)) → String #

ApplyBlock (LedgerState ByronSpecBlock) ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

data LedgerState ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type Rep (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type Rep (LedgerState ByronSpecBlock) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.ByronSpec.Ledger.Ledger" "ouroboros-consensus-byronspec-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ByronSpecLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronSpecLedgerTip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SlotNo)) :*: S1 ('MetaSel ('Just "byronSpecLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (State CHAIN))))
type LedgerCfg (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type AuxLedgerEvent (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type LedgerErr (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

data Ticked (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type HeaderHash (LedgerState blk) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

data family Ticked st Source #

" Ticked " piece of state (LedgerState, LedgerView, ChainIndepState)

Ticking refers to the passage of time (the ticking of the clock). When a piece of state is marked as ticked, it means that time-related changes have been applied to the state (or forecast).

Some examples of time related changes:

  • Scheduled delegations might have been applied in Byron
  • New leader schedule computed for Shelley
  • Transition from Byron to Shelley activated in the hard fork combinator.
  • Nonces switched out at the start of a new epoch.

Instances

Instances details
Eq (Ticked (LedgerState ByronSpecBlock)) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Show (Ticked ()) 
Instance details

Defined in Ouroboros.Consensus.Ticked

Methods

showsPrecIntTicked () → ShowS Source #

showTicked () → String Source #

showList ∷ [Ticked ()] → ShowS Source #

Show (Ticked (LedgerState ByronSpecBlock)) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Show (Ticked a) ⇒ Show (Ticked (K a x)) 
Instance details

Defined in Ouroboros.Consensus.Ticked

Methods

showsPrecIntTicked (K a x) → ShowS Source #

showTicked (K a x) → String Source #

showList ∷ [Ticked (K a x)] → ShowS Source #

GetTip (Ticked (LedgerState ByronSpecBlock)) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

NoThunks (Ticked (LedgerState ByronSpecBlock)) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

noThunks ∷ Context → Ticked (LedgerState ByronSpecBlock) → IO (Maybe ThunkInfo) #

wNoThunks ∷ Context → Ticked (LedgerState ByronSpecBlock) → IO (Maybe ThunkInfo) #

showTypeOfProxy (Ticked (LedgerState ByronSpecBlock)) → String #

Show (Ticked (f a)) ⇒ Show ((Ticked :.: f) a) 
Instance details

Defined in Ouroboros.Consensus.Ticked

Methods

showsPrecInt → (Ticked :.: f) a → ShowS Source #

show ∷ (Ticked :.: f) a → String Source #

showList ∷ [(Ticked :.: f) a] → ShowS Source #

NoThunks (Ticked (f a)) ⇒ NoThunks ((Ticked :.: f) a) 
Instance details

Defined in Ouroboros.Consensus.Ticked

Methods

noThunks ∷ Context → (Ticked :.: f) a → IO (Maybe ThunkInfo) #

wNoThunks ∷ Context → (Ticked :.: f) a → IO (Maybe ThunkInfo) #

showTypeOfProxy ((Ticked :.: f) a) → String #

data Ticked () 
Instance details

Defined in Ouroboros.Consensus.Ticked

data Ticked (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type HeaderHash (Ticked l) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

newtype Ticked (K a x) 
Instance details

Defined in Ouroboros.Consensus.Ticked

newtype Ticked (K a x) = TickedK {}

Orphan instances

CommonProtocolParams ByronSpecBlock Source # 
Instance details

UpdateLedger ByronSpecBlock Source # 
Instance details

Eq (LedgerState ByronSpecBlock) Source # 
Instance details

Eq (Ticked (LedgerState ByronSpecBlock)) Source # 
Instance details

Show (LedgerState ByronSpecBlock) Source # 
Instance details

Show (Ticked (LedgerState ByronSpecBlock)) Source # 
Instance details

Generic (LedgerState ByronSpecBlock) Source # 
Instance details

Associated Types

type Rep (LedgerState ByronSpecBlock) ∷ TypeType Source #

Serialise (LedgerState ByronSpecBlock) Source # 
Instance details

GetTip (LedgerState ByronSpecBlock) Source # 
Instance details

GetTip (Ticked (LedgerState ByronSpecBlock)) Source # 
Instance details

IsLedger (LedgerState ByronSpecBlock) Source # 
Instance details

NoThunks (LedgerState ByronSpecBlock) Source # 
Instance details

Methods

noThunks ∷ Context → LedgerState ByronSpecBlockIO (Maybe ThunkInfo) #

wNoThunks ∷ Context → LedgerState ByronSpecBlockIO (Maybe ThunkInfo) #

showTypeOfProxy (LedgerState ByronSpecBlock) → String #

NoThunks (Ticked (LedgerState ByronSpecBlock)) Source # 
Instance details

Methods

noThunks ∷ Context → Ticked (LedgerState ByronSpecBlock) → IO (Maybe ThunkInfo) #

wNoThunks ∷ Context → Ticked (LedgerState ByronSpecBlock) → IO (Maybe ThunkInfo) #

showTypeOfProxy (Ticked (LedgerState ByronSpecBlock)) → String #

ApplyBlock (LedgerState ByronSpecBlock) ByronSpecBlock Source # 
Instance details