pub struct TxFunction {
pub op: PlainSymbol,
}Expand description
A “transaction function” that exposes some value determined by the current transaction. The
prototypical example is the current transaction ID, (transaction-tx).
A natural next step might be to expose the current transaction instant (transaction-instant),
but that’s more difficult: the transaction itself can set the transaction instant (with some
restrictions), so the transaction function must be late-binding. Right now, that’s difficult to
arrange in the transactor.
In the future, we might accept arguments; for example, perhaps we might expose (ancestor (transaction-tx) n) to find the n-th ancestor of the current transaction. If we do accept
arguments, then the special case of (lookup-ref a v) should be handled as part of the
generalization.
Fields§
§op: PlainSymbolTrait Implementations§
Source§impl Clone for TxFunction
impl Clone for TxFunction
Source§fn clone(&self) -> TxFunction
fn clone(&self) -> TxFunction
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for TxFunction
impl Debug for TxFunction
impl Eq for TxFunction
Source§impl<V: TransactableValueMarker> From<TxFunction> for ValuePlace<V>
impl<V: TransactableValueMarker> From<TxFunction> for ValuePlace<V>
Source§fn from(v: TxFunction) -> Self
fn from(v: TxFunction) -> Self
Source§impl<V: TransactableValueMarker> From<TxFunction> for EntityPlace<V>
impl<V: TransactableValueMarker> From<TxFunction> for EntityPlace<V>
Source§fn from(v: TxFunction) -> Self
fn from(v: TxFunction) -> Self
Source§impl Hash for TxFunction
impl Hash for TxFunction
Source§impl Ord for TxFunction
impl Ord for TxFunction
Source§fn cmp(&self, other: &TxFunction) -> Ordering
fn cmp(&self, other: &TxFunction) -> Ordering
1.21.0 (const: unstable) · Source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Source§impl PartialEq for TxFunction
impl PartialEq for TxFunction
Source§fn eq(&self, other: &TxFunction) -> bool
fn eq(&self, other: &TxFunction) -> bool
self and other values to be equal, and is used by ==.Source§impl PartialOrd for TxFunction
impl PartialOrd for TxFunction
impl StructuralPartialEq for TxFunction
Auto Trait Implementations§
impl Freeze for TxFunction
impl RefUnwindSafe for TxFunction
impl Send for TxFunction
impl Sync for TxFunction
impl Unpin for TxFunction
impl UnsafeUnpin for TxFunction
impl UnwindSafe for TxFunction
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more