Struct Schema 

pub struct Schema {
    pub ffv: Ffv,
    pub name: TypeName,
    pub meta_types: Confined<BTreeMap<MetaType, MetaDetails>, amplify::::collection::confinement::TinyOrdMap::{constant#0}, amplify::::collection::confinement::TinyOrdMap::{constant#1}>,
    pub global_types: Confined<BTreeMap<GlobalStateType, GlobalDetails>, amplify::::collection::confinement::TinyOrdMap::{constant#0}, amplify::::collection::confinement::TinyOrdMap::{constant#1}>,
    pub owned_types: Confined<BTreeMap<AssignmentType, AssignmentDetails>, amplify::::collection::confinement::TinyOrdMap::{constant#0}, amplify::::collection::confinement::TinyOrdMap::{constant#1}>,
    pub genesis: GenesisSchema,
    pub transitions: Confined<BTreeMap<TransitionType, TransitionDetails>, amplify::::collection::confinement::TinyOrdMap::{constant#0}, amplify::::collection::confinement::TinyOrdMap::{constant#1}>,
    pub default_assignment: Option<AssignmentType>,
}

Fields

ffv: Ffv

name: TypeName

meta_types: Confined<BTreeMap<MetaType, MetaDetails>, amplify::::collection::confinement::TinyOrdMap::{constant#0}, amplify::::collection::confinement::TinyOrdMap::{constant#1}>

global_types: Confined<BTreeMap<GlobalStateType, GlobalDetails>, amplify::::collection::confinement::TinyOrdMap::{constant#0}, amplify::::collection::confinement::TinyOrdMap::{constant#1}>

owned_types: Confined<BTreeMap<AssignmentType, AssignmentDetails>, amplify::::collection::confinement::TinyOrdMap::{constant#0}, amplify::::collection::confinement::TinyOrdMap::{constant#1}>

genesis: GenesisSchema

transitions: Confined<BTreeMap<TransitionType, TransitionDetails>, amplify::::collection::confinement::TinyOrdMap::{constant#0}, amplify::::collection::confinement::TinyOrdMap::{constant#1}>

default_assignment: Option<AssignmentType>

Implementations

impl Schema

pub fn schema_id(&self) -> SchemaId

pub fn types(&self) -> impl Iterator<Item = SemId>

pub fn libs(&self) -> impl Iterator<Item = LibId>

pub fn default_transition_for_assignment( &self, assignment_type: &AssignmentType, ) -> TransitionType

pub fn assignment( &self, name: impl Into<FieldName>, ) -> (&AssignmentType, &AssignmentDetails)

pub fn assignment_type(&self, name: impl Into<FieldName>) -> AssignmentType

pub fn assignment_name(&self, type_id: AssignmentType) -> &FieldName

pub fn assignment_types_for_state( &self, state_type: StateType, ) -> Vec<&AssignmentType>

pub fn global( &self, name: impl Into<FieldName>, ) -> (&GlobalStateType, &GlobalDetails)

pub fn global_type(&self, name: impl Into<FieldName>) -> GlobalStateType

pub fn meta(&self, name: impl Into<FieldName>) -> (&MetaType, &MetaDetails)

pub fn meta_type(&self, name: impl Into<FieldName>) -> MetaType

pub fn meta_name(&self, type_id: MetaType) -> &FieldName

pub fn transition( &self, name: impl Into<FieldName>, ) -> (&TransitionType, &TransitionDetails)

pub fn transition_type(&self, name: impl Into<FieldName>) -> TransitionType

impl Schema

pub fn verify(&self, types: &TypeSystem) -> Result<(), ValidationError>

impl Schema

pub fn validate_state<'validator, S>( &'validator self, consignment_types: &'validator TypeSystem, consignment_scripts: &'validator Confined<BTreeMap<LibId, Lib>, 0, rgbcore::::validation::consignment::Scripts::{constant#1}>, genesis: &'validator Genesis, op: OrdOpRef<'_>, contract_state: Rc<RefCell<S>>, prev_state: &'validator BTreeMap<AssignmentType, Vec<RevealedState>>, ) -> Result<(), ValidationError>

where S: ContractStateAccess + ContractStateEvolve,

Trait Implementations

impl Clone for Schema

fn clone(&self) -> Schema

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl CommitEncode for Schema

type CommitmentId = SchemaId

Type of the resulting commitment.

fn commit_encode(&self, e: &mut CommitEngine)

Encodes the data for the commitment by writing them directly into a std::io::Write writer instance

impl Debug for Schema

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Schema

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Schema

impl Ord for Schema

fn cmp(&self, other: &Schema) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for Schema

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for Schema

fn partial_cmp(&self, other: &Schema) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for Schema

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StrictDecode for Schema

fn strict_decode(reader: &mut impl TypedRead) -> Result<Schema, DecodeError>

fn strict_read(reader: impl ReadRaw) -> Result<Self, DecodeError>

impl StrictDeserialize for Schema

fn from_strict_serialized<const MAX: usize>( ast_data: Confined<Vec<u8>, 0, MAX>, ) -> Result<Self, DeserializeError>

fn strict_deserialize_from_file<const MAX: usize>( path: impl AsRef<Path>, ) -> Result<Self, DeserializeError>

impl StrictDumb for Schema

fn strict_dumb() -> Schema

impl StrictEncode for Schema

fn strict_encode<W>(&self, writer: W) -> Result<W, Error>

where W: TypedWrite,

fn strict_write(&self, writer: impl WriteRaw) -> Result<(), Error>

impl StrictProduct for Schema

impl StrictSerialize for Schema

fn strict_serialized_len<const MAX: usize>(&self) -> Result<usize, Error>

fn to_strict_serialized<const MAX: usize>( &self, ) -> Result<Confined<Vec<u8>, 0, MAX>, SerializeError>

fn strict_serialize_to_file<const MAX: usize>( &self, path: impl AsRef<Path>, ) -> Result<(), SerializeError>

impl StrictStruct for Schema

const ALL_FIELDS: &'static [&'static str]

fn strict_check_fields()

fn strict_type_info() -> TypeInfo<Self>

impl StrictType for Schema

const STRICT_LIB_NAME: &'static str = LIB_NAME_RGB_COMMIT

fn strict_name() -> Option<TypeName>