Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Storage.LedgerDB.V2.Backend

4 types
1 class

Packageouroboros-consensus-4.2.1.0
Exports5
LicenceApache-2.0

classclass NoThunks (Resources m backend) => Backend (m :: Type -> Type) backend blk where

Associated types

data family Args (m :: Type -> Type) backend
data family Resources (m :: Type -> Type) backend
data family Trace backend

Methods

mkResources :: Proxy blk -> Tracer m LedgerDBV2Trace -> Args m backend -> SomeHasFS m -> WithTempRegistry fState m (Resources m backend)
releaseResources :: Proxy blk -> Resources m backend -> m ()
createAndPopulateStateRefFromGenesis :: Tracer m LedgerDBV2Trace -> Resources m backend -> ExtLedgerState blk ValuesMK -> m (StateRef m ExtLedgerState blk)
openStateRefFromSnapshot :: Tracer m LedgerDBV2Trace -> CodecConfig blk -> SomeHasFS m -> Resources m backend -> DiskSnapshot -> ExceptT (SnapshotFailure blk) m (StateRef m ExtLedgerState blk, RealPoint blk)
snapshotManager :: Proxy blk -> Resources m backend -> CodecConfig blk -> Tracer m (TraceSnapshotEvent blk) -> SomeHasFS m -> SnapshotManager m blk (StateRef m ExtLedgerState blk)

Instances1Backend

(IOLike m, LedgerDbSerialiseConstraints blk, LedgerSupportsProtocol blk, CanUpgradeLedgerTables LedgerState blk) => Backend m Mem blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory

datadata LedgerDBV2Trace

Constructors

TraceLedgerTablesHandleCreate EnclosingTimed
TraceLedgerTablesHandleClose EnclosingTimed
TraceLedgerTablesHandleRead EnclosingTimed
TraceLedgerTablesHandleDuplicate EnclosingTimed
TraceLedgerTablesHandleCreateFirst EnclosingTimed
TraceLedgerTablesHandlePush EnclosingTimed
BackendTrace SomeBackendTrace

Instances1Show

Show SomeBackendTrace => Show LedgerDBV2TraceDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.V2.Backend

datadata SomeBackendArgs (m :: Type -> Type) blk where

Constructors

SomeBackendArgs :: Backend m backend blk => Args m backend -> SomeBackendArgs m blk

datadata SomeBackendTrace where

Constructors

SomeBackendTrace :: (Show (Trace backend), Typeable backend) => Trace backend -> SomeBackendTrace

Instances1Show

Show SomeBackendTraceDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.V2.Backend

datadata SomeResources (m :: Type -> Type) blk where

Constructors

SomeResources :: Backend m backend blk => Resources m backend -> SomeResources m blk

Instances1NoThunks

NoThunks (SomeResources m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.V2.Backend