gleamunison/dependency_snapshot

One verified, branch-local view for a complete retraction decision. No persistent index or invalidation policy: read once, then query pure data.

Types

</>

pub type ScanError {
  StoreFailure(storage.StorageError)
  NamespaceFailure(String)
  CorruptDefinition(identity.DefinitionRef)
}

CorruptDefinition(identity.DefinitionRef)

opaque </>

pub opaque type Snapshot

</>

pub fn current_namespace(
  snapshot: Snapshot,
) -> namespace.Namespace

</>

pub fn dependencies(
  snapshot: Snapshot,
  ref: identity.DefinitionRef,
) -> List(identity.DefinitionRef)

</>

pub fn dependents(
  snapshot: Snapshot,
  ref: identity.DefinitionRef,
) -> List(identity.DefinitionRef)

</>

pub fn exclusive_closure(
  snapshot: Snapshot,
  root: identity.DefinitionRef,
) -> List(identity.DefinitionRef)

</>

pub fn names(
  snapshot: Snapshot,
  ref: identity.DefinitionRef,
) -> List(String)

</>

pub fn read(
  adapter: storage.StorageAdapter,
  branch: String,
) -> Result(Snapshot, ScanError)