Std.Db.Session
18 public declarations
- at
&Std.Db.Session.Config -> Str -> Int -> Std.Db.Session.ConfigThe same, somewhere else.
- close
&Std.Db.Session.Connection -> Result[(), Std.Db.Session.DbError]Say the connection is finished, and close it.
- config
Str -> Str -> Str -> Std.Db.Session.ConfigA configuration pointing at a database on this machine.
- Config
Where a database is and who is asking.
- connect
&Std.Db.Session.Config -> Result[Std.Db.Session.Connection, Std.Db.Session.DbError]Open a connection and take it through to the point it will accept a query.
- Connection
A connection, and the bytes read from it that have not yet made a message.
- DbError
Opening a connection and keeping it: the handshake, what the server asks
- DEFAULT_CONNECT_MILLISECONDS
IntHow long opening a connection may take unless a configuration says otherwise.
- DEFAULT_MESSAGE_BYTES
IntComplete tagged-message budget, including the tag and four-byte length word.
- emptyMessage
Std.Db.Protocol.MessageA message carrying nothing, for a read that found none.
- live
&Std.Db.Session.Connection -> Result[(), Std.Db.Session.DbError]Whether this value still names the current lending of its connection.
- nextMessage
Std.Db.Session.Connection -> Result[(Std.Db.Protocol.Message, Std.Db.Session.Connection), Std.Db.Session.DbError]Read the next message, taking more from the socket only when what has
- nextMessageLimited
Std.Db.Session.Connection -> Int -> Result[(Std.Db.Protocol.Message, Std.Db.Session.Connection), Std.Db.Session.DbError]Read one bounded message. A broken or partially consumed transport is closed.
- renew
Std.Db.Session.Connection -> Result[Std.Db.Session.Connection, Std.Db.Session.DbError]End this lending and begin the next one.
- serverFailure
&Bytes -> Std.Db.Session.DbErrorThe failure a server-reported error carries.
- TransactionStatus
Where a connection stands with respect to a transaction.
- withStatus
Std.Db.Session.Connection -> &Bytes -> Std.Db.Session.ConnectionThe transaction status the server reports with every message saying it is
- write
&Std.Db.Session.Connection -> &Bytes -> Result[(), Std.Db.Session.DbError]Send bytes to the server.
