Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory

Synopsis

class NoThunks (Resources m backend) ⇒ Backend (m ∷ Type → Type) backend blk where
- data Args (m ∷ Type → Type) backend
- data Resources (m ∷ Type → Type) backend
- data Trace backend
- 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)
data family Args (m ∷ Type → Type) backend
data family Trace backend
data Mem
data family YieldArgs (m ∷ Type → Type) backend (l ∷ Type → (Type → Type → Type) → Type) blk
data family SinkArgs (m ∷ Type → Type) backend (l ∷ Type → (Type → Type → Type) → Type) blk
mkInMemoryArgs ∷ ∀ (m ∷ Type → Type) blk a. (IOLike m, LedgerDbSerialiseConstraints blk, LedgerSupportsProtocol blk, CanUpgradeLedgerTables LedgerState blk) ⇒ a → (LedgerDbBackendArgs m blk, a)

Documentation

class NoThunks (Resources m backend) ⇒ Backend (m ∷ Type → Type) backend blk where Source #

Operations needed to open and operate a LedgerDB V2

Associated Types

data Args (m ∷ Type → Type) backend Source #

The Arguments that will be used initially to create the Resources.

data Resources (m ∷ Type → Type) backend Source #

The Resources that will be stored in the LedgerDB environment and given to the handle operations.

data Trace backend Source #

A trace dependent on the particular backend.

Methods

mkResources ∷ Proxy blk → Tracer m LedgerDBV2Trace → Args m backend → SomeHasFS m → WithTempRegistry fState m (Resources m backend) Source #

Transform Args into Resources, with some context made up of LedgerDbArgs.

releaseResources ∷ Proxy blk → Resources m backend → m () Source #

Release the acquired resources.

createAndPopulateStateRefFromGenesis ∷ Tracer m LedgerDBV2Trace → Resources m backend → ExtLedgerState blk ValuesMK → m (StateRef m ExtLedgerState blk) Source #

Create a new handle from the given Genesis state.

openStateRefFromSnapshot ∷ Tracer m LedgerDBV2Trace → CodecConfig blk → SomeHasFS m → Resources m backend → DiskSnapshot → ExceptT (SnapshotFailure blk) m (StateRef m ExtLedgerState blk, RealPoint blk) Source #

Create a new handle from a snapshot.

snapshotManager ∷ Proxy blk → Resources m backend → CodecConfig blk → Tracer m (TraceSnapshotEvent blk) → SomeHasFS m → SnapshotManager m blk (StateRef m ExtLedgerState blk) Source #

Instantiate the SnapshotManager for this backend.

Instances

Instances details

(IOLike m, LedgerDbSerialiseConstraints blk, LedgerSupportsProtocol blk, CanUpgradeLedgerTables LedgerState blk) ⇒ Backend m Mem blk Source #

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory

Associated Types

data Args m Mem
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory data Args m Mem = InMemArgs
newtype Resources m Mem
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory newtype Resources m Mem = Resources (SomeHasFS m)
newtype Trace Mem
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory newtype Trace Mem = NoTrace Void

Methods

mkResources ∷ Proxy blk → Tracer m LedgerDBV2Trace → Args m Mem → SomeHasFS m → WithTempRegistry fState m (Resources m Mem) Source #

releaseResources ∷ Proxy blk → Resources m Mem → m () Source #

createAndPopulateStateRefFromGenesis ∷ Tracer m LedgerDBV2Trace → Resources m Mem → ExtLedgerState blk ValuesMK → m (StateRef m ExtLedgerState blk) Source #

openStateRefFromSnapshot ∷ Tracer m LedgerDBV2Trace → CodecConfig blk → SomeHasFS m → Resources m Mem → DiskSnapshot → ExceptT (SnapshotFailure blk) m (StateRef m ExtLedgerState blk, RealPoint blk) Source #

snapshotManager ∷ Proxy blk → Resources m Mem → CodecConfig blk → Tracer m (TraceSnapshotEvent blk) → SomeHasFS m → SnapshotManager m blk (StateRef m ExtLedgerState blk) Source #

data family Args (m ∷ Type → Type) backend Source #

The Arguments that will be used initially to create the Resources.

Instances

Instances details

data Args m Mem Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory data Args m Mem = InMemArgs

data family Trace backend Source #

A trace dependent on the particular backend.

Instances

Instances details

Show (Trace Mem) Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory Methods showsPrec ∷ Int → Trace Mem → ShowS # show ∷ Trace Mem → String # showList ∷ [Trace Mem] → ShowS #
newtype Trace Mem Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory newtype Trace Mem = NoTrace Void

data Mem Source #

Instances

Instances details

(IOLike m, LedgerDbSerialiseConstraints blk, LedgerSupportsProtocol blk, CanUpgradeLedgerTables LedgerState blk) ⇒ Backend m Mem blk Source #

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory

Associated Types

data Args m Mem
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory data Args m Mem = InMemArgs
newtype Resources m Mem
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory newtype Resources m Mem = Resources (SomeHasFS m)
newtype Trace Mem
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory newtype Trace Mem = NoTrace Void

Methods

mkResources ∷ Proxy blk → Tracer m LedgerDBV2Trace → Args m Mem → SomeHasFS m → WithTempRegistry fState m (Resources m Mem) Source #

releaseResources ∷ Proxy blk → Resources m Mem → m () Source #

createAndPopulateStateRefFromGenesis ∷ Tracer m LedgerDBV2Trace → Resources m Mem → ExtLedgerState blk ValuesMK → m (StateRef m ExtLedgerState blk) Source #

openStateRefFromSnapshot ∷ Tracer m LedgerDBV2Trace → CodecConfig blk → SomeHasFS m → Resources m Mem → DiskSnapshot → ExceptT (SnapshotFailure blk) m (StateRef m ExtLedgerState blk, RealPoint blk) Source #

snapshotManager ∷ Proxy blk → Resources m Mem → CodecConfig blk → Tracer m (TraceSnapshotEvent blk) → SomeHasFS m → SnapshotManager m blk (StateRef m ExtLedgerState blk) Source #

IOLike m ⇒ StreamingBackend m Mem l blk Source #

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory

Associated Types

data YieldArgs m Mem l blk
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory data YieldArgs m Mem l blk = YieldInMemory (SomeHasFS m) DiskSnapshot (Decoders blk)
data SinkArgs m Mem l blk
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory data SinkArgs m Mem l blk = SinkInMemory Int (TxIn blk → Encoding) (TxOut blk → Encoding) (SomeHasFS m) DiskSnapshot

Methods

yield ∷ Proxy Mem → YieldArgs m Mem l blk → Yield m l blk Source #

releaseYieldArgs ∷ YieldArgs m Mem l blk → m () Source #

sink ∷ Proxy Mem → SinkArgs m Mem l blk → Sink m l blk Source #

releaseSinkArgs ∷ SinkArgs m Mem l blk → m () Source #

Show (Trace Mem) Source #

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory

Methods

showsPrec ∷ Int → Trace Mem → ShowS #

show ∷ Trace Mem → String #

showList ∷ [Trace Mem] → ShowS #

NoThunks (Resources m Mem) Source #

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory

Methods

noThunks ∷ Context → Resources m Mem → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Resources m Mem → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Resources m Mem) → String Source #

newtype Trace Mem Source #

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory

newtype Trace Mem = NoTrace Void

data SinkArgs m Mem l blk Source #

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory

data SinkArgs m Mem l blk = SinkInMemory Int (TxIn blk → Encoding) (TxOut blk → Encoding) (SomeHasFS m) DiskSnapshot

data YieldArgs m Mem l blk Source #

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory

data YieldArgs m Mem l blk = YieldInMemory (SomeHasFS m) DiskSnapshot (Decoders blk)

data Args m Mem Source #

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory

data Args m Mem = InMemArgs

newtype Resources m Mem Source #

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory

newtype Resources m Mem = Resources (SomeHasFS m)

data family YieldArgs (m ∷ Type → Type) backend (l ∷ Type → (Type → Type → Type) → Type) blk Source #

Instances

Instances details

data YieldArgs m Mem l blk Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory data YieldArgs m Mem l blk = YieldInMemory (SomeHasFS m) DiskSnapshot (Decoders blk)

data family SinkArgs (m ∷ Type → Type) backend (l ∷ Type → (Type → Type → Type) → Type) blk Source #

Instances

Instances details

data SinkArgs m Mem l blk Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory data SinkArgs m Mem l blk = SinkInMemory Int (TxIn blk → Encoding) (TxOut blk → Encoding) (SomeHasFS m) DiskSnapshot

mkInMemoryArgs ∷ ∀ (m ∷ Type → Type) blk a. (IOLike m, LedgerDbSerialiseConstraints blk, LedgerSupportsProtocol blk, CanUpgradeLedgerTables LedgerState blk) ⇒ a → (LedgerDbBackendArgs m blk, a) Source #

Create arguments for initializing the LedgerDB using the InMemory backend.