| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Network.LedgerPeerConsensusInterface
Contents
Synopsis
- data LedgerPeersConsensusInterface (m :: Type -> Type) = LedgerPeersConsensusInterface {
- readFetchMode :: STM m FetchMode
- getLedgerStateJudgement :: STM m LedgerStateJudgement
- updateOutboundConnectionsState :: OutboundConnectionsState -> STM m ()
- getImmutableBlockPoint :: forall r. Point RawBlockHash -> (m (Either GetImmutableBlockPointError (Point RawBlockHash)) -> m r) -> m r
- data GetImmutableBlockPointError
- data FetchMode
- data LedgerStateJudgement
- data OutboundConnectionsState
Documentation
data LedgerPeersConsensusInterface (m :: Type -> Type) Source #
Cardano Node specific consensus interface actions.
Constructors
| LedgerPeersConsensusInterface | |
Fields
| |
data GetImmutableBlockPointError Source #
Error returned by getImmutableBlockPoint.
Constructors
| ImmutableBlockPointGenesisPoint | Genesis point was provided as the target, which has no slot or hash to look up. |
| ImmutableBlockPointNotYetImmutable | The block was not found in ImmutableDB because the target slot is not yet immutable. |
| ImmutableBlockPointTipIsOrigin | ImmutableDB is empty (tip is at origin). |
Instances
| Show GetImmutableBlockPointError Source # | |
Defined in Cardano.Network.LedgerPeerConsensusInterface Methods showsPrec :: Int -> GetImmutableBlockPointError -> ShowS # show :: GetImmutableBlockPointError -> String # showList :: [GetImmutableBlockPointError] -> ShowS # | |
| Eq GetImmutableBlockPointError Source # | |
Defined in Cardano.Network.LedgerPeerConsensusInterface Methods (==) :: GetImmutableBlockPointError -> GetImmutableBlockPointError -> Bool # (/=) :: GetImmutableBlockPointError -> GetImmutableBlockPointError -> Bool # | |
Re-exports
Constructors
| GenesisFetchMode | |
| PraosFetchMode PraosFetchMode |
data LedgerStateJudgement #
Constructors
| YoungEnough | |
| TooOld |
Instances
| Generic LedgerStateJudgement | |||||
Defined in Cardano.Network.LedgerStateJudgement Associated Types
Methods from :: LedgerStateJudgement -> Rep LedgerStateJudgement x # to :: Rep LedgerStateJudgement x -> LedgerStateJudgement # | |||||
| Show LedgerStateJudgement | |||||
Defined in Cardano.Network.LedgerStateJudgement Methods showsPrec :: Int -> LedgerStateJudgement -> ShowS # show :: LedgerStateJudgement -> String # showList :: [LedgerStateJudgement] -> ShowS # | |||||
| Eq LedgerStateJudgement | |||||
Defined in Cardano.Network.LedgerStateJudgement Methods (==) :: LedgerStateJudgement -> LedgerStateJudgement -> Bool # (/=) :: LedgerStateJudgement -> LedgerStateJudgement -> Bool # | |||||
| NoThunks LedgerStateJudgement | |||||
Defined in Cardano.Network.LedgerStateJudgement | |||||
| type Rep LedgerStateJudgement | |||||
Defined in Cardano.Network.LedgerStateJudgement | |||||
data OutboundConnectionsState #
Constructors
| TrustedStateWithExternalPeers | |
| UntrustedState |