| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Singular.Registry.TrieState.Fixture
Description
A genuine State adapter over real MPF nodes and recorded fixture history. Fixture identities are application inputs, never observations of a ledger.
Synopsis
- data FixtureStore
- fixtureStore :: [(TrieSelection, Maybe CreateRecord, [ObservedFold], MPFInMemoryDB)] -> FixtureStore
- fixtureTrieState :: TrieState (State FixtureStore)
- fixtureNodes :: FixtureStore -> Map RegistryIdentity MPFInMemoryDB
- fixtureFolds :: FixtureStore -> Map RegistryIdentity [ObservedFold]
- fixtureSnapshot :: forall (m :: Type -> Type). Monad m => FixtureStore -> TrieSelection -> Either TrieFailure (TrieSnapshot m)
Documentation
data FixtureStore Source #
fixtureStore :: [(TrieSelection, Maybe CreateRecord, [ObservedFold], MPFInMemoryDB)] -> FixtureStore Source #
fixtureTrieState :: TrieState (State FixtureStore) Source #
fixtureNodes :: FixtureStore -> Map RegistryIdentity MPFInMemoryDB Source #
fixtureFolds :: FixtureStore -> Map RegistryIdentity [ObservedFold] Source #
fixtureSnapshot :: forall (m :: Type -> Type). Monad m => FixtureStore -> TrieSelection -> Either TrieFailure (TrieSnapshot m) Source #
A checked immutable fixture snapshot in the consumer's effect. This carries no provider or ledger admission claim.