Data Store¶

The Data Store module generates complete persistence abstractions from [DataStore] and [StoredEntity] attributes — store interfaces, in-memory implementations, effect methods, capability interfaces, and DI registration.

Quick Start¶

Define a store and an entity:

using Deepstaging.DataStore;

[DataStore]
public static partial class AppStore;

[StoredEntity]
public partial record Article(ArticleId Id, string Title, string Body);

This generates:

• IArticleStore — async CRUD interface with pagination
• InMemoryArticleStore — ConcurrentDictionary-backed test implementation
• IHasAppStore — capability interface for runtime access
• AppStore.Articles.* — Eff<RT, T> effect methods
• AddAppStore — DI registration extension method

Compose with effect pipelines:

var program =
    from article in AppStore.Articles.GetById<AppRuntime>(articleId)
    from _ in guard(article.IsSome, Error.New("Article not found"))
              >> AppStore.Articles.Save<AppRuntime>(article.Value! with { Title = "Updated" })
    select unit;

What's Next¶

Diagnostics¶