Module server_session 

Server-role query sessions used when a proxy terminates the client protocol.

Structs

ServerCopyBoth

Server-role COPY BOTH stream parameterised by resumption and half-close state.

ServerCopyBothFailed

Client failed a server-role COPY BOTH stream.

ServerCopyIn

Server-role COPY IN stream, resumed according to Resume.

ServerCopyInDone

Client completed a server-role COPY IN stream.

ServerCopyInFailed

Client failed a server-role COPY IN stream.

ServerCopyOut

Server-role COPY OUT stream, resumed according to Resume.

ServerCopyOutDone

Server completed a server-role COPY OUT stream.

Enums

BothClientDone

The client half of a COPY BOTH stream is closed.

BothDone

Both halves of a COPY BOTH stream are closed.

BothOpen

Both halves of a COPY BOTH stream remain open.

BothServerDone

The server half of a COPY BOTH stream is closed.

CopyExtended

COPY resumes in an extended-query session.

CopySimple

COPY resumes in a simple-query session.

ServerBind

An inspected Bind awaits its response.

ServerBuilding

The server is accepting an extended-query pipeline.

ServerClose

An inspected Close awaits its response.

ServerCopyBothOpenOffer

Client choice while both COPY BOTH directions remain open.

ServerCopyBothServerDoneOffer

Client choice after the server closes its COPY BOTH direction.

ServerCopyInOffer

Client choice inside a server-role COPY IN sub-session.

ServerDescribe

An inspected Describe awaits its response.

ServerDiscard

Projection while discarding a failed pipeline up to its synchronisation point.

ServerExecute

An inspected Execute is being served.

ServerExtendedError

A failed extended pipeline is discarded until Sync.

ServerExtendedOffer

A response-specific branch of the extended-query building loop.

ServerFunctionCall

A legacy function call is being served.

ServerFunctionCallDone

A function result was sent and readiness must follow.

ServerFunctionCallError

A function-call error was sent and readiness must follow.

ServerParse

An inspected Parse awaits its response.

ServerReadyOffer

External choice offered by a client while the server role is ready.

ServerReadyState

Ready state produced from the status byte sent to the client.

ServerReplicationOpenOffer

Typed standby choice while both replication directions remain open.

ServerReplicationServerDoneOffer

Typed standby choice after the walsender closes its direction.

ServerSimpleError

A simple-query error was sent and readiness must follow.

ServerSimpleQuery

A client simple query is being served.

ServerSync

A client Sync awaits ReadyForQuery.

Traits

CopyResume

Maps a COPY resumption marker to its generated nested-session states.

Type Aliases

CopyBothCompletion

Result of completing COPY BOTH after both halves close.

CopyBothOpenProjection

COPY BOTH projection while both directions remain open.

CopyBothServerDoneProjection

COPY BOTH projection after the server direction closes.

CopyBothServerHalfClose

Result of closing the server half of COPY BOTH.

CopyBothStart

Result of starting a server-role COPY BOTH stream.

CopyInProjection

COPY IN projection preserving the connection and message on mismatch.

CopyInStart

Result of starting a server-role COPY IN stream.

CopyOutCompletion

Result of closing a server-role COPY OUT stream.

CopyOutStart

Result of starting a server-role COPY OUT stream.

ExtendedProjection

Projection of an extended-query choice, preserving invalid input.

ReadyProjection

Projection of a client ready-state choice, preserving invalid input.

ServerReplicationOpenProjection

Replication projection preserving the open connection when decoding fails.

ServerReplicationServerDoneProjection

Replication projection after server half-close, preserving decode failures.