pub struct DynamicExample;
Expand description

Shows how to make a Dynamic Contract without creating a bespoke type.

Trait Implementations§

source§

impl Contract for DynamicExample

source§

const THEN_FNS: &'static [fn() -> Option<ThenFuncAsFinishOrFunc<'static, Self, Self::StatefulArguments>>] = _

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.
source§

const FINISH_OR_FUNCS: &'static [fn() -> Option<Box<dyn CallableAsFoF<Self, Self::StatefulArguments>>>] = _

binds the list of FinishOrFunc’s to this impl. Any fn() which returns None is ignored (useful for type-level state machines)
source§

const FINISH_FNS: &'static [fn() -> Option<Guard<Self>>] = _

binds the list of Gurard’s to this impl as unlocking conditions. Guards only need to be bound if it is desired that they are sufficient to unlock funds, a Guard should not be bound if it is intended to be used with a ThenFunc. Any fn() which returns None is ignored (useful for type-level state machines)
source§

fn metadata(&self, _ctx: Context) -> Result<ObjectMetadata, CompilationError>

Generate metadata for this contract object
source§

fn ensure_amount(&self, _ctx: Context) -> Result<Amount, CompilationError>

minimum balance to have in this coin
source§

impl<'de> Deserialize<'de> for DynamicExample

source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
source§

impl JsonSchema for DynamicExample

source§

fn schema_name() -> String

The name of the generated JSON Schema. Read more
source§

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type. Read more
source§

fn json_schema(gen: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type. Read more
source§

fn is_referenceable() -> bool

Whether JSON Schemas generated for this type should be re-used where possible using the $ref keyword. Read more

Auto Trait Implementations§

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<C> AnyContract for C

§

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.
source§

fn then_fns<'a>( &'a self ) -> &'a [fn() -> Option<FinishOrFunc<'a, <C as AnyContract>::Ref, <C as AnyContract>::StatefulArguments, ThenFuncTypeTag, WebAPIDisabled>>]
where <C as AnyContract>::Ref: 'a,

obtain a reference to the ThenFuncAsFinishOrFunc list.
source§

fn finish_or_fns<'a>( &'a self ) -> &'a [fn() -> Option<Box<dyn CallableAsFoF<<C as AnyContract>::Ref, <C as AnyContract>::StatefulArguments>>>]

obtain a reference to the FinishOrFunc list.
source§

fn finish_fns<'a>( &'a self ) -> &'a [fn() -> Option<Guard<<C as AnyContract>::Ref>>]

obtain a reference to the Guard list.
source§

fn get_inner_ref<'a>(&'a self) -> &'a <C as AnyContract>::Ref

obtain a reference to Self::Ref type.
source§

fn metadata<'a>( &'a self, ctx: Context ) -> Result<ObjectMetadata, CompilationError>

Generate the metadata
source§

fn ensure_amount<'a>(&'a self, ctx: Context) -> Result<Amount, CompilationError>

Minimum Amount
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

source§

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

Mutably borrows from an owned value. Read more
source§

impl<'a, T> Compilable for T
where T: AnyContract + 'a, <T as AnyContract>::Ref: 'a,

source§

fn compile(&self, ctx: Context) -> Result<Object, CompilationError>

The main Compilation Logic for a Contract. TODO: Better Document Semantics

source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

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

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

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

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

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

Performs the conversion.
source§

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

§

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

The type returned in the event of a conversion error.
source§

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

Performs the conversion.
source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,