Session<'T> Type
A snapshot and a project, bound once.
Of the wire's methods, most take `snapshot` and `project` as their first two arguments. They
say which program is being asked, not what is being asked of it, and they do not vary across
the calls a caller makes against one program - so `Session` holds them and the members below
take only what is left. It is the same move `Node<'Tag>` makes for a source file and an index.
The type parameter is the transport. `Session
Record fields
| Record Field |
Description
|
Full Usage:
Project
Field type: string
|
|
Full Usage:
Snapshot
Field type: int
|
|
Full Usage:
Transport
Field type: 'T
|
|
Instance members
| Instance member |
Description
|
|
Retargets to the project a symbol was first observed in. Follow-up lookups on a symbol can vary by project, and the response carries the one to use.
|
|
The methods that need neither the snapshot nor the project.
|
|
The same session against another project of the same snapshot.
|
|
The same session against another snapshot - what `Sessionless.updateSnapshot` hands back after a file changes.
|