ouroboros-consensus-0.1.0.1: Consensus layer for the Ouroboros blockchain protocol
Safe Haskell None
Language Haskell2010

Ouroboros.Consensus.HardFork.Combinator.Basics

Synopsis

Hard fork protocol, block, and ledger state

newtype HardForkBlock xs Source #

Constructors

HardForkBlock

Fields

Instances

Instances details
Typeable xs => ShowProxy ( Header ( HardForkBlock xs) :: Type ) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

showProxy :: Proxy ( Header ( HardForkBlock xs)) -> String Source #

Typeable xs => ShowProxy ( TxId ( GenTx ( HardForkBlock xs)) :: Type ) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showProxy :: Proxy ( TxId ( GenTx ( HardForkBlock xs))) -> String Source #

Typeable xs => ShowProxy ( GenTx ( HardForkBlock xs) :: Type ) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showProxy :: Proxy ( GenTx ( HardForkBlock xs)) -> String Source #

CanHardFork xs => HasNestedContent Header ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

unnest :: Header ( HardForkBlock xs) -> DepPair ( NestedCtxt Header ( HardForkBlock xs)) Source #

nest :: DepPair ( NestedCtxt Header ( HardForkBlock xs)) -> Header ( HardForkBlock xs) Source #

SerialiseHFC xs => ReconstructNestedCtxt Header ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

reconstructPrefixLen :: proxy ( Header ( HardForkBlock xs)) -> PrefixLen Source #

reconstructNestedCtxt :: proxy ( Header ( HardForkBlock xs)) -> ShortByteString -> SizeInBytes -> SomeSecond ( NestedCtxt Header ) ( HardForkBlock xs) Source #

All ( Compose Eq Header ) xs => Eq ( Header ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

(==) :: Header ( HardForkBlock xs) -> Header ( HardForkBlock xs) -> Bool Source #

(/=) :: Header ( HardForkBlock xs) -> Header ( HardForkBlock xs) -> Bool Source #

CanHardFork xs => Eq ( LedgerState ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

(==) :: LedgerState ( HardForkBlock xs) -> LedgerState ( HardForkBlock xs) -> Bool Source #

(/=) :: LedgerState ( HardForkBlock xs) -> LedgerState ( HardForkBlock xs) -> Bool Source #

CanHardFork xs => Eq ( Validated ( GenTx ( HardForkBlock xs))) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

(==) :: Validated ( GenTx ( HardForkBlock xs)) -> Validated ( GenTx ( HardForkBlock xs)) -> Bool Source #

(/=) :: Validated ( GenTx ( HardForkBlock xs)) -> Validated ( GenTx ( HardForkBlock xs)) -> Bool Source #

CanHardFork xs => Eq ( TxId ( GenTx ( HardForkBlock xs))) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

(==) :: TxId ( GenTx ( HardForkBlock xs)) -> TxId ( GenTx ( HardForkBlock xs)) -> Bool Source #

(/=) :: TxId ( GenTx ( HardForkBlock xs)) -> TxId ( GenTx ( HardForkBlock xs)) -> Bool Source #

CanHardFork xs => Eq ( GenTx ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

(==) :: GenTx ( HardForkBlock xs) -> GenTx ( HardForkBlock xs) -> Bool Source #

(/=) :: GenTx ( HardForkBlock xs) -> GenTx ( HardForkBlock xs) -> Bool Source #

All Eq xs => Eq ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

(==) :: HardForkBlock xs -> HardForkBlock xs -> Bool Source #

(/=) :: HardForkBlock xs -> HardForkBlock xs -> Bool Source #

CanHardFork xs => Ord ( TxId ( GenTx ( HardForkBlock xs))) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

compare :: TxId ( GenTx ( HardForkBlock xs)) -> TxId ( GenTx ( HardForkBlock xs)) -> Ordering Source #

(<) :: TxId ( GenTx ( HardForkBlock xs)) -> TxId ( GenTx ( HardForkBlock xs)) -> Bool Source #

(<=) :: TxId ( GenTx ( HardForkBlock xs)) -> TxId ( GenTx ( HardForkBlock xs)) -> Bool Source #

(>) :: TxId ( GenTx ( HardForkBlock xs)) -> TxId ( GenTx ( HardForkBlock xs)) -> Bool Source #

(>=) :: TxId ( GenTx ( HardForkBlock xs)) -> TxId ( GenTx ( HardForkBlock xs)) -> Bool Source #

max :: TxId ( GenTx ( HardForkBlock xs)) -> TxId ( GenTx ( HardForkBlock xs)) -> TxId ( GenTx ( HardForkBlock xs)) Source #

min :: TxId ( GenTx ( HardForkBlock xs)) -> TxId ( GenTx ( HardForkBlock xs)) -> TxId ( GenTx ( HardForkBlock xs)) Source #

CanHardFork xs => Show ( Header ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

showsPrec :: Int -> Header ( HardForkBlock xs) -> ShowS Source #

show :: Header ( HardForkBlock xs) -> String Source #

showList :: [ Header ( HardForkBlock xs)] -> ShowS Source #

CanHardFork xs => Show ( LedgerState ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

showsPrec :: Int -> LedgerState ( HardForkBlock xs) -> ShowS Source #

show :: LedgerState ( HardForkBlock xs) -> String Source #

showList :: [ LedgerState ( HardForkBlock xs)] -> ShowS Source #

CanHardFork xs => Show ( Validated ( GenTx ( HardForkBlock xs))) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showsPrec :: Int -> Validated ( GenTx ( HardForkBlock xs)) -> ShowS Source #

show :: Validated ( GenTx ( HardForkBlock xs)) -> String Source #

showList :: [ Validated ( GenTx ( HardForkBlock xs))] -> ShowS Source #

CanHardFork xs => Show ( TxId ( GenTx ( HardForkBlock xs))) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showsPrec :: Int -> TxId ( GenTx ( HardForkBlock xs)) -> ShowS Source #

show :: TxId ( GenTx ( HardForkBlock xs)) -> String Source #

showList :: [ TxId ( GenTx ( HardForkBlock xs))] -> ShowS Source #

CanHardFork xs => Show ( GenTx ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showsPrec :: Int -> GenTx ( HardForkBlock xs) -> ShowS Source #

show :: GenTx ( HardForkBlock xs) -> String Source #

showList :: [ GenTx ( HardForkBlock xs)] -> ShowS Source #

CanHardFork xs => Show ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

showsPrec :: Int -> HardForkBlock xs -> ShowS Source #

show :: HardForkBlock xs -> String Source #

showList :: [ HardForkBlock 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 #

Generic ( Validated ( GenTx ( HardForkBlock xs))) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

type Rep ( Validated ( GenTx ( HardForkBlock xs))) :: Type -> Type Source #

Methods

from :: Validated ( GenTx ( HardForkBlock xs)) -> Rep ( Validated ( GenTx ( HardForkBlock xs))) x Source #

to :: Rep ( Validated ( GenTx ( HardForkBlock xs))) x -> Validated ( GenTx ( HardForkBlock xs)) Source #

Generic ( TxId ( GenTx ( HardForkBlock xs))) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

type Rep ( TxId ( GenTx ( HardForkBlock xs))) :: Type -> Type Source #

Methods

from :: TxId ( GenTx ( HardForkBlock xs)) -> Rep ( TxId ( GenTx ( HardForkBlock xs))) x Source #

to :: Rep ( TxId ( GenTx ( HardForkBlock xs))) x -> TxId ( GenTx ( HardForkBlock xs)) Source #

Generic ( GenTx ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

type Rep ( GenTx ( HardForkBlock xs)) :: Type -> Type Source #

Methods

from :: GenTx ( HardForkBlock xs) -> Rep ( GenTx ( HardForkBlock xs)) x Source #

to :: Rep ( GenTx ( HardForkBlock xs)) x -> GenTx ( HardForkBlock xs) 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 #

CanHardFork xs => NoThunks ( Header ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

noThunks :: Context -> Header ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> Header ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( Header ( HardForkBlock xs)) -> String Source #

CanHardFork xs => NoThunks ( StorageConfig ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

noThunks :: Context -> StorageConfig ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> StorageConfig ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( StorageConfig ( HardForkBlock xs)) -> String Source #

CanHardFork xs => NoThunks ( CodecConfig ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

noThunks :: Context -> CodecConfig ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> CodecConfig ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( CodecConfig ( HardForkBlock xs)) -> String Source #

CanHardFork xs => NoThunks ( BlockConfig ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

noThunks :: Context -> BlockConfig ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> BlockConfig ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( BlockConfig ( HardForkBlock xs)) -> String Source #

CanHardFork xs => NoThunks ( LedgerState ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

noThunks :: Context -> LedgerState ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> LedgerState ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( LedgerState ( HardForkBlock xs)) -> String Source #

CanHardFork xs => NoThunks ( Validated ( GenTx ( HardForkBlock xs))) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

noThunks :: Context -> Validated ( GenTx ( HardForkBlock xs)) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> Validated ( GenTx ( HardForkBlock xs)) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( Validated ( GenTx ( HardForkBlock xs))) -> String Source #

CanHardFork xs => NoThunks ( TxId ( GenTx ( HardForkBlock xs))) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

noThunks :: Context -> TxId ( GenTx ( HardForkBlock xs)) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> TxId ( GenTx ( HardForkBlock xs)) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( TxId ( GenTx ( HardForkBlock xs))) -> String Source #

CanHardFork xs => NoThunks ( GenTx ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

noThunks :: Context -> GenTx ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> GenTx ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( GenTx ( HardForkBlock xs)) -> String Source #

All SingleEraBlock xs => ShowQuery ( BlockQuery ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query

Methods

showResult :: BlockQuery ( HardForkBlock xs) result -> result -> String Source #

CanHardFork xs => HasHeader ( Header ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

getHeaderFields :: Header ( HardForkBlock xs) -> HeaderFields ( Header ( HardForkBlock xs)) Source #

CanHardFork xs => HasHeader ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

getHeaderFields :: HardForkBlock xs -> HeaderFields ( HardForkBlock xs) Source #

CanHardFork xs => StandardHash ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

SerialiseHFC xs => HasNetworkProtocolVersion ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.Common

Associated Types

type BlockNodeToNodeVersion ( HardForkBlock xs) Source #

type BlockNodeToClientVersion ( HardForkBlock xs) Source #

All SingleEraBlock xs => SameDepIndex ( BlockQuery ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query

Methods

sameDepIndex :: BlockQuery ( HardForkBlock xs) a -> BlockQuery ( HardForkBlock xs) b -> Maybe (a :~: b) Source #

All CondenseConstraints xs => Condense ( Header ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Condense

Methods

condense :: Header ( HardForkBlock xs) -> String Source #

All CondenseConstraints xs => Condense ( TxId ( GenTx ( HardForkBlock xs))) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Condense

Methods

condense :: TxId ( GenTx ( HardForkBlock xs)) -> String Source #

All CondenseConstraints xs => Condense ( GenTx ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Condense

Methods

condense :: GenTx ( HardForkBlock xs) -> String Source #

All CondenseConstraints xs => Condense ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Condense

Methods

condense :: HardForkBlock xs -> String Source #

CanHardFork xs => ConvertRawHash ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

toRawHash :: proxy ( HardForkBlock xs) -> HeaderHash ( HardForkBlock xs) -> ByteString Source #

fromRawHash :: proxy ( HardForkBlock xs) -> ByteString -> HeaderHash ( HardForkBlock xs) Source #

toShortRawHash :: proxy ( HardForkBlock xs) -> HeaderHash ( HardForkBlock xs) -> ShortByteString Source #

fromShortRawHash :: proxy ( HardForkBlock xs) -> ShortByteString -> HeaderHash ( HardForkBlock xs) Source #

hashSize :: proxy ( HardForkBlock xs) -> Word32 Source #

CanHardFork xs => GetHeader ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

getHeader :: HardForkBlock xs -> Header ( HardForkBlock xs) Source #

blockMatchesHeader :: Header ( HardForkBlock xs) -> HardForkBlock xs -> Bool Source #

headerIsEBB :: Header ( HardForkBlock xs) -> Maybe EpochNo Source #

CanHardFork xs => GetPrevHash ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

headerPrevHash :: Header ( HardForkBlock xs) -> ChainHash ( HardForkBlock xs) Source #

CanHardFork xs => IsLedger ( LedgerState ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Associated Types

type LedgerErr ( LedgerState ( HardForkBlock xs)) Source #

type AuxLedgerEvent ( LedgerState ( HardForkBlock xs)) Source #

Methods

applyChainTickLedgerResult :: LedgerCfg ( LedgerState ( HardForkBlock xs)) -> SlotNo -> LedgerState ( HardForkBlock xs) -> LedgerResult ( LedgerState ( HardForkBlock xs)) ( Ticked ( LedgerState ( HardForkBlock xs))) 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 #

CanHardFork xs => GetTip ( LedgerState ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

getTip :: LedgerState ( HardForkBlock xs) -> Point ( LedgerState ( HardForkBlock xs)) Source #

CanHardFork xs => UpdateLedger ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

CanHardFork xs => LedgerSupportsPeerSelection ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.PeerSelection

Methods

getPeers :: LedgerState ( HardForkBlock xs) -> [( PoolStake , NonEmpty StakePoolRelay )] Source #

CanHardFork xs => CommonProtocolParams ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.CommonProtocolParams

Methods

maxHeaderSize :: LedgerState ( HardForkBlock xs) -> Word32 Source #

maxTxSize :: LedgerState ( HardForkBlock xs) -> Word32 Source #

CanHardFork xs => BlockSupportsProtocol ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol

Methods

validateView :: BlockConfig ( HardForkBlock xs) -> Header ( HardForkBlock xs) -> ValidateView ( BlockProtocol ( HardForkBlock xs)) Source #

selectView :: BlockConfig ( HardForkBlock xs) -> Header ( HardForkBlock xs) -> SelectView ( BlockProtocol ( HardForkBlock xs)) Source #

CanHardFork xs => BlockSupportsMetrics ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Node.Metrics

Methods

isSelfIssued :: BlockConfig ( HardForkBlock xs) -> Header ( HardForkBlock xs) -> WhetherSelfIssued Source #

All HasTxs xs => HasTxs ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

extractTxs :: HardForkBlock xs -> [ GenTx ( HardForkBlock xs)] Source #

CanHardFork xs => HasTxId ( GenTx ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

txId :: GenTx ( HardForkBlock xs) -> TxId ( GenTx ( HardForkBlock xs)) Source #

CanHardFork xs => LedgerSupportsMempool ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

txInvariant :: GenTx ( HardForkBlock xs) -> Bool Source #

applyTx :: LedgerConfig ( HardForkBlock xs) -> WhetherToIntervene -> SlotNo -> GenTx ( HardForkBlock xs) -> TickedLedgerState ( HardForkBlock xs) -> Except ( ApplyTxErr ( HardForkBlock xs)) ( TickedLedgerState ( HardForkBlock xs), Validated ( GenTx ( HardForkBlock xs))) Source #

reapplyTx :: LedgerConfig ( HardForkBlock xs) -> SlotNo -> Validated ( GenTx ( HardForkBlock xs)) -> TickedLedgerState ( HardForkBlock xs) -> Except ( ApplyTxErr ( HardForkBlock xs)) ( TickedLedgerState ( HardForkBlock xs)) Source #

txsMaxBytes :: TickedLedgerState ( HardForkBlock xs) -> Word32 Source #

txInBlockSize :: GenTx ( HardForkBlock xs) -> Word32 Source #

txForgetValidated :: Validated ( GenTx ( HardForkBlock xs)) -> GenTx ( HardForkBlock xs) Source #

CanHardFork xs => ValidateEnvelope ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Associated Types

type OtherHeaderEnvelopeError ( HardForkBlock xs) Source #

Methods

additionalEnvelopeChecks :: TopLevelConfig ( HardForkBlock xs) -> Ticked ( LedgerView ( BlockProtocol ( HardForkBlock xs))) -> Header ( HardForkBlock xs) -> Except ( OtherHeaderEnvelopeError ( HardForkBlock xs)) () Source #

CanHardFork xs => BasicEnvelopeValidation ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

expectedFirstBlockNo :: proxy ( HardForkBlock xs) -> BlockNo Source #

expectedNextBlockNo :: proxy ( HardForkBlock xs) -> TipInfo ( HardForkBlock xs) -> TipInfo ( HardForkBlock xs) -> BlockNo -> BlockNo Source #

minimumPossibleSlotNo :: Proxy ( HardForkBlock xs) -> SlotNo Source #

minimumNextSlotNo :: proxy ( HardForkBlock xs) -> TipInfo ( HardForkBlock xs) -> TipInfo ( HardForkBlock xs) -> SlotNo -> SlotNo Source #

CanHardFork xs => HasAnnTip ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Associated Types

type TipInfo ( HardForkBlock xs) Source #

Methods

getTipInfo :: Header ( HardForkBlock xs) -> TipInfo ( HardForkBlock xs) Source #

tipInfoHash :: proxy ( HardForkBlock xs) -> TipInfo ( HardForkBlock xs) -> HeaderHash ( HardForkBlock xs) Source #

CanHardFork xs => InspectLedger ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Associated Types

type LedgerWarning ( HardForkBlock xs) Source #

type LedgerUpdate ( HardForkBlock xs) Source #

Methods

inspectLedger :: TopLevelConfig ( HardForkBlock xs) -> LedgerState ( HardForkBlock xs) -> LedgerState ( HardForkBlock xs) -> [ LedgerEvent ( HardForkBlock xs)] Source #

SerialiseHFC xs => HasBinaryBlockInfo ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

getBinaryBlockInfo :: HardForkBlock xs -> BinaryBlockInfo Source #

CanHardFork xs => LedgerSupportsProtocol ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

protocolLedgerView :: LedgerConfig ( HardForkBlock xs) -> Ticked ( LedgerState ( HardForkBlock xs)) -> Ticked ( LedgerView ( BlockProtocol ( HardForkBlock xs))) Source #

ledgerViewForecastAt :: LedgerConfig ( HardForkBlock xs) -> LedgerState ( HardForkBlock xs) -> Forecast ( LedgerView ( BlockProtocol ( HardForkBlock xs))) Source #

All SingleEraBlock xs => HasHardForkHistory ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Associated Types

type HardForkIndices ( HardForkBlock xs) :: [ Type ] Source #

Methods

hardForkSummary :: LedgerConfig ( HardForkBlock xs) -> LedgerState ( HardForkBlock xs) -> Summary ( HardForkIndices ( HardForkBlock xs)) Source #

CanHardFork xs => ConfigSupportsNode ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Node

Methods

getSystemStart :: BlockConfig ( HardForkBlock xs) -> SystemStart Source #

getNetworkMagic :: BlockConfig ( HardForkBlock xs) -> NetworkMagic Source #

All SingleEraBlock xs => QueryLedger ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query

Methods

answerBlockQuery :: ExtLedgerCfg ( HardForkBlock xs) -> BlockQuery ( HardForkBlock xs) result -> ExtLedgerState ( HardForkBlock xs) -> result Source #

CanHardFork xs => NodeInitStorage ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Node.InitStorage

Methods

nodeImmutableDbChunkInfo :: StorageConfig ( HardForkBlock xs) -> ChunkInfo Source #

nodeCheckIntegrity :: StorageConfig ( HardForkBlock xs) -> HardForkBlock xs -> Bool Source #

nodeInitChainDB :: IOLike m => StorageConfig ( HardForkBlock xs) -> InitChainDB m ( HardForkBlock xs) -> m () Source #

SerialiseHFC xs => SerialiseDiskConstraints ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

( CanHardFork xs, SupportedNetworkProtocolVersion ( HardForkBlock xs), SerialiseHFC xs) => RunNode ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Node

SerialiseHFC xs => SerialiseNodeToClientConstraints ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient

SerialiseHFC xs => SerialiseNodeToNodeConstraints ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode

Methods

estimateBlockSize :: Header ( HardForkBlock xs) -> SizeInBytes Source #

SerialiseHFC xs => SerialiseNodeToClient ( HardForkBlock xs) SlotNo Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient

Methods

encodeNodeToClient :: CodecConfig ( HardForkBlock xs) -> BlockNodeToClientVersion ( HardForkBlock xs) -> SlotNo -> Encoding Source #

decodeNodeToClient :: CodecConfig ( HardForkBlock xs) -> BlockNodeToClientVersion ( HardForkBlock xs) -> forall s. Decoder s SlotNo Source #

Typeable xs => ShowProxy ( HardForkBlock xs :: Type ) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

showProxy :: Proxy ( HardForkBlock xs) -> String Source #

CanHardFork xs => ApplyBlock ( LedgerState ( HardForkBlock xs)) ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

applyBlockLedgerResult :: LedgerCfg ( LedgerState ( HardForkBlock xs)) -> HardForkBlock xs -> Ticked ( LedgerState ( HardForkBlock xs)) -> Except ( LedgerErr ( LedgerState ( HardForkBlock xs))) ( LedgerResult ( LedgerState ( HardForkBlock xs)) ( LedgerState ( HardForkBlock xs))) Source #

reapplyBlockLedgerResult :: LedgerCfg ( LedgerState ( HardForkBlock xs)) -> HardForkBlock xs -> Ticked ( LedgerState ( HardForkBlock xs)) -> LedgerResult ( LedgerState ( HardForkBlock xs)) ( LedgerState ( HardForkBlock xs)) Source #

SerialiseHFC xs => DecodeDiskDep ( NestedCtxt Header ) ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

decodeDiskDep :: CodecConfig ( HardForkBlock xs) -> NestedCtxt Header ( HardForkBlock xs) a -> forall s. Decoder s ( ByteString -> a) Source #

SerialiseHFC xs => DecodeDiskDepIx ( NestedCtxt Header ) ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

decodeDiskDepIx :: CodecConfig ( HardForkBlock xs) -> Decoder s ( SomeSecond ( NestedCtxt Header ) ( HardForkBlock xs)) Source #

SerialiseHFC xs => EncodeDiskDep ( NestedCtxt Header ) ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

encodeDiskDep :: CodecConfig ( HardForkBlock xs) -> NestedCtxt Header ( HardForkBlock xs) a -> a -> Encoding Source #

SerialiseHFC xs => EncodeDiskDepIx ( NestedCtxt Header ) ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

encodeDiskDepIx :: CodecConfig ( HardForkBlock xs) -> SomeSecond ( NestedCtxt Header ) ( HardForkBlock xs) -> Encoding Source #

SerialiseHFC xs => DecodeDisk ( HardForkBlock xs) ( LedgerState ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

decodeDisk :: CodecConfig ( HardForkBlock xs) -> forall s. Decoder s ( LedgerState ( HardForkBlock xs)) Source #

SerialiseHFC xs => DecodeDisk ( HardForkBlock xs) ( HardForkChainDepState xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

decodeDisk :: CodecConfig ( HardForkBlock xs) -> forall s. Decoder s ( HardForkChainDepState xs) Source #

SerialiseHFC xs => DecodeDisk ( HardForkBlock xs) ( AnnTip ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

decodeDisk :: CodecConfig ( HardForkBlock xs) -> forall s. Decoder s ( AnnTip ( HardForkBlock xs)) Source #

SerialiseHFC xs => EncodeDisk ( HardForkBlock xs) ( LedgerState ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

encodeDisk :: CodecConfig ( HardForkBlock xs) -> LedgerState ( HardForkBlock xs) -> Encoding Source #

SerialiseHFC xs => EncodeDisk ( HardForkBlock xs) ( HardForkChainDepState xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

encodeDisk :: CodecConfig ( HardForkBlock xs) -> HardForkChainDepState xs -> Encoding Source #

SerialiseHFC xs => EncodeDisk ( HardForkBlock xs) ( AnnTip ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

encodeDisk :: CodecConfig ( HardForkBlock xs) -> AnnTip ( HardForkBlock xs) -> Encoding Source #

SerialiseHFC xs => EncodeDisk ( HardForkBlock xs) ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

encodeDisk :: CodecConfig ( HardForkBlock xs) -> HardForkBlock xs -> Encoding Source #

SerialiseHFC xs => SerialiseResult ( HardForkBlock xs) ( BlockQuery ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient

Methods

encodeResult :: CodecConfig ( HardForkBlock xs) -> BlockNodeToClientVersion ( HardForkBlock xs) -> BlockQuery ( HardForkBlock xs) result -> result -> Encoding Source #

decodeResult :: CodecConfig ( HardForkBlock xs) -> BlockNodeToClientVersion ( HardForkBlock xs) -> BlockQuery ( HardForkBlock xs) result -> forall s. Decoder s result Source #

SerialiseHFC xs => SerialiseNodeToClient ( HardForkBlock xs) ( HardForkApplyTxErr xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient

Methods

encodeNodeToClient :: CodecConfig ( HardForkBlock xs) -> BlockNodeToClientVersion ( HardForkBlock xs) -> HardForkApplyTxErr xs -> Encoding Source #

decodeNodeToClient :: CodecConfig ( HardForkBlock xs) -> BlockNodeToClientVersion ( HardForkBlock xs) -> forall s. Decoder s ( HardForkApplyTxErr xs) Source #

SerialiseHFC xs => SerialiseNodeToClient ( HardForkBlock xs) ( GenTxId ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient

Methods

encodeNodeToClient :: CodecConfig ( HardForkBlock xs) -> BlockNodeToClientVersion ( HardForkBlock xs) -> GenTxId ( HardForkBlock xs) -> Encoding Source #

decodeNodeToClient :: CodecConfig ( HardForkBlock xs) -> BlockNodeToClientVersion ( HardForkBlock xs) -> forall s. Decoder s ( GenTxId ( HardForkBlock xs)) Source #

SerialiseHFC xs => SerialiseNodeToClient ( HardForkBlock xs) ( GenTx ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient

Methods

encodeNodeToClient :: CodecConfig ( HardForkBlock xs) -> BlockNodeToClientVersion ( HardForkBlock xs) -> GenTx ( HardForkBlock xs) -> Encoding Source #

decodeNodeToClient :: CodecConfig ( HardForkBlock xs) -> BlockNodeToClientVersion ( HardForkBlock xs) -> forall s. Decoder s ( GenTx ( HardForkBlock xs)) Source #

SerialiseHFC xs => SerialiseNodeToClient ( HardForkBlock xs) ( Serialised ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient

Methods

encodeNodeToClient :: CodecConfig ( HardForkBlock xs) -> BlockNodeToClientVersion ( HardForkBlock xs) -> Serialised ( HardForkBlock xs) -> Encoding Source #

decodeNodeToClient :: CodecConfig ( HardForkBlock xs) -> BlockNodeToClientVersion ( HardForkBlock xs) -> forall s. Decoder s ( Serialised ( HardForkBlock xs)) Source #

SerialiseHFC xs => SerialiseNodeToClient ( HardForkBlock xs) ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient

Methods

encodeNodeToClient :: CodecConfig ( HardForkBlock xs) -> BlockNodeToClientVersion ( HardForkBlock xs) -> HardForkBlock xs -> Encoding Source #

decodeNodeToClient :: CodecConfig ( HardForkBlock xs) -> BlockNodeToClientVersion ( HardForkBlock xs) -> forall s. Decoder s ( HardForkBlock xs) Source #

SerialiseHFC xs => SerialiseNodeToNode ( HardForkBlock xs) ( GenTxId ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode

Methods

encodeNodeToNode :: CodecConfig ( HardForkBlock xs) -> BlockNodeToNodeVersion ( HardForkBlock xs) -> GenTxId ( HardForkBlock xs) -> Encoding Source #

decodeNodeToNode :: CodecConfig ( HardForkBlock xs) -> BlockNodeToNodeVersion ( HardForkBlock xs) -> forall s. Decoder s ( GenTxId ( HardForkBlock xs)) Source #

SerialiseHFC xs => SerialiseNodeToNode ( HardForkBlock xs) ( GenTx ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode

Methods

encodeNodeToNode :: CodecConfig ( HardForkBlock xs) -> BlockNodeToNodeVersion ( HardForkBlock xs) -> GenTx ( HardForkBlock xs) -> Encoding Source #

decodeNodeToNode :: CodecConfig ( HardForkBlock xs) -> BlockNodeToNodeVersion ( HardForkBlock xs) -> forall s. Decoder s ( GenTx ( HardForkBlock xs)) Source #

SerialiseHFC xs => SerialiseNodeToNode ( HardForkBlock xs) ( SerialisedHeader ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode

Methods

encodeNodeToNode :: CodecConfig ( HardForkBlock xs) -> BlockNodeToNodeVersion ( HardForkBlock xs) -> SerialisedHeader ( HardForkBlock xs) -> Encoding Source #

decodeNodeToNode :: CodecConfig ( HardForkBlock xs) -> BlockNodeToNodeVersion ( HardForkBlock xs) -> forall s. Decoder s ( SerialisedHeader ( HardForkBlock xs)) Source #

SerialiseHFC xs => SerialiseNodeToNode ( HardForkBlock xs) ( Serialised ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode

Methods

encodeNodeToNode :: CodecConfig ( HardForkBlock xs) -> BlockNodeToNodeVersion ( HardForkBlock xs) -> Serialised ( HardForkBlock xs) -> Encoding Source #

decodeNodeToNode :: CodecConfig ( HardForkBlock xs) -> BlockNodeToNodeVersion ( HardForkBlock xs) -> forall s. Decoder s ( Serialised ( HardForkBlock xs)) Source #

SerialiseHFC xs => SerialiseNodeToNode ( HardForkBlock xs) ( Header ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode

Methods

encodeNodeToNode :: CodecConfig ( HardForkBlock xs) -> BlockNodeToNodeVersion ( HardForkBlock xs) -> Header ( HardForkBlock xs) -> Encoding Source #

decodeNodeToNode :: CodecConfig ( HardForkBlock xs) -> BlockNodeToNodeVersion ( HardForkBlock xs) -> forall s. Decoder s ( Header ( HardForkBlock xs)) Source #

SerialiseHFC xs => SerialiseNodeToNode ( HardForkBlock xs) ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode

Methods

encodeNodeToNode :: CodecConfig ( HardForkBlock xs) -> BlockNodeToNodeVersion ( HardForkBlock xs) -> HardForkBlock xs -> Encoding Source #

decodeNodeToNode :: CodecConfig ( HardForkBlock xs) -> BlockNodeToNodeVersion ( HardForkBlock xs) -> forall s. Decoder s ( HardForkBlock xs) Source #

SerialiseHFC xs => DecodeDisk ( HardForkBlock xs) ( ByteString -> HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

decodeDisk :: CodecConfig ( HardForkBlock xs) -> forall s. Decoder s ( ByteString -> HardForkBlock xs) Source #

SerialiseHFC xs => SerialiseNodeToClient ( HardForkBlock xs) ( SomeSecond BlockQuery ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient

Methods

encodeNodeToClient :: CodecConfig ( HardForkBlock xs) -> BlockNodeToClientVersion ( HardForkBlock xs) -> SomeSecond BlockQuery ( HardForkBlock xs) -> Encoding Source #

decodeNodeToClient :: CodecConfig ( HardForkBlock xs) -> BlockNodeToClientVersion ( HardForkBlock xs) -> forall s. Decoder s ( SomeSecond BlockQuery ( HardForkBlock xs)) Source #

All SingleEraBlock xs => Show ( BlockQuery ( HardForkBlock xs) result) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query

Methods

showsPrec :: Int -> BlockQuery ( HardForkBlock xs) result -> ShowS Source #

show :: BlockQuery ( HardForkBlock xs) result -> String Source #

showList :: [ BlockQuery ( HardForkBlock xs) result] -> ShowS Source #

CanHardFork xs => SameDepIndex ( NestedCtxt_ ( HardForkBlock xs) Header ) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

sameDepIndex :: NestedCtxt_ ( HardForkBlock xs) Header a -> NestedCtxt_ ( HardForkBlock xs) Header b -> Maybe (a :~: b) Source #

Typeable xs => ShowProxy ( BlockQuery ( HardForkBlock xs) :: Type -> Type ) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query

Methods

showProxy :: Proxy ( BlockQuery ( HardForkBlock xs)) -> String Source #

All SingleEraBlock xs => Show ( NestedCtxt_ ( HardForkBlock xs) Header a) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

showsPrec :: Int -> NestedCtxt_ ( HardForkBlock xs) Header a -> ShowS Source #

show :: NestedCtxt_ ( HardForkBlock xs) Header a -> String Source #

showList :: [ NestedCtxt_ ( HardForkBlock xs) Header a] -> ShowS Source #

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 Rep ( Validated ( GenTx ( HardForkBlock xs))) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type Rep ( Validated ( GenTx ( HardForkBlock xs))) = D1 (' MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' True ) ( C1 (' MetaCons "HardForkValidatedGenTx" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "getHardForkValidatedGenTx") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( OneEraValidatedGenTx xs))))
type Rep ( TxId ( GenTx ( HardForkBlock xs))) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type Rep ( TxId ( GenTx ( HardForkBlock xs))) = D1 (' MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' True ) ( C1 (' MetaCons "HardForkGenTxId" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "getHardForkGenTxId") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( OneEraGenTxId xs))))
type Rep ( GenTx ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type Rep ( GenTx ( HardForkBlock xs)) = D1 (' MetaData "GenTx" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' True ) ( C1 (' MetaCons "HardForkGenTx" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "getHardForkGenTx") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( OneEraGenTx xs))))
type HeaderHash ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type HeaderHash ( HardForkBlock xs) = OneEraHash xs
type BlockNodeToNodeVersion ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.Common

type BlockNodeToNodeVersion ( HardForkBlock xs) = HardForkNodeToNodeVersion xs
type BlockNodeToClientVersion ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.Common

type BlockNodeToClientVersion ( HardForkBlock xs) = HardForkNodeToClientVersion xs
data Ticked ( LedgerState ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

data Ticked ( LedgerState ( HardForkBlock xs)) = TickedHardForkLedgerState { }
data NestedCtxt_ ( HardForkBlock xs) a b Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

data NestedCtxt_ ( HardForkBlock xs) a b where
newtype Header ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

newtype Header ( HardForkBlock xs) = HardForkHeader { }
newtype StorageConfig ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype StorageConfig ( HardForkBlock xs) = HardForkStorageConfig { }
newtype CodecConfig ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype CodecConfig ( HardForkBlock xs) = HardForkCodecConfig { }
newtype BlockConfig ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype BlockConfig ( HardForkBlock xs) = HardForkBlockConfig { }
type BlockProtocol ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type BlockProtocol ( HardForkBlock xs) = HardForkProtocol xs
newtype LedgerState ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype LedgerState ( HardForkBlock xs) = HardForkLedgerState { }
type LedgerErr ( LedgerState ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type LedgerErr ( LedgerState ( HardForkBlock xs)) = HardForkLedgerError xs
type AuxLedgerEvent ( LedgerState ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type AuxLedgerEvent ( LedgerState ( HardForkBlock xs)) = OneEraLedgerEvent xs
type LedgerCfg ( LedgerState ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type LedgerCfg ( LedgerState ( HardForkBlock xs)) = HardForkLedgerConfig xs
newtype Validated ( GenTx ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype Validated ( GenTx ( HardForkBlock xs)) = HardForkValidatedGenTx { }
newtype TxId ( GenTx ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype TxId ( GenTx ( HardForkBlock xs)) = HardForkGenTxId { }
type ApplyTxErr ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type ApplyTxErr ( HardForkBlock xs) = HardForkApplyTxErr xs
newtype GenTx ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype GenTx ( HardForkBlock xs) = HardForkGenTx { }
type ForgeStateUpdateError ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Forging

type ForgeStateUpdateError ( HardForkBlock xs) = HardForkForgeStateUpdateError xs
type ForgeStateInfo ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Forging

type ForgeStateInfo ( HardForkBlock xs) = HardForkForgeStateInfo xs
type CannotForge ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Forging

type CannotForge ( HardForkBlock xs) = HardForkCannotForge xs
type OtherHeaderEnvelopeError ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type OtherHeaderEnvelopeError ( HardForkBlock xs) = HardForkEnvelopeErr xs
type TipInfo ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

type TipInfo ( HardForkBlock xs) = OneEraTipInfo xs
type LedgerWarning ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type LedgerWarning ( HardForkBlock xs) = HardForkLedgerWarning xs
type LedgerUpdate ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type LedgerUpdate ( HardForkBlock xs) = HardForkLedgerUpdate xs
type HardForkIndices ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type HardForkIndices ( HardForkBlock xs) = xs
data BlockQuery ( HardForkBlock xs) a Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query

data BlockQuery ( HardForkBlock xs) a where

data HardForkProtocol (xs :: [ Type ]) Source #

Instances

Instances details
Generic ( ConsensusConfig ( HardForkProtocol xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Associated Types

type Rep ( ConsensusConfig ( HardForkProtocol xs)) :: Type -> Type Source #

Methods

from :: ConsensusConfig ( HardForkProtocol xs) -> Rep ( ConsensusConfig ( HardForkProtocol xs)) x Source #

to :: Rep ( ConsensusConfig ( HardForkProtocol xs)) x -> ConsensusConfig ( HardForkProtocol xs) Source #

CanHardFork xs => NoThunks ( ConsensusConfig ( HardForkProtocol xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

noThunks :: Context -> ConsensusConfig ( HardForkProtocol xs) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> ConsensusConfig ( HardForkProtocol xs) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( ConsensusConfig ( HardForkProtocol xs)) -> String Source #

CanHardFork xs => ConsensusProtocol ( HardForkProtocol xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol

Associated Types

type ChainDepState ( HardForkProtocol xs) Source #

type IsLeader ( HardForkProtocol xs) Source #

type CanBeLeader ( HardForkProtocol xs) Source #

type SelectView ( HardForkProtocol xs) Source #

type LedgerView ( HardForkProtocol xs) Source #

type ValidationErr ( HardForkProtocol xs) Source #

type ValidateView ( HardForkProtocol xs) Source #

Methods

checkIsLeader :: ConsensusConfig ( HardForkProtocol xs) -> CanBeLeader ( HardForkProtocol xs) -> SlotNo -> Ticked ( ChainDepState ( HardForkProtocol xs)) -> Maybe ( IsLeader ( HardForkProtocol xs)) Source #

tickChainDepState :: ConsensusConfig ( HardForkProtocol xs) -> Ticked ( LedgerView ( HardForkProtocol xs)) -> SlotNo -> ChainDepState ( HardForkProtocol xs) -> Ticked ( ChainDepState ( HardForkProtocol xs)) Source #

updateChainDepState :: ConsensusConfig ( HardForkProtocol xs) -> ValidateView ( HardForkProtocol xs) -> SlotNo -> Ticked ( ChainDepState ( HardForkProtocol xs)) -> Except ( ValidationErr ( HardForkProtocol xs)) ( ChainDepState ( HardForkProtocol xs)) Source #

reupdateChainDepState :: ConsensusConfig ( HardForkProtocol xs) -> ValidateView ( HardForkProtocol xs) -> SlotNo -> Ticked ( ChainDepState ( HardForkProtocol xs)) -> ChainDepState ( HardForkProtocol xs) Source #

protocolSecurityParam :: ConsensusConfig ( HardForkProtocol xs) -> SecurityParam Source #

type Rep ( ConsensusConfig ( HardForkProtocol xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type Rep ( ConsensusConfig ( HardForkProtocol xs)) = D1 (' MetaData "ConsensusConfig" "Ouroboros.Consensus.HardFork.Combinator.Basics" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "HardForkConsensusConfig" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "hardForkConsensusConfigK") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SecurityParam ) :*: ( S1 (' MetaSel (' Just "hardForkConsensusConfigShape") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Shape xs)) :*: S1 (' MetaSel (' Just "hardForkConsensusConfigPerEra") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( PerEraConsensusConfig xs)))))
type ChainDepState ( HardForkProtocol xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol

type ChainDepState ( HardForkProtocol xs) = HardForkChainDepState xs
type IsLeader ( HardForkProtocol xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol

type IsLeader ( HardForkProtocol xs) = HardForkIsLeader xs
type CanBeLeader ( HardForkProtocol xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol

type CanBeLeader ( HardForkProtocol xs) = HardForkCanBeLeader xs
type SelectView ( HardForkProtocol xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol

type SelectView ( HardForkProtocol xs)
type LedgerView ( HardForkProtocol xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol

type LedgerView ( HardForkProtocol xs) = HardForkLedgerView xs
type ValidationErr ( HardForkProtocol xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol

type ValidationErr ( HardForkProtocol xs) = HardForkValidationErr xs
type ValidateView ( HardForkProtocol xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol

type ValidateView ( HardForkProtocol xs) = OneEraValidateView xs
data ConsensusConfig ( HardForkProtocol xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

data ConsensusConfig ( HardForkProtocol xs) = HardForkConsensusConfig { }

data family LedgerState blk :: Type Source #

Ledger state associated with a block

Instances

Instances details
Isomorphic LedgerState Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

project :: NoHardForks blk => LedgerState ( HardForkBlock '[blk]) -> LedgerState blk Source #

inject :: NoHardForks blk => LedgerState blk -> LedgerState ( HardForkBlock '[blk]) Source #

Inject LedgerState Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary

Methods

inject :: forall x (xs :: [ Type ]). CanHardFork xs => Exactly xs Bound -> Index xs x -> LedgerState x -> LedgerState ( HardForkBlock xs) Source #

( Eq ( LedgerState m), Eq ( LedgerState a), Bridge m a) => Eq ( LedgerState ( DualBlock m a)) Source #
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

(==) :: LedgerState ( DualBlock m a) -> LedgerState ( DualBlock m a) -> Bool Source #

(/=) :: LedgerState ( DualBlock m a) -> LedgerState ( DualBlock m a) -> Bool Source #

CanHardFork xs => Eq ( LedgerState ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

(==) :: LedgerState ( HardForkBlock xs) -> LedgerState ( HardForkBlock xs) -> Bool Source #

(/=) :: LedgerState ( HardForkBlock xs) -> LedgerState ( HardForkBlock xs) -> Bool Source #

( Show ( LedgerState m), Show ( LedgerState a), Bridge m a) => Show ( LedgerState ( DualBlock m a)) Source #
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showsPrec :: Int -> LedgerState ( DualBlock m a) -> ShowS Source #

show :: LedgerState ( DualBlock m a) -> String Source #

showList :: [ LedgerState ( DualBlock m a)] -> ShowS Source #

CanHardFork xs => Show ( LedgerState ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

showsPrec :: Int -> LedgerState ( HardForkBlock xs) -> ShowS Source #

show :: LedgerState ( HardForkBlock xs) -> String Source #

showList :: [ LedgerState ( HardForkBlock 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 #

NoThunks ( LedgerState ( DualBlock m a)) Source #
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

noThunks :: Context -> LedgerState ( DualBlock m a) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> LedgerState ( DualBlock m a) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( LedgerState ( DualBlock m a)) -> String Source #

CanHardFork xs => NoThunks ( LedgerState ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

noThunks :: Context -> LedgerState ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> LedgerState ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( LedgerState ( HardForkBlock xs)) -> String Source #

Bridge m a => IsLedger ( LedgerState ( DualBlock m a)) Source #
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Associated Types

type LedgerErr ( LedgerState ( DualBlock m a)) Source #

type AuxLedgerEvent ( LedgerState ( DualBlock m a)) Source #

Methods

applyChainTickLedgerResult :: LedgerCfg ( LedgerState ( DualBlock m a)) -> SlotNo -> LedgerState ( DualBlock m a) -> LedgerResult ( LedgerState ( DualBlock m a)) ( Ticked ( LedgerState ( DualBlock m a))) Source #

CanHardFork xs => IsLedger ( LedgerState ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Associated Types

type LedgerErr ( LedgerState ( HardForkBlock xs)) Source #

type AuxLedgerEvent ( LedgerState ( HardForkBlock xs)) Source #

Methods

applyChainTickLedgerResult :: LedgerCfg ( LedgerState ( HardForkBlock xs)) -> SlotNo -> LedgerState ( HardForkBlock xs) -> LedgerResult ( LedgerState ( HardForkBlock xs)) ( Ticked ( LedgerState ( HardForkBlock xs))) 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 #

Bridge m a => GetTip ( LedgerState ( DualBlock m a)) Source #
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

getTip :: LedgerState ( DualBlock m a) -> Point ( LedgerState ( DualBlock m a)) Source #

CanHardFork xs => GetTip ( LedgerState ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

getTip :: LedgerState ( HardForkBlock xs) -> Point ( LedgerState ( HardForkBlock xs)) Source #

CanHardFork xs => ApplyBlock ( LedgerState ( HardForkBlock xs)) ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

applyBlockLedgerResult :: LedgerCfg ( LedgerState ( HardForkBlock xs)) -> HardForkBlock xs -> Ticked ( LedgerState ( HardForkBlock xs)) -> Except ( LedgerErr ( LedgerState ( HardForkBlock xs))) ( LedgerResult ( LedgerState ( HardForkBlock xs)) ( LedgerState ( HardForkBlock xs))) Source #

reapplyBlockLedgerResult :: LedgerCfg ( LedgerState ( HardForkBlock xs)) -> HardForkBlock xs -> Ticked ( LedgerState ( HardForkBlock xs)) -> LedgerResult ( LedgerState ( HardForkBlock xs)) ( LedgerState ( HardForkBlock xs)) Source #

SerialiseHFC xs => DecodeDisk ( HardForkBlock xs) ( LedgerState ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

decodeDisk :: CodecConfig ( HardForkBlock xs) -> forall s. Decoder s ( LedgerState ( HardForkBlock xs)) Source #

SerialiseHFC xs => EncodeDisk ( HardForkBlock xs) ( LedgerState ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

encodeDisk :: CodecConfig ( HardForkBlock xs) -> LedgerState ( HardForkBlock xs) -> Encoding Source #

Bridge m a => ApplyBlock ( LedgerState ( DualBlock m a)) ( DualBlock m a) Source #
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

applyBlockLedgerResult :: LedgerCfg ( LedgerState ( DualBlock m a)) -> DualBlock m a -> Ticked ( LedgerState ( DualBlock m a)) -> Except ( LedgerErr ( LedgerState ( DualBlock m a))) ( LedgerResult ( LedgerState ( DualBlock m a)) ( LedgerState ( DualBlock m a))) Source #

reapplyBlockLedgerResult :: LedgerCfg ( LedgerState ( DualBlock m a)) -> DualBlock m a -> Ticked ( LedgerState ( DualBlock m a)) -> LedgerResult ( LedgerState ( DualBlock m a)) ( LedgerState ( DualBlock m a)) 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 #

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 ( LedgerState blk) Source #
Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

type HeaderHash ( LedgerState blk) = HeaderHash blk
data Ticked ( LedgerState ( DualBlock m a)) Source #
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data Ticked ( LedgerState ( DualBlock m a)) = TickedDualLedgerState { }
data Ticked ( LedgerState ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

data Ticked ( LedgerState ( HardForkBlock xs)) = TickedHardForkLedgerState { }
newtype LedgerState ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype LedgerState ( HardForkBlock xs) = HardForkLedgerState { }
type LedgerErr ( LedgerState ( DualBlock m a)) Source #
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type LedgerErr ( LedgerState ( DualBlock m a)) = DualLedgerError m a
type LedgerErr ( LedgerState ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type LedgerErr ( LedgerState ( HardForkBlock xs)) = HardForkLedgerError xs
type AuxLedgerEvent ( LedgerState ( DualBlock m a)) Source #
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type AuxLedgerEvent ( LedgerState ( DualBlock m a)) = AuxLedgerEvent ( LedgerState m)
type AuxLedgerEvent ( LedgerState ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type AuxLedgerEvent ( LedgerState ( HardForkBlock xs)) = OneEraLedgerEvent xs
type LedgerCfg ( LedgerState ( DualBlock m a)) Source #
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type LedgerCfg ( LedgerState ( DualBlock m a)) = DualLedgerConfig m a
type LedgerCfg ( LedgerState ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type LedgerCfg ( LedgerState ( HardForkBlock xs)) = HardForkLedgerConfig xs
data LedgerState ( DualBlock m a) Source #
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data LedgerState ( DualBlock m a) = DualLedgerState { }

Config

data family BlockConfig blk :: Type Source #

Static configuration required to work with this type of blocks

Instances

Instances details
Isomorphic BlockConfig Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

project :: NoHardForks blk => BlockConfig ( HardForkBlock '[blk]) -> BlockConfig blk Source #

inject :: NoHardForks blk => BlockConfig blk -> BlockConfig ( HardForkBlock '[blk]) Source #

NoThunks ( BlockConfig ( DualBlock m a)) Source #
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

noThunks :: Context -> BlockConfig ( DualBlock m a) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> BlockConfig ( DualBlock m a) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( BlockConfig ( DualBlock m a)) -> String Source #

CanHardFork xs => NoThunks ( BlockConfig ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

noThunks :: Context -> BlockConfig ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> BlockConfig ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( BlockConfig ( HardForkBlock xs)) -> String Source #

newtype BlockConfig ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype BlockConfig ( HardForkBlock xs) = HardForkBlockConfig { }
data BlockConfig ( DualBlock m a) Source #
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data BlockConfig ( DualBlock m a) = DualBlockConfig { }

data family CodecConfig blk :: Type Source #

Static configuration required for serialisation and deserialisation of types pertaining to this type of block.

Data family instead of type family to get better type inference.

Instances

Instances details
Isomorphic CodecConfig Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

project :: NoHardForks blk => CodecConfig ( HardForkBlock '[blk]) -> CodecConfig blk Source #

inject :: NoHardForks blk => CodecConfig blk -> CodecConfig ( HardForkBlock '[blk]) Source #

Generic ( CodecConfig ( DualBlock m a)) Source #
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Associated Types

type Rep ( CodecConfig ( DualBlock m a)) :: Type -> Type Source #

Methods

from :: CodecConfig ( DualBlock m a) -> Rep ( CodecConfig ( DualBlock m a)) x Source #

to :: Rep ( CodecConfig ( DualBlock m a)) x -> CodecConfig ( DualBlock m a) Source #

( NoThunks ( CodecConfig m), NoThunks ( CodecConfig a)) => NoThunks ( CodecConfig ( DualBlock m a)) Source #
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

noThunks :: Context -> CodecConfig ( DualBlock m a) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> CodecConfig ( DualBlock m a) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( CodecConfig ( DualBlock m a)) -> String Source #

CanHardFork xs => NoThunks ( CodecConfig ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

noThunks :: Context -> CodecConfig ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> CodecConfig ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( CodecConfig ( HardForkBlock xs)) -> String Source #

type Rep ( CodecConfig ( DualBlock m a)) Source #
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type Rep ( CodecConfig ( DualBlock m a)) = D1 (' MetaData "CodecConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "DualCodecConfig" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "dualCodecConfigMain") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( CodecConfig m)) :*: S1 (' MetaSel (' Just "dualCodecConfigAux") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( CodecConfig a))))
newtype CodecConfig ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype CodecConfig ( HardForkBlock xs) = HardForkCodecConfig { }
data CodecConfig ( DualBlock m a) Source #
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data CodecConfig ( DualBlock m a) = DualCodecConfig { }

data family ConsensusConfig p :: Type Source #

Static configuration required to run the consensus protocol

Every method in the ConsensusProtocol class takes the consensus configuration as a parameter, so having this as a data family rather than a type family resolves most ambiguity.

Defined out of the class so that protocols can define this type without having to define the entire protocol at the same time (or indeed in the same module).

Instances

Instances details
Generic ( ConsensusConfig ( ModChainSel p s)) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

Associated Types

type Rep ( ConsensusConfig ( ModChainSel p s)) :: Type -> Type Source #

Methods

from :: ConsensusConfig ( ModChainSel p s) -> Rep ( ConsensusConfig ( ModChainSel p s)) x Source #

to :: Rep ( ConsensusConfig ( ModChainSel p s)) x -> ConsensusConfig ( ModChainSel p s) Source #

Generic ( ConsensusConfig ( Bft c)) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Associated Types

type Rep ( ConsensusConfig ( Bft c)) :: Type -> Type Source #

Methods

from :: ConsensusConfig ( Bft c) -> Rep ( ConsensusConfig ( Bft c)) x Source #

to :: Rep ( ConsensusConfig ( Bft c)) x -> ConsensusConfig ( Bft c) Source #

Generic ( ConsensusConfig ( HardForkProtocol xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Associated Types

type Rep ( ConsensusConfig ( HardForkProtocol xs)) :: Type -> Type Source #

Methods

from :: ConsensusConfig ( HardForkProtocol xs) -> Rep ( ConsensusConfig ( HardForkProtocol xs)) x Source #

to :: Rep ( ConsensusConfig ( HardForkProtocol xs)) x -> ConsensusConfig ( HardForkProtocol xs) Source #

Generic ( ConsensusConfig ( PBft c)) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

Associated Types

type Rep ( ConsensusConfig ( PBft c)) :: Type -> Type Source #

Methods

from :: ConsensusConfig ( PBft c) -> Rep ( ConsensusConfig ( PBft c)) x Source #

to :: Rep ( ConsensusConfig ( PBft c)) x -> ConsensusConfig ( PBft c) Source #

ConsensusProtocol p => NoThunks ( ConsensusConfig ( ModChainSel p s)) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

Methods

noThunks :: Context -> ConsensusConfig ( ModChainSel p s) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> ConsensusConfig ( ModChainSel p s) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( ConsensusConfig ( ModChainSel p s)) -> String Source #

BftCrypto c => NoThunks ( ConsensusConfig ( Bft c)) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Methods

noThunks :: Context -> ConsensusConfig ( Bft c) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> ConsensusConfig ( Bft c) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( ConsensusConfig ( Bft c)) -> String Source #

CanHardFork xs => NoThunks ( ConsensusConfig ( HardForkProtocol xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

noThunks :: Context -> ConsensusConfig ( HardForkProtocol xs) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> ConsensusConfig ( HardForkProtocol xs) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( ConsensusConfig ( HardForkProtocol xs)) -> String Source #

NoThunks ( ConsensusConfig ( PBft c)) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

Methods

noThunks :: Context -> ConsensusConfig ( PBft c) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> ConsensusConfig ( PBft c) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( ConsensusConfig ( PBft c)) -> String Source #

type Rep ( ConsensusConfig ( ModChainSel p s)) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

type Rep ( ConsensusConfig ( ModChainSel p s)) = D1 (' MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.ModChainSel" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' True ) ( C1 (' MetaCons "McsConsensusConfig" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "mcsConfigP") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( ConsensusConfig p))))
type Rep ( ConsensusConfig ( Bft c)) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

type Rep ( ConsensusConfig ( Bft c)) = D1 (' MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.BFT" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "BftConfig" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "bftParams") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 BftParams ) :*: ( S1 (' MetaSel (' Just "bftSignKey") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( SignKeyDSIGN ( BftDSIGN c))) :*: S1 (' MetaSel (' Just "bftVerKeys") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Map NodeId ( VerKeyDSIGN ( BftDSIGN c)))))))
type Rep ( ConsensusConfig ( HardForkProtocol xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type Rep ( ConsensusConfig ( HardForkProtocol xs)) = D1 (' MetaData "ConsensusConfig" "Ouroboros.Consensus.HardFork.Combinator.Basics" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "HardForkConsensusConfig" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "hardForkConsensusConfigK") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SecurityParam ) :*: ( S1 (' MetaSel (' Just "hardForkConsensusConfigShape") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Shape xs)) :*: S1 (' MetaSel (' Just "hardForkConsensusConfigPerEra") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( PerEraConsensusConfig xs)))))
type Rep ( ConsensusConfig ( PBft c)) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

type Rep ( ConsensusConfig ( PBft c)) = D1 (' MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' True ) ( C1 (' MetaCons "PBftConfig" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "pbftParams") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 PBftParams )))
data ConsensusConfig ( Bft c) Source #

(Static) node configuration

Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

data ConsensusConfig ( Bft c) = BftConfig { }
data ConsensusConfig ( HardForkProtocol xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

data ConsensusConfig ( HardForkProtocol xs) = HardForkConsensusConfig { }
newtype ConsensusConfig ( PBft c) Source #

(Static) node configuration

Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

newtype ConsensusConfig ( PBft c) = PBftConfig { }
newtype ConsensusConfig ( ModChainSel p s) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

newtype ConsensusConfig ( ModChainSel p s) = McsConsensusConfig { }

data HardForkLedgerConfig xs Source #

Constructors

HardForkLedgerConfig

Fields

Instances

Instances details
Generic ( HardForkLedgerConfig xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Associated Types

type Rep ( HardForkLedgerConfig xs) :: Type -> Type Source #

Methods

from :: HardForkLedgerConfig xs -> Rep ( HardForkLedgerConfig xs) x Source #

to :: Rep ( HardForkLedgerConfig xs) x -> HardForkLedgerConfig xs Source #

CanHardFork xs => NoThunks ( HardForkLedgerConfig xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

noThunks :: Context -> HardForkLedgerConfig xs -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> HardForkLedgerConfig xs -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( HardForkLedgerConfig xs) -> String Source #

type Rep ( HardForkLedgerConfig xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type Rep ( HardForkLedgerConfig xs) = D1 (' MetaData "HardForkLedgerConfig" "Ouroboros.Consensus.HardFork.Combinator.Basics" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "HardForkLedgerConfig" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "hardForkLedgerConfigShape") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Shape xs)) :*: S1 (' MetaSel (' Just "hardForkLedgerConfigPerEra") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( PerEraLedgerConfig xs))))

data family StorageConfig blk :: Type Source #

Config needed for the NodeInitStorage class. Defined here to avoid circular dependencies.

Instances

Instances details
Isomorphic StorageConfig Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

project :: NoHardForks blk => StorageConfig ( HardForkBlock '[blk]) -> StorageConfig blk Source #

inject :: NoHardForks blk => StorageConfig blk -> StorageConfig ( HardForkBlock '[blk]) Source #

Generic ( StorageConfig ( DualBlock m a)) Source #
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Associated Types

type Rep ( StorageConfig ( DualBlock m a)) :: Type -> Type Source #

Methods

from :: StorageConfig ( DualBlock m a) -> Rep ( StorageConfig ( DualBlock m a)) x Source #

to :: Rep ( StorageConfig ( DualBlock m a)) x -> StorageConfig ( DualBlock m a) Source #

( NoThunks ( StorageConfig m), NoThunks ( StorageConfig a)) => NoThunks ( StorageConfig ( DualBlock m a)) Source #
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

noThunks :: Context -> StorageConfig ( DualBlock m a) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> StorageConfig ( DualBlock m a) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( StorageConfig ( DualBlock m a)) -> String Source #

CanHardFork xs => NoThunks ( StorageConfig ( HardForkBlock xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

noThunks :: Context -> StorageConfig ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> StorageConfig ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( StorageConfig ( HardForkBlock xs)) -> String Source #

type Rep ( StorageConfig ( DualBlock m a)) Source #
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type Rep ( StorageConfig ( DualBlock m a)) = D1 (' MetaData "StorageConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "DualStorageConfig" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "dualStorageConfigMain") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StorageConfig m)) :*: S1 (' MetaSel (' Just "dualStorageConfigAux") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StorageConfig a))))
newtype StorageConfig ( HardForkBlock xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype StorageConfig ( HardForkBlock xs) = HardForkStorageConfig { }
data StorageConfig ( DualBlock m a) Source #
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data StorageConfig ( DualBlock m a) = DualStorageConfig { }

Functions on config

completeConsensusConfig' :: forall blk. HasPartialConsensusConfig ( BlockProtocol blk) => EpochInfo ( Except PastHorizonException ) -> WrapPartialConsensusConfig blk -> ConsensusConfig ( BlockProtocol blk) Source #

completeConsensusConfig'' :: forall blk. HasPartialConsensusConfig ( BlockProtocol blk) => EpochInfo ( Except PastHorizonException ) -> WrapPartialConsensusConfig blk -> WrapConsensusConfig blk Source #

completeLedgerConfig' :: forall blk. HasPartialLedgerConfig blk => EpochInfo ( Except PastHorizonException ) -> WrapPartialLedgerConfig blk -> LedgerConfig blk Source #

completeLedgerConfig'' :: forall blk. HasPartialLedgerConfig blk => EpochInfo ( Except PastHorizonException ) -> WrapPartialLedgerConfig blk -> WrapLedgerConfig blk Source #

distribLedgerConfig :: CanHardFork xs => EpochInfo ( Except PastHorizonException ) -> LedgerConfig ( HardForkBlock xs) -> NP WrapLedgerConfig xs Source #

distribTopLevelConfig :: All SingleEraBlock xs => EpochInfo ( Except PastHorizonException ) -> TopLevelConfig ( HardForkBlock xs) -> NP TopLevelConfig xs Source #

Convenience re-exports

data EpochInfo (m :: Type -> Type ) Source #

Information about epochs

Different epochs may have different sizes and different slot lengths. This information is encapsulated by EpochInfo . It is parameterized over a monad m because the information about how long each epoch is may depend on information derived from the blockchain itself. It ultimately requires acess to state, and so either uses the monad for that or uses the monad to reify failure due to cached state information being too stale for the current query.

Instances

Instances details
Show ( EpochInfo f)

Unhelpful instance, but this type occurs in records (eg Shelley.Globals ) that we want to be able to show

Instance details

Defined in Cardano.Slotting.EpochInfo.API

Methods

showsPrec :: Int -> EpochInfo f -> ShowS Source #

show :: EpochInfo f -> String Source #

showList :: [ EpochInfo f] -> ShowS Source #

NoThunks ( EpochInfo m)
Instance details

Defined in Cardano.Slotting.EpochInfo.API

Methods

noThunks :: Context -> EpochInfo m -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> EpochInfo m -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( EpochInfo m) -> String Source #

type Except e = ExceptT e Identity Source #

The parameterizable exception monad.

Computations are either exceptions or normal values.

The return function returns a normal value, while >>= exits on the first exception. For a variant that continues after an error and collects all the errors, see Errors .