Struct EventContractCapabilities

Source

pub struct EventContractCapabilities {Show 13 fields
    pub cli_version: u32,
    pub certificate_version: u32,
    pub portfolio_version: u32,
    pub semantics: String,
    pub proof_format: String,
    pub min_relevant_inputs: usize,
    pub max_relevant_inputs: usize,
    pub max_latches: usize,
    pub max_horizon: usize,
    pub max_contract_bytes: u64,
    pub max_certificate_bytes: u64,
    pub max_proof_bytes: usize,
    pub max_total_proof_bytes: usize,
}

Expand description

Machine-discovered limits and formats for event-contract CLI v1.

Fields§

§cli_version: u32§certificate_version: u32§portfolio_version: u32§semantics: String§proof_format: String§min_relevant_inputs: usize§max_relevant_inputs: usize§max_latches: usize§max_horizon: usize§max_contract_bytes: u64§max_certificate_bytes: u64§max_proof_bytes: usize§max_total_proof_bytes: usize

EventContractCapabilities

Struct EventContractCapabilities Copy item path

Fields§

Trait Implementations§

impl Clone for EventContractCapabilities

fn clone(&self) -> EventContractCapabilities

fn clone_from(&mut self, source: &Self)

impl Debug for EventContractCapabilities

fn fmt(&self, f: &mut Formatter<'_>) -> Result

impl Eq for EventContractCapabilities

impl PartialEq for EventContractCapabilities

fn eq(&self, other: &EventContractCapabilities) -> bool

fn ne(&self, other: &Rhs) -> bool

impl StructuralPartialEq for EventContractCapabilities

Auto Trait Implementations§

impl Freeze for EventContractCapabilities

impl RefUnwindSafe for EventContractCapabilities

impl Send for EventContractCapabilities

impl Sync for EventContractCapabilities

impl Unpin for EventContractCapabilities

impl UnsafeUnpin for EventContractCapabilities

impl UnwindSafe for EventContractCapabilities

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<Reference, Outer, OuterFieldType, Inner> HasPart<Nested<Outer, Inner>> for Referencewhere Reference: HasPart<Outer> + ?Sized, Outer: Part<PartType = Field<OuterFieldType>>, Inner: Part, OuterFieldType: HasPart<Inner, RawTarget = OuterFieldType> + PartialRefTarget + ?Sized,

unsafe fn part_ptr( ptr: *const <Reference as PartialRefTarget>::RawTarget, ) -> <<Inner as Part>::PartType as PartType>::Ptr

unsafe fn part_ptr_mut( ptr: *mut <Reference as PartialRefTarget>::RawTarget, ) -> <<Inner as Part>::PartType as PartType>::PtrMut

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

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

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct EventContractCapabilities

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<Reference, Outer, OuterFieldType, Inner> HasPart<Nested<Outer, Inner>> for Reference
where Reference: HasPart<Outer> + ?Sized, Outer: Part<PartType = Field<OuterFieldType>>, Inner: Part, OuterFieldType: HasPart<Inner, RawTarget = OuterFieldType> + PartialRefTarget + ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,