pub struct Brevet;
Trait Implementations§
source§impl<'de> Deserialize<'de> for Brevet
impl<'de> Deserialize<'de> for Brevet
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl Lang for Brevet
impl Lang for Brevet
type Key = String
type Val = BrevetResult
type Stmt = Expr
type Expr = Expr
fn get_write_set(_s: &Self::Stmt) -> BTreeMap<Self::Key, Self::Expr>
fn get_read_set(_e: &Self::Expr) -> BTreeSet<Self::Key>
fn get_eval_set(_s: &Self::Stmt) -> BTreeSet<Self::Key>
fn eval_expr( e: &Self::Expr, _vals: &[Self::Val], env: &BTreeMap<Self::Key, ExtVal<Self>> ) -> ExtVal<Self>
source§impl Ord for Brevet
impl Ord for Brevet
source§impl PartialEq for Brevet
impl PartialEq for Brevet
source§impl PartialOrd for Brevet
impl PartialOrd for Brevet
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moresource§impl Store<Brevet> for TieredStore
impl Store<Brevet> for TieredStore
impl Eq for Brevet
impl StructuralEq for Brevet
impl StructuralPartialEq for Brevet
Auto Trait Implementations§
impl RefUnwindSafe for Brevet
impl Send for Brevet
impl Sync for Brevet
impl Unpin for Brevet
impl UnwindSafe for Brevet
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
Mutably borrows from an owned value. Read more