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: String
Overall system status
version: String
System version
timestamp: i64
Timestamp of the status check
database: DatabaseStats
Database information
smt: SmtInfo
SMT solver information
features: Features
Available 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