singular-registry
Safe HaskellNone
LanguageGHC2021

Singular.Registry.TrieState.Lineage

Description

Fresh, session-bound public replay. No nodes or selections survive a read.

Documentation

lineageTrieState :: forall (m :: Type -> Type) w. Monad m => Session w m -> TrieState m Source #

lineageTrieStateObserved :: Monad m => Session w m -> (TrieObservation -> m ()) -> TrieState m Source #