Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView

Contents

Hard fork
Type family instances

Synopsis

type HardForkLedgerView = HardForkLedgerView_ WrapLedgerView
data HardForkLedgerView_ f xs = HardForkLedgerView {
- hardForkLedgerViewTransition :: ! TransitionInfo
- hardForkLedgerViewPerEra :: !( HardForkState f xs)
}
data family Ticked st :: Type

Hard fork

type HardForkLedgerView = HardForkLedgerView_ WrapLedgerView Source #

data HardForkLedgerView_ f xs Source #

Constructors

HardForkLedgerView
Fields hardForkLedgerViewTransition :: ! TransitionInfo Information about the transition to the next era, if known hardForkLedgerViewPerEra :: !( HardForkState f xs) The underlying ledger view

Instances

Instances details

( SListI xs, Show ( Ticked a)) => Show ( Ticked ( HardForkLedgerView_ ( K a :: Type -> Type ) xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView Methods showsPrec :: Int -> Ticked ( HardForkLedgerView_ ( K a) xs) -> ShowS Source # show :: Ticked ( HardForkLedgerView_ ( K a) xs) -> String Source # showList :: [ Ticked ( HardForkLedgerView_ ( K a) xs)] -> ShowS Source #
( SListI xs, Show a) => Show ( HardForkLedgerView_ ( K a :: Type -> Type ) xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView Methods showsPrec :: Int -> HardForkLedgerView_ ( K a) xs -> ShowS Source # show :: HardForkLedgerView_ ( K a) xs -> String Source # showList :: [ HardForkLedgerView_ ( K a) xs] -> ShowS Source #
CanHardFork xs => Show ( HardForkLedgerView_ WrapLedgerView xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView Methods showsPrec :: Int -> HardForkLedgerView_ WrapLedgerView xs -> ShowS Source # show :: HardForkLedgerView_ WrapLedgerView xs -> String Source # showList :: [ HardForkLedgerView_ WrapLedgerView xs] -> ShowS Source #
data Ticked ( HardForkLedgerView_ f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView data Ticked ( HardForkLedgerView_ f xs) = TickedHardForkLedgerView { tickedHardForkLedgerViewTransition :: TransitionInfo tickedHardForkLedgerViewPerEra :: HardForkState ( Ticked :.: f) xs }

Type family instances

data family Ticked st :: Type 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

Show ( Ticked ()) Source #
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec :: Int -> Ticked () -> ShowS Source # show :: Ticked () -> String Source # showList :: [ Ticked ()] -> ShowS Source #
Show ( Ticked a) => Show ( Ticked ( K a x)) Source #
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec :: Int -> Ticked ( K a x) -> ShowS Source # show :: Ticked ( K a x) -> String Source # showList :: [ Ticked ( K a x)] -> ShowS Source #
( SListI xs, Show ( Ticked a)) => Show ( Ticked ( HardForkLedgerView_ ( K a :: Type -> Type ) xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView Methods showsPrec :: Int -> Ticked ( HardForkLedgerView_ ( K a) xs) -> ShowS Source # show :: Ticked ( HardForkLedgerView_ ( K a) xs) -> String Source # showList :: [ Ticked ( HardForkLedgerView_ ( K a) xs)] -> ShowS Source #
Generic ( Ticked ( LedgerState ( HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type Rep ( Ticked ( LedgerState ( HardForkBlock xs))) :: Type -> Type Source # Methods from :: Ticked ( LedgerState ( HardForkBlock xs)) -> Rep ( Ticked ( LedgerState ( HardForkBlock xs))) x Source # to :: Rep ( Ticked ( LedgerState ( HardForkBlock xs))) x -> Ticked ( LedgerState ( HardForkBlock xs)) Source #
NoThunks ( Ticked ( LedgerState ( DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks :: Context -> Ticked ( LedgerState ( DualBlock m a)) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Ticked ( LedgerState ( DualBlock m a)) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Ticked ( LedgerState ( DualBlock m a))) -> String Source #
CanHardFork xs => NoThunks ( Ticked ( LedgerState ( HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods noThunks :: Context -> Ticked ( LedgerState ( HardForkBlock xs)) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Ticked ( LedgerState ( HardForkBlock xs)) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Ticked ( LedgerState ( HardForkBlock xs))) -> String Source #
Bridge m a => GetTip ( Ticked ( LedgerState ( DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods getTip :: Ticked ( LedgerState ( DualBlock m a)) -> Point ( Ticked ( LedgerState ( DualBlock m a))) Source #
CanHardFork xs => GetTip ( Ticked ( LedgerState ( HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods getTip :: Ticked ( LedgerState ( HardForkBlock xs)) -> Point ( Ticked ( LedgerState ( HardForkBlock xs))) Source #
IsLedger ( LedgerState blk) => GetTip ( Ticked ( ExtLedgerState blk)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Methods getTip :: Ticked ( ExtLedgerState blk) -> Point ( Ticked ( ExtLedgerState blk)) Source #
IsLedger l => GetTip ( Ticked ( LedgerDB l)) Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.InMemory Methods getTip :: Ticked ( LedgerDB l) -> Point ( Ticked ( LedgerDB l)) Source #
Isomorphic ( Ticked :.: LedgerState ) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project :: NoHardForks blk => ( Ticked :.: LedgerState ) ( HardForkBlock '[blk]) -> ( Ticked :.: LedgerState ) blk Source # inject :: NoHardForks blk => ( Ticked :.: LedgerState ) blk -> ( Ticked :.: LedgerState ) ( HardForkBlock '[blk]) Source #
Show ( Ticked (f a)) => Show (( Ticked :.: f) a) Source #
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec :: Int -> ( 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) Source #
Instance details Defined in Ouroboros.Consensus.Ticked Methods noThunks :: Context -> ( Ticked :.: f) a -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> ( Ticked :.: f) a -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy (( Ticked :.: f) a) -> String Source #
data Ticked () Source #
Instance details Defined in Ouroboros.Consensus.Ticked data Ticked () = TickedTrivial
type Rep ( Ticked ( LedgerState ( HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type Rep ( Ticked ( LedgerState ( HardForkBlock xs))) = D1 (' MetaData "Ticked" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "TickedHardForkLedgerState" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "tickedHardForkLedgerStateTransition") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 TransitionInfo ) :*: S1 (' MetaSel (' Just "tickedHardForkLedgerStatePerEra") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HardForkState ( Ticked :.: LedgerState ) xs))))
type HeaderHash ( Ticked l) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Basics type HeaderHash ( Ticked l) = HeaderHash l
data Ticked ( LedgerState ( DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data Ticked ( LedgerState ( DualBlock m a)) = TickedDualLedgerState { tickedDualLedgerStateMain :: Ticked ( LedgerState m) tickedDualLedgerStateAux :: Ticked ( LedgerState a) tickedDualLedgerStateBridge :: BridgeLedger m a tickedDualLedgerStateAuxOrig :: LedgerState a }
data Ticked ( LedgerState ( HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger data Ticked ( LedgerState ( HardForkBlock xs)) = TickedHardForkLedgerState { tickedHardForkLedgerStateTransition :: ! TransitionInfo tickedHardForkLedgerStatePerEra :: !( HardForkState ( Ticked :.: LedgerState ) xs) }
data Ticked ( HeaderState blk) Source #
Instance details Defined in Ouroboros.Consensus.HeaderValidation data Ticked ( HeaderState blk) = TickedHeaderState { untickedHeaderStateTip :: WithOrigin ( AnnTip blk) tickedHeaderStateChainDep :: Ticked ( ChainDepState ( BlockProtocol blk)) }
newtype Ticked ( WrapLedgerView blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers newtype Ticked ( WrapLedgerView blk) = WrapTickedLedgerView { unwrapTickedLedgerView :: Ticked ( LedgerView ( BlockProtocol blk)) }
newtype Ticked ( WrapChainDepState blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers newtype Ticked ( WrapChainDepState blk) = WrapTickedChainDepState { unwrapTickedChainDepState :: Ticked ( ChainDepState ( BlockProtocol blk)) }
data Ticked ( ExtLedgerState blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended data Ticked ( ExtLedgerState blk) = TickedExtLedgerState { tickedLedgerState :: Ticked ( LedgerState blk) tickedLedgerView :: Ticked ( LedgerView ( BlockProtocol blk)) tickedHeaderState :: Ticked ( HeaderState blk) }
data Ticked ( LedgerDB l) Source #	Ticking the ledger DB just ticks the current state We don't push the new state into the DB until we apply a block.
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.InMemory data Ticked ( LedgerDB l) = TickedLedgerDB { tickedLedgerDbTicked :: Ticked l tickedLedgerDbOrig :: LedgerDB l }
data Ticked ( HardForkChainDepState xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol data Ticked ( HardForkChainDepState xs) = TickedHardForkChainDepState { tickedHardForkChainDepStatePerEra :: HardForkState ( Ticked :.: WrapChainDepState ) xs tickedHardForkChainDepStateEpochInfo :: EpochInfo ( Except PastHorizonException ) }
data Ticked ( PBftState c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT data Ticked ( PBftState c) = TickedPBftState { tickedPBftLedgerView :: Ticked ( LedgerView ( PBft c)) getTickedPBftState :: PBftState c }
newtype Ticked ( PBftLedgerView c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT newtype Ticked ( PBftLedgerView c) = TickedPBftLedgerView { tickedPBftDelegates :: Bimap ( PBftVerKeyHash c) ( PBftVerKeyHash c) }
data Ticked ( HardForkLedgerView_ f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView data Ticked ( HardForkLedgerView_ f xs) = TickedHardForkLedgerView { tickedHardForkLedgerViewTransition :: TransitionInfo tickedHardForkLedgerViewPerEra :: HardForkState ( Ticked :.: f) xs }
newtype Ticked ( K a x) Source #
Instance details Defined in Ouroboros.Consensus.Ticked newtype Ticked ( K a x) = TickedK { getTickedK :: Ticked a }