Struct Consignment

Source
pub struct Consignment<const TRANSFER: bool> {
    pub version: ContainerVer,
    pub transfer: bool,
    pub terminals: SmallOrdMap<BundleId, SecretSeals>,
    pub genesis: Genesis,
    pub bundles: LargeVec<WitnessBundle>,
    pub schema: Schema,
    pub types: TypeSystem,
    pub scripts: Confined<BTreeSet<Lib>, 0, CONSIGNMENT_MAX_LIBS>,
}
Expand description

Consignment represents contract-specific data, always starting with genesis, which must be valid under client-side-validation rules (i.e. internally consistent and properly committed into the commitment layer, like bitcoin blockchain or current state of the lightning channel).

All consignments-related procedures, including validation or merging consignments data into stash or schema-specific data storage, must start with endpoints and process up to the genesis.

Fields§

§version: ContainerVer

Version.

§transfer: bool

Specifies whether the consignment contains information about state transfer (true), or it is just a consignment with an information about a contract.

§terminals: SmallOrdMap<BundleId, SecretSeals>

Set of secret seals which are history terminals.

§genesis: Genesis

Genesis data.

§bundles: LargeVec<WitnessBundle>

All bundled state transitions contained in the consignment, together with their witness data.

§schema: Schema

Schema (plus root schema, if any) under which contract is issued.

§types: TypeSystem

Type system covering all types used in schema.

§scripts: Confined<BTreeSet<Lib>, 0, CONSIGNMENT_MAX_LIBS>

Collection of scripts used across consignment.

Implementations§

Source§

impl<const TRANSFER: bool> Consignment<TRANSFER>

Source

pub fn consignment_id(&self) -> ConsignmentId

Source

pub fn schema_id(&self) -> SchemaId

Source

pub fn reveal_terminal_seals<E>( self, f: impl Fn(SecretSeal) -> Result<Option<GraphSeal>, E>, ) -> Result<Self, E>

Source

pub fn into_contract(self) -> Contract

Source

pub fn replace_transitions_input_ops(&self) -> BTreeSet<OpId>

Source

pub fn validate( self, resolver: &impl ResolveWitness, chain_net: ChainNet, safe_height: Option<NonZeroU32>, trusted_typesystem: TypeSystem, ) -> Result<ValidConsignment<TRANSFER>, Status>

Source

pub fn validate_with_opids( self, resolver: &impl ResolveWitness, chain_net: ChainNet, safe_height: Option<NonZeroU32>, trusted_typesystem: TypeSystem, trusted_op_seals: BTreeSet<OpId>, ) -> Result<ValidConsignment<TRANSFER>, Status>

Source

pub fn modify_bundle<F>(&mut self, witness_id: Txid, modifier: F) -> bool
where F: Fn(&mut WitnessBundle),

Modify a bundle in the consignment if it exists

Trait Implementations§

Source§

impl<const TRANSFER: bool> Clone for Consignment<TRANSFER>

Source§

fn clone(&self) -> Consignment<TRANSFER>

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl<const TRANSFER: bool> CommitEncode for Consignment<TRANSFER>

Source§

type CommitmentId = ConsignmentId

Type of the resulting commitment.
Source§

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

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

impl<const TRANSFER: bool> ConsignmentExt for Consignment<TRANSFER>

Source§

impl<const TRANSFER: bool> Debug for Consignment<TRANSFER>

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<'de, const TRANSFER: bool> Deserialize<'de> for Consignment<TRANSFER>

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<const TRANSFER: bool> Display for Consignment<TRANSFER>

Source§

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

Formats the value using the given formatter. Read more
Source§

impl From<Consignment<false>> for UniversalFile

Source§

fn from(v: Contract) -> Self

Converts to this type from the input type.
Source§

impl From<Consignment<true>> for UniversalFile

Source§

fn from(v: Transfer) -> Self

Converts to this type from the input type.
Source§

impl<const TRANSFER: bool> FromStr for Consignment<TRANSFER>

Source§

type Err = ConsignmentParseError

The associated error which can be returned from parsing.
Source§

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type. Read more
Source§

impl<const TRANSFER: bool> PartialEq for Consignment<TRANSFER>

Source§

fn eq(&self, other: &Consignment<TRANSFER>) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl<const TRANSFER: bool> Serialize for Consignment<TRANSFER>

Source§

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

Serialize this value into the given Serde serializer. Read more
Source§

impl<const TRANSFER: bool> StrictArmor for Consignment<TRANSFER>

Source§

const PLATE_TITLE: &'static str = "RGB CONSIGNMENT"

Source§

type Id = ConsignmentId

Source§

fn armor_id(&self) -> Self::Id

Source§

fn armor_headers(&self) -> Vec<ArmorHeader>

Source§

fn parse_armor_headers( &mut self, headers: Vec<ArmorHeader>, ) -> Result<(), StrictArmorError>

Source§

fn checksum_armor(&self) -> bool

Source§

impl<const TRANSFER: bool> StrictDecode for Consignment<TRANSFER>

Source§

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

Source§

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

Source§

impl<const TRANSFER: bool> StrictDeserialize for Consignment<TRANSFER>

Source§

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

Source§

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

Source§

impl<const TRANSFER: bool> StrictDumb for Consignment<TRANSFER>

Source§

fn strict_dumb() -> Self

Source§

impl<const TRANSFER: bool> StrictEncode for Consignment<TRANSFER>

Source§

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

Source§

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

Source§

impl<const TRANSFER: bool> StrictSerialize for Consignment<TRANSFER>

Source§

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

Source§

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

Source§

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

Source§

impl<const TRANSFER: bool> StrictStruct for Consignment<TRANSFER>

Source§

impl<const TRANSFER: bool> StrictType for Consignment<TRANSFER>

Source§

const STRICT_LIB_NAME: &'static str = LIB_NAME_RGB_OPS

Source§

fn strict_name() -> Option<TypeName>

Source§

impl<const TRANSFER: bool> StrictProduct for Consignment<TRANSFER>

Source§

impl<const TRANSFER: bool> StructuralPartialEq for Consignment<TRANSFER>

Auto Trait Implementations§

§

impl<const TRANSFER: bool> Freeze for Consignment<TRANSFER>

§

impl<const TRANSFER: bool> RefUnwindSafe for Consignment<TRANSFER>

§

impl<const TRANSFER: bool> Send for Consignment<TRANSFER>

§

impl<const TRANSFER: bool> Sync for Consignment<TRANSFER>

§

impl<const TRANSFER: bool> Unpin for Consignment<TRANSFER>

§

impl<const TRANSFER: bool> UnwindSafe for Consignment<TRANSFER>

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<T> AsciiArmor for T
where T: StrictArmor,

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<T> CloneToUninit for T
where T: Clone,

Source§

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

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> CommitId for T
where T: CommitEncode,

Source§

fn commit(&self) -> CommitEngine

Source§

fn commit_id(&self) -> <T as CommitEncode>::CommitmentId

Performs commitment to client-side-validated data
Source§

impl<T> CommitmentLayout for T

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> Same for T

Source§

type Output = T

Should always be Self
Source§

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

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

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

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T> ToString for T
where T: Display + ?Sized,

Source§

fn to_string(&self) -> String

Converts the given value to a String. Read more
Source§

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

Source§

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>,

Source§

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<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

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