Struct sapio_contrib::contracts::derivatives::exploding::ExplodingOption [−][src]
Wraps a generic option opt with functionality to refund both parties on timeout.
Trait Implementations
impl<T> Contract for ExplodingOption<T> where
GenericBet: TryFrom<T, Error = CompilationError>,
T: Clone + 'static, [src]
GenericBet: TryFrom<T, Error = CompilationError>,
T: Clone + 'static,
const THEN_FNS: &'static [fn() -> Option<ThenFunc<'static, Self>>][src]
binds the list of ThenFunc’s to this impl.
Any fn() which returns None is ignored (useful for type-level state machines)
type StatefulArguments = ()
Due to type system limitations, all FinishOrFuncs for a Contract type must share a
parameter pack type. If stable, no default type allowed. Read more
pub const FINISH_OR_FUNCS: &'static [fn() -> Option<FinishOrFunc<'static, Self, Self::StatefulArguments>>][src]
pub const FINISH_FNS: &'static [fn() -> Option<Guard<Self>>][src]
impl<T> Explodes for ExplodingOption<T> where
GenericBet: TryFrom<T, Error = CompilationError>,
T: Clone, [src]
GenericBet: TryFrom<T, Error = CompilationError>,
T: Clone,
Auto Trait Implementations
impl<T> RefUnwindSafe for ExplodingOption<T> where
T: RefUnwindSafe,
T: RefUnwindSafe,
impl<T> Send for ExplodingOption<T> where
T: Send,
T: Send,
impl<T> Sync for ExplodingOption<T> where
T: Sync,
T: Sync,
impl<T> Unpin for ExplodingOption<T> where
T: Unpin,
T: Unpin,
impl<T> UnwindSafe for ExplodingOption<T> where
T: UnwindSafe,
T: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<C> AnyContract for C where
C: Contract, [src]
C: Contract,
type StatefulArguments = <C as Contract>::StatefulArguments
The parameter pack type for FinishOrFuncs.
type Ref = C
A Reference which can be extracted to the contract argument data
For some types, Ref == Self, and for other types Ref may point to a member.
This enables DynamicContract and Contract to impl AnyContract, as well
as more exotic types. Read more
pub fn then_fns<'a>(
&'a self
) -> &'a [fn() -> Option<ThenFunc<'a, <C as AnyContract>::Ref>>] where
<C as AnyContract>::Ref: 'a, [src]
&'a self
) -> &'a [fn() -> Option<ThenFunc<'a, <C as AnyContract>::Ref>>] where
<C as AnyContract>::Ref: 'a,
pub fn finish_or_fns(
&'a self
) -> &'a [fn() -> Option<FinishOrFunc<'a, <C as AnyContract>::Ref, <C as AnyContract>::StatefulArguments>>][src]
&'a self
) -> &'a [fn() -> Option<FinishOrFunc<'a, <C as AnyContract>::Ref, <C as AnyContract>::StatefulArguments>>]
pub fn finish_fns(
&'a self
) -> &'a [fn() -> Option<Guard<<C as AnyContract>::Ref>>][src]
&'a self
) -> &'a [fn() -> Option<Guard<<C as AnyContract>::Ref>>]
pub fn get_inner_ref(&'a self) -> &'a <C as AnyContract>::Ref[src]
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T[src]
impl<'a, T> Compilable for T where
T: AnyContract + 'a,
<T as AnyContract>::Ref: 'a, [src]
T: AnyContract + 'a,
<T as AnyContract>::Ref: 'a,
pub fn compile(&self, ctx: &Context) -> Result<Object, CompilationError>[src]
The main Compilation Logic for a Contract. TODO: Better Document Semantics
impl<T> From<T> for T[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,