Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.HardFork.Combinator.Ledger.Query

5 types
1 class
6 values

Packageouroboros-consensus-4.2.1.0
Exports16
LicenceApache-2.0

valuedecodeQueryAnytimeResult

:: QueryAnytime result
-> forall s. Decoder s result

valuedecodeQueryHardForkResult

:: SListI xs
=> QueryHardFork xs result
-> forall s. Decoder s result

valueencodeQueryAnytimeResult :: QueryAnytime result -> result -> Encoding

valueencodeQueryHardForkResult

:: SListI xs
=> QueryHardFork xs result
-> result
-> Encoding

valuegetHardForkQuery

:: BlockQuery (HardForkBlock xs) footprint result
-> forall result'. result :~: HardForkQueryResult xs result' -> QueryIfCurrent xs footprint result' -> r
-> forall x' (xs' :: [Type]). xs :~: (x' ': xs') -> ProofNonEmpty xs' -> QueryAnytime result -> EraIndex xs -> r
-> forall x' (xs' :: [Type]). xs :~: (x' ': xs') -> ProofNonEmpty xs' -> QueryHardFork xs result -> r
-> r

valuehardForkQueryInfo

:: All SingleEraBlock xs
=> QueryIfCurrent xs footprint result
-> NS SingleEraInfo xs

class

class (All (Compose NoThunks WrapTxOut) xs, All (Compose Show WrapTxOut) xs, All (Compose Eq WrapTxOut) xs, All (HasLedgerTables (Ticked LedgerState)) xs, All (HasLedgerTables LedgerState) xs) => BlockSupportsHFLedgerQuery (xs :: [Type]) where

Methods

answerBlockQueryHFLookup :: (All SingleEraBlock xs, Monad m) => Index xs x -> ExtLedgerCfg x -> BlockQuery x 'QFLookupTables result -> ReadOnlyForker' m (HardForkBlock xs) -> m result
answerBlockQueryHFTraverse :: (All SingleEraBlock xs, Monad m) => Index xs x -> ExtLedgerCfg x -> BlockQuery x 'QFTraverseTables result -> ReadOnlyForker' m (HardForkBlock xs) -> m result
queryLedgerGetTraversingFilter :: Index xs x -> BlockQuery x 'QFTraverseTables result -> TxOut (HardForkBlock xs) -> Bool

typetype HardForkQueryResult (xs :: [Type]) = Either (MismatchEraInfo xs)

datadata QueryAnytime result where

Constructors

GetEraStart :: QueryAnytime (Maybe Bound)

Instances4ShowQuery, SameDepIndex, Show, Serialise

ShowQuery QueryAnytimeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query
SameDepIndex QueryAnytimeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query
Show (QueryAnytime result)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query
Serialise (Some QueryAnytime)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query

datadata QueryHardFork (xs :: [Type]) result where

Constructors

GetInterpreter :: QueryHardFork xs (Interpreter xs)
GetCurrentEra :: QueryHardFork xs (EraIndex xs)

Instances3SameDepIndex, ShowQuery, Show

SameDepIndex (QueryHardFork xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query
All SingleEraBlock xs => ShowQuery (QueryHardFork xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query
Show (QueryHardFork xs result)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query

datadata QueryIfCurrent (xs :: [Type]) (footprint :: QueryFootprint) result where

Constructors

QZ :: BlockQuery x footprint result -> QueryIfCurrent (x ': xs1) footprint result
QS :: QueryIfCurrent xs1 footprint result -> QueryIfCurrent (x ': xs1) footprint result

Instances3SameDepIndex2, ShowQuery, Show

All SingleEraBlock xs => SameDepIndex2 (QueryIfCurrent xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query
All SingleEraBlock xs => ShowQuery (QueryIfCurrent xs footprint)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query
All SingleEraBlock xs => Show (QueryIfCurrent xs footprint result)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query

datadata HardForkNodeToClientVersion (xs :: [Type]) where

Constructors

HardForkNodeToClientDisabled :: BlockNodeToClientVersion x -> HardForkNodeToClientVersion (x ': xs1)
HardForkNodeToClientEnabled :: HardForkSpecificNodeToClientVersion -> NP EraNodeToClientVersion xs -> HardForkNodeToClientVersion xs

Instances2Eq, Show

(All HasNetworkProtocolVersion xs, All (Compose Eq EraNodeToClientVersion) xs) => Eq (HardForkNodeToClientVersion xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.NetworkVersion
(All HasNetworkProtocolVersion xs, All (Compose Show EraNodeToClientVersion) xs) => Show (HardForkNodeToClientVersion xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.NetworkVersion

data familydata family BlockQuery :: Type -> QueryFootprint -> Type -> Type

Instances14SameDepIndex2, SerialiseBlockQueryResult, SerialiseNodeToClient, ShowQuery, ShowProxy, Show, …

SameDepIndex2 (BlockQuery (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All SingleEraBlock xs => SameDepIndex2 (BlockQuery (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query · orphan
SerialiseHFC xs => SerialiseBlockQueryResult (HardForkBlock xs) BlockQueryDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
(forall (footprint :: QueryFootprint) result. Show (BlockQuery blk footprint result)) => Show (SomeBlockQuery (BlockQuery blk))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Query
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (SomeBlockQuery (BlockQuery (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
ShowQuery (BlockQuery (DualBlock m a) footprint)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All SingleEraBlock xs => ShowQuery (BlockQuery (HardForkBlock xs) footprint)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query · orphan
Typeable xs => ShowProxy (BlockQuery (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query · orphan
(Typeable m, Typeable a) => ShowProxy (BlockQuery (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Show (BlockQuery (DualBlock m a) footprint result)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All SingleEraBlock xs => Show (BlockQuery (HardForkBlock xs) footprint result)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query · orphan
Inject (SomeBlockQuery :.: BlockQuery)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
data BlockQuery (HardForkBlock xs)
- QueryIfCurrent :: QueryIfCurrent xs footprint result1 -> R:BlockQueryHardForkBlockfootprintresult xs footprint (Either (MismatchEraInfo xs) result1)
- QueryAnytime :: IsNonEmpty xs1 => QueryAnytime result -> EraIndex (x ': xs1) -> R:BlockQueryHardForkBlockfootprintresult (x ': xs1) 'QFNoTables result
- QueryHardFork :: IsNonEmpty xs1 => QueryHardFork (x ': xs1) result -> R:BlockQueryHardForkBlockfootprintresult (x ': xs1) 'QFNoTables result
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query · orphan
data BlockQuery (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

constructorQueryAnytime

:: IsNonEmpty xs1
=> QueryAnytime result
-> EraIndex (x ': xs1)
-> R:BlockQueryHardForkBlockfootprintresult (x ': xs1) 'QFNoTables result

constructorQueryHardFork

:: IsNonEmpty xs1
=> QueryHardFork (x ': xs1) result
-> R:BlockQueryHardForkBlockfootprintresult (x ': xs1) 'QFNoTables result

constructorQueryIfCurrent

:: QueryIfCurrent xs footprint result1
-> R:BlockQueryHardForkBlockfootprintresult xs footprint (Either (MismatchEraInfo xs) result1)

Orphan instances

5 instances

All SingleEraBlock xs => SameDepIndex2 (BlockQuery (HardForkBlock xs))
(All SingleEraBlock xs, BlockSupportsHFLedgerQuery xs, All BlockSupportsLedgerQuery xs, CanHardFork xs) => BlockSupportsLedgerQuery (HardForkBlock xs)
All SingleEraBlock xs => ShowQuery (BlockQuery (HardForkBlock xs) footprint)
Typeable xs => ShowProxy (BlockQuery (HardForkBlock xs))
All SingleEraBlock xs => Show (BlockQuery (HardForkBlock xs) footprint result)