pub struct CompleteHealthStatus {
    pub status: String,
    pub version: String,
    pub timestamp: i64,
    pub database: DatabaseStats,
    pub smt: SmtInfo,
    pub features: Features,
}Expand description
System health status
Fields§
§status: StringOverall system status
version: StringSystem version
timestamp: i64Timestamp of the status check
database: DatabaseStatsDatabase information
smt: SmtInfoSMT solver information
features: FeaturesAvailable features
Trait Implementations§
Source§impl Clone for CompleteHealthStatus
 
impl Clone for CompleteHealthStatus
Source§fn clone(&self) -> CompleteHealthStatus
 
fn clone(&self) -> CompleteHealthStatus
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
 
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from 
source. Read moreSource§impl Debug for CompleteHealthStatus
 
impl Debug for CompleteHealthStatus
Source§impl<'de> Deserialize<'de> for CompleteHealthStatus
 
impl<'de> Deserialize<'de> for CompleteHealthStatus
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
Auto Trait Implementations§
impl Freeze for CompleteHealthStatus
impl RefUnwindSafe for CompleteHealthStatus
impl Send for CompleteHealthStatus
impl Sync for CompleteHealthStatus
impl Unpin for CompleteHealthStatus
impl UnwindSafe for CompleteHealthStatus
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