| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Cardano.QueryHF
Contents
Orphan instances
| CardanoHardForkConstraints c ⇒ BlockSupportsHFLedgerQuery (CardanoEras c) Source # | |
Methods answerBlockQueryHFLookup ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFLookupTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source # answerBlockQueryHFTraverse ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFTraverseTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source # queryLedgerGetTraversingFilter ∷ Index (CardanoEras c) x → BlockQuery x 'QFTraverseTables result → TxOut (LedgerState (HardForkBlock (CardanoEras c))) → Bool Source # | |