| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.HardFork.History.Caching
Synopsis
- data RunWithCachedSummary (xs ∷ [Type]) m = RunWithCachedSummary {
- cachedRunQuery ∷ ∀ a. Qry a → STM m (Either PastHorizonException a)
- runWithCachedSummary ∷ ∀ m xs. MonadSTM m ⇒ STM m (Summary xs) → m (RunWithCachedSummary xs m)
Documentation
data RunWithCachedSummary (xs ∷ [Type]) m Source #
Stateful abstraction to execute queries
Constructors
| RunWithCachedSummary | |
Fields
| |
runWithCachedSummary ∷ ∀ m xs. MonadSTM m ⇒ STM m (Summary xs) → m (RunWithCachedSummary xs m) Source #
Construct RunWithCachedSummary given action that computes the summary
Most use cases will probably construct this action from an action that reads the ledger state and then computes the summary from that.