Module workspace_activity

Expand description

A workspace’s activity as the session serves it: what changed since this device last looked, the full history, and the replay of its layout.

The session keeps the history index of every workspace on this device and serves it under PROVIDER as resource RESOURCE. Its reads are live views (crate::ExecutionMode::Live): an app follows FEED, SUMMARY, REPLAY and DETAIL and gets a new result whenever the workspace’s history moves. Its writes are ordinary actions on the same resource: naming, splitting and merging work groups, undoing and restoring, opening what a change touched, and marking what was seen.

What this device has seen stays with the session: MARK_VIEWED moves its own frontier, never a shared record.

Changes are addressed by their history id (Entry::id), 32 lowercase hex digits, and a run of changes by its first and last (Range) in the order Feed::entries lists them.

Structs§

Author: Who made a change.
Boundary: What MOVE_BOUNDARY moves: the boundary between the two adjacent work sessions holding older and newer.
Brief: A work session: a run of related changes, told as an outcome.
BriefAction: One action of a work session’s evidence.
Detail: What a run of changes did.
DetailQuery: What a DETAIL reads.
Entry: One change.
Feed: The workspace’s history, as a FeedQuery narrows it.
FeedQuery: What a FEED reads.
FieldChange: One field a run of changes changed, with what it held either side of it.
Focus: What to show, asked for outside the app: the glance in the top bar, a file’s own history, a command naming a view. Each ask has its own serial; the app that shows it says so (FOCUSED), and it is not offered again.
Focused: Which Focus FOCUSED says was shown.
Frame: The layout after one change.
Group: A named run of changes.
Lens: A way to narrow the feed: an app, a resource, a work group.
Name: What NAME writes. An empty label removes the name.
Offer: An offered action, worded for the run it acts on.
Range: A run of changes, by its first and last in feed order.
RecordQuery: One record of an agent’s run, as UNDO_RECORD names it.
Refusal: A device that refused one of a change’s writes, and why.
Replay: The workspace’s layout at each recent change.
ReplayGroup: One group of tabs in a replayed workspace.
ReplayPointer: Someone’s pointer as it was.
ReplayWorkspace: A workspace as it was.
Resume: Where the reader left off.
Run: An agent’s task run a change belongs to.
RunRecord: A record an agent’s run changed.
Source: A resource this device chose to hear about each morning.
SourceRequest: What SOURCE runs.
Summary: What changed since this device last looked.
Target: A resource a change touched, and where it opens.
Viewed: What MARK_VIEWED marks: the changes the reader was shown.

Enums§

Comparison: What comparing the workspace before and after a run found.
DetailAction: What can be done with a run of changes, and which action does it.
Kind: What kind of change an entry is.
Period: How far back the feed reaches.
Relation: Who an author is to the person reading.
Scope: Which workspaces’ changes are shown.
SourceCommand: A command on a chosen morning source.
Toward: Which way a Boundary moves.
View: Where in the app a Focus opens.

Constants§

APP_ID: The application whose window shows it, and whose grants reach it.
CHOOSE_SOURCE: Choose, or stop choosing, the resource a Range changed as a morning source of this device.
DETAIL: Live: what a run of changes did and what can be done with it, given a DetailQuery; answers Detail.
FEED: Live: the workspace’s history, filtered by a FeedQuery; answers Feed.
FEED_PAGE: How many changes a feed answers when its query asks for no number.
FOCUS: Live: what the person last asked to be shown from outside the app, until an app shows it; answers an optional Focus.
FOCUSED: Say the Focus with the serial Focused names was shown.
MARK_VIEWED: Mark the changes Viewed names as seen on this device.
MERGE: Merge the named work groups a Range spans.
MOVE_BOUNDARY: Move the boundary between two work sessions (Boundary).
NAME: Name, rename or un-name a run of changes (Name).
OPEN: Open a Target in its app.
PROVIDER: The provider the session serves workspace activity under.
REPLAY: Live: the workspace’s layout at each recent change; answers Replay.
RESOURCE: The resource every action is an action of.
RESTORE: Restore the workspace to before a Range of changes.
SOURCE: Run a SourceCommand on a chosen morning source.
SPLIT: Split the named work group a Range sits in at its start.
SUMMARY: Live: what changed since this device last looked; answers Summary.
UNDO: Undo a Range of changes.
UNDO_RECORD: Undo one record’s share of that run (RecordQuery).
UNDO_RUN: Undo the agent’s task run a Range belongs to.

Functions§

argument: The argument an invocation carrying value sends.
change_hex: The history id of a change, as Entry::id spells it.
entry_hex: The Entry::id of history id bytes.
entry_id: A change’s history id from its Entry::id.
target: The target of action action of RESOURCE.