Struct libpijul::pristine::sanakirja::GenericTxn[][src]

pub struct GenericTxn<T: LoadPage<Error = Error>> { /* fields omitted */ }

A transaction, used both for mutable and immutable transactions, depending on type parameter T.

In Sanakirja, both sanakirja::Txn and sanakirja::MutTxn implement sanakirja::Transaction, explaining our implementation of TxnT for Txn<T> for all T: sanakirja::Transaction. This covers both mutable and immutable transactions in a single implementation.

Implementations

impl GenericTxn<Txn<Arc<Env>>>[src]

pub fn check_database(&self)[src]

impl GenericTxn<Txn<Arc<Env>>>[src]

pub fn load_const_channel(
    &self,
    name: &str
) -> Result<Option<Channel>, SanakirjaError>
[src]

Trait Implementations

impl<T: LoadPage<Error = Error>> ChannelTxnT for GenericTxn<T>[src]

type Channel = Channel

type Changeset = Db<ChangeId, L64>

type RevChangeset = Db_<L64, Pair<ChangeId, SerializedMerkle>, Page<L64, Pair<ChangeId, SerializedMerkle>>>

type ChangesetCursor = Cursor<ChangeId, L64, Page<ChangeId, L64>>

type RevchangesetCursor = Cursor<L64, Pair<ChangeId, SerializedMerkle>, Page<L64, Pair<ChangeId, SerializedMerkle>>>

type States = Db_<SerializedMerkle, L64, Page<SerializedMerkle, L64>>

impl<T: LoadPage<Error = Error>> DepsTxnT for GenericTxn<T>[src]

type DepsError = SanakirjaError

type Dep = Db<ChangeId, ChangeId>

type Revdep = Db<ChangeId, ChangeId>

type DepCursor = Cursor<ChangeId, ChangeId, Page<ChangeId, ChangeId>>

type Touched_files = Db<Position<ChangeId>, ChangeId>

type Rev_touched_files = Db<ChangeId, Position<ChangeId>>

type Touched_filesCursor = Cursor<Position<ChangeId>, ChangeId, Page<Position<ChangeId>, ChangeId>>

type Rev_touched_filesCursor = Cursor<ChangeId, Position<ChangeId>, Page<ChangeId, Position<ChangeId>>>

impl<T: LoadPage<Error = Error>> GraphIter for GenericTxn<T>[src]

type GraphCursor = Cursor<Vertex<ChangeId>, SerializedEdge, Page<Vertex<ChangeId>, SerializedEdge>>

impl<T: LoadPage<Error = Error>> GraphTxnT for GenericTxn<T>[src]

type Graph = Db<Vertex<ChangeId>, SerializedEdge>

type GraphError = SanakirjaError

type Adj = Adj

impl<T: LoadPage<Error = Error>> Send for GenericTxn<T>[src]

This is actually safe because the only non-Send fields are open_channels and open_remotes, but we can’t do anything with a ChannelRef whose transaction has been moved to another thread.

impl<T: LoadPage<Error = Error>> TreeTxnT for GenericTxn<T>[src]

type TreeError = SanakirjaError

type Inodes = Db<Inode, Position<ChangeId>>

type Revinodes = Db<Position<ChangeId>, Inode>

type Tree = Db_<PathId, Inode, Page<PathId, Inode>>

type TreeCursor = Cursor<PathId, Inode, Page<PathId, Inode>>

type RevtreeCursor = Cursor<Inode, PathId, Page<Inode, PathId>>

type Revtree = Db_<Inode, PathId, Page<Inode, PathId>>

type Partials = Db_<SmallStr, Position<ChangeId>, Page<SmallStr, Position<ChangeId>>>

type PartialsCursor = Cursor<SmallStr, Position<ChangeId>, Page<SmallStr, Position<ChangeId>>>

type InodesCursor = Cursor<Inode, Position<ChangeId>, Page<Inode, Position<ChangeId>>>

type RevinodesCursor = Cursor<Position<ChangeId>, Inode, Page<Position<ChangeId>, Inode>>

impl<T: LoadPage<Error = Error>> TxnT for GenericTxn<T>[src]

type Channels = Db_<SmallStr, T6, Page<SmallStr, T6>>

type ChannelsCursor = Cursor<SmallStr, T6, Page<SmallStr, T6>>

type Remotes = Db_<SmallStr, T3, Page<SmallStr, T3>>

type RemotesCursor = Cursor<SmallStr, T3, Page<SmallStr, T3>>

type Remote = Db_<L64, Pair<SerializedHash, SerializedMerkle>, Page<L64, Pair<SerializedHash, SerializedMerkle>>>

type Revremote = Db_<SerializedHash, L64, Page<SerializedHash, L64>>

type Remotestates = Db_<SerializedMerkle, L64, Page<SerializedMerkle, L64>>

type RemoteCursor = Cursor<L64, Pair<SerializedHash, SerializedMerkle>, Page<L64, Pair<SerializedHash, SerializedMerkle>>>

Auto Trait Implementations

impl<T> !RefUnwindSafe for GenericTxn<T>

impl<T> !Sync for GenericTxn<T>

impl<T> Unpin for GenericTxn<T> where
    T: Unpin

impl<T> !UnwindSafe for GenericTxn<T>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,