pub struct InputSignatureContract(/* private fields */);Expand description
Named value-free physical input signature contract.
Implementations§
Source§impl InputSignatureContract
impl InputSignatureContract
Sourcepub fn new(
predicate: impl Fn(&Placement, Option<&'static str>, Option<AllocationDomainId>, &StorageClass) -> bool + Send + Sync + 'static,
) -> Self
pub fn new( predicate: impl Fn(&Placement, Option<&'static str>, Option<AllocationDomainId>, &StorageClass) -> bool + Send + Sync + 'static, ) -> Self
Construct a named value-free physical input signature contract.
§Examples
use tenferro_runtime::{InputSignatureContract, StorageClass};
use tenferro_tensor::Placement;
let storage = StorageClass::new("example.storage.host")?;
let contract = InputSignatureContract::new(move |
placement: &Placement, family, domain, candidate| {
placement == &Placement::default()
&& family.is_none()
&& domain.is_none()
&& candidate == &storage
});
let _ = contract;Trait Implementations§
Source§impl Clone for InputSignatureContract
impl Clone for InputSignatureContract
Source§fn clone(&self) -> InputSignatureContract
fn clone(&self) -> InputSignatureContract
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for InputSignatureContract
impl !RefUnwindSafe for InputSignatureContract
impl Send for InputSignatureContract
impl Sync for InputSignatureContract
impl Unpin for InputSignatureContract
impl UnsafeUnpin for InputSignatureContract
impl !UnwindSafe for InputSignatureContract
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
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>
Converts
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>
Converts
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