Enum Isolation 

#[non_exhaustive]
pub enum Isolation {
    ReadUncommitted,
    ReadCommitted,
    RepeatableRead,
    Serializable,
}

A SQL-standard isolation level, as asked for.

keelson accepts a level on an engine only when that engine actually runs the transaction at it. It never substitutes a neighbouring level and calls it success — see TxOptions::plan for the per-engine table and the refusals.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

ReadUncommitted

Dirty reads permitted. MySQL only here: PostgreSQL accepts the syntax and runs READ COMMITTED, SQLite has nothing weaker than serializable, and both of those are refused rather than faked.

ReadCommitted

Each statement sees rows committed before it began. PostgreSQL’s default; MySQL supports it; SQLite cannot offer it.

RepeatableRead

A transaction-wide snapshot. MySQL/InnoDB’s default. Same name, two semantics: PostgreSQL raises a serialization failure when a transaction writes a row changed since its snapshot, while InnoDB’s consistent read silently coexists with locking reads and UPDATE taking the current row — the classic lost-update shape.

Serializable

PostgreSQL: true serializability (predicate locks, 40001 on conflict). MySQL: REPEATABLE READ with every plain SELECT promoted to a locking read. SQLite: what you always get.

Implementations

impl Isolation

pub fn as_sql(self) -> &'static str

The SQL spelling, per each engine’s SET TRANSACTION grammar (they agree on the four names).

Trait Implementations

impl Clone for Isolation

fn clone(&self) -> Isolation

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for Isolation

impl Debug for Isolation

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for Isolation

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for Isolation

impl From<Isolation> for TxOptions

fn from(level: Isolation) -> Self

Converts to this type from the input type.

impl Hash for Isolation

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Isolation

fn eq(&self, other: &Isolation) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Isolation