Struct TypeSystem 

pub struct TypeSystem(/* private fields */);

Type system represents a set of strict types assembled from multiple libraries. It is designed to provide all necessary type information to analyze a type with all types it depends onto.

Type guarantees

• Total number of types do not exceed 2^24-1;
• Strict-serialized size is less than 2^24 bytes;
• A type with the same semantic id can’t appear in more than 256 libraries;
• Type system is complete (i.e. no type references a type which is not a part of the system).

Implementations

impl TypeSystem

pub fn new() -> TypeSystem

pub fn count_types(&self) -> u24

pub fn get(&self, sem_id: SemId) -> Option<&Ty<SemId>>

pub fn extend(&mut self, other: TypeSystem) -> Result<(), Error>

pub fn extract( &self, ids: impl IntoIterator<Item = SemId>, ) -> Result<TypeSystem, UnknownType>

impl TypeSystem

pub fn id(&self) -> TypeSysId

impl TypeSystem

pub fn find(&self, sem_id: SemId) -> Option<&Ty<SemId>>

pub fn typify(&self, val: StrictVal, sem_id: SemId) -> Result<TypedVal, Error>

impl TypeSystem

pub fn strict_deserialize_type( &self, sem_id: SemId, data: &[u8], ) -> Result<TypedVal, Error>

pub fn strict_read_type( &self, sem_id: SemId, d: &mut impl ReadRaw, ) -> Result<TypedVal, Error>

impl TypeSystem

pub fn strict_serialize_value<const MAX_LEN: usize>( &self, typed: &TypedVal, ) -> Result<Confined<Vec<u8>, 0, MAX_LEN>, SerializeError>

pub fn strict_serialize_type<const MAX_LEN: usize>( &self, typed: &TypedVal, ) -> Result<SerializedType<MAX_LEN>, SerializeError>

👎Deprecated since 2.7.2: use strict_serialize_value instead

pub fn strict_write_value( &self, typed: &TypedVal, writer: &mut impl Write, ) -> Result<(), Error>

pub fn strict_write_type( &self, typed: &TypedVal, writer: &mut impl Write, ) -> Result<(), Error>

👎Deprecated since 2.7.2: use strict_write_value instead

Methods from Deref<Target = Confined<BTreeMap<SemId, Ty<SemId>>, amplify::::collection::confinement::MediumOrdMap::{constant#0}, amplify::::collection::confinement::MediumOrdMap::{constant#1}>>

pub fn as_inner(&self) -> &C

👎Deprecated since 4.7.0: use as_unconfined method

Returns inner collection type

pub fn as_unconfined(&self) -> &C

Returns reference to the inner collection type.

pub fn to_inner(&self) -> C

where C: Clone,

👎Deprecated since 4.7.0: use to_unconfined method

Clones inner collection type and returns it

pub fn to_unconfined(&self) -> C

where C: Clone,

Clones inner collection and returns an unconfined version of it.

pub fn len_u8(&self) -> u8

Returns number of elements in the confined collection as u8. The confinement guarantees that the collection length can’t exceed u8::MAX.

pub fn len_u16(&self) -> u16

Returns number of elements in the confined collection as u16. The confinement guarantees that the collection length can’t exceed u16::MAX.

pub fn len_u24(&self) -> u24

Returns number of elements in the confined collection as u24. The confinement guarantees that the collection length can’t exceed u24::MAX.

pub fn len_u32(&self) -> u32

Returns number of elements in the confined collection as u32. The confinement guarantees that the collection length can’t exceed u32::MAX.

Trait Implementations

impl AsRef<Confined<BTreeMap<SemId, Ty<SemId>>, amplify::::collection::confinement::MediumOrdMap::{constant#0}, amplify::::collection::confinement::MediumOrdMap::{constant#1}>> for TypeSystem

fn as_ref( &self, ) -> &Confined<BTreeMap<SemId, Ty<SemId>>, amplify::::collection::confinement::MediumOrdMap::{constant#0}, amplify::::collection::confinement::MediumOrdMap::{constant#1}>

Converts this type into a shared reference of the (usually inferred) input type.

impl Borrow<Confined<BTreeMap<SemId, Ty<SemId>>, amplify::::collection::confinement::MediumOrdMap::{constant#0}, amplify::::collection::confinement::MediumOrdMap::{constant#1}>> for TypeSystem

fn borrow( &self, ) -> &Confined<BTreeMap<SemId, Ty<SemId>>, amplify::::collection::confinement::MediumOrdMap::{constant#0}, amplify::::collection::confinement::MediumOrdMap::{constant#1}>

Immutably borrows from an owned value.

impl Clone for TypeSystem

fn clone(&self) -> TypeSystem

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeSystem

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

Formats the value using the given formatter.

impl Default for TypeSystem

fn default() -> TypeSystem

Returns the “default value” for a type.

impl Deref for TypeSystem

type Target = Confined<BTreeMap<SemId, Ty<SemId>>, amplify::::collection::confinement::MediumOrdMap::{constant#0}, amplify::::collection::confinement::MediumOrdMap::{constant#1}>

The resulting type after dereferencing.

fn deref(&self) -> &<TypeSystem as Deref>::Target

Dereferences the value.

impl<'de> Deserialize<'de> for TypeSystem

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for TypeSystem

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

Formats the value using the given formatter.

impl From<Confined<BTreeMap<SemId, Ty<SemId>>, amplify::::collection::confinement::MediumOrdMap::{constant#0}, amplify::::collection::confinement::MediumOrdMap::{constant#1}>> for TypeSystem

fn from( v: Confined<BTreeMap<SemId, Ty<SemId>>, amplify::::collection::confinement::MediumOrdMap::{constant#0}, amplify::::collection::confinement::MediumOrdMap::{constant#1}>, ) -> TypeSystem

Converts to this type from the input type.

impl From<TypeSystem> for Confined<BTreeMap<SemId, Ty<SemId>>, amplify::::collection::confinement::MediumOrdMap::{constant#0}, amplify::::collection::confinement::MediumOrdMap::{constant#1}>

fn from( wrapped: TypeSystem, ) -> Confined<BTreeMap<SemId, Ty<SemId>>, amplify::::collection::confinement::MediumOrdMap::{constant#0}, amplify::::collection::confinement::MediumOrdMap::{constant#1}>

Converts to this type from the input type.

impl Index<SemId> for TypeSystem

type Output = Ty<SemId>

The returned type after indexing.

fn index(&self, index: SemId) -> &<TypeSystem as Index<SemId>>::Output

Performs the indexing (container[index]) operation.

impl PartialEq for TypeSystem

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl SemCommit for TypeSystem

fn sem_commit(&self, hasher: &mut impl CommitConsume)

impl Serialize for TypeSystem

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 StrictArmor for TypeSystem

Available on crate feature armor only.

const PLATE_TITLE: &'static str = "STRICT TYPE SYSTEM"

type Id = TypeSysId

fn armor_id(&self) -> <TypeSystem as StrictArmor>::Id

fn checksum_armor(&self) -> bool

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

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

impl StrictDecode for TypeSystem

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

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

impl StrictDeserialize for TypeSystem

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 StrictEncode for TypeSystem

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

where W: TypedWrite,

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

impl StrictSerialize for TypeSystem

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 StrictTuple for TypeSystem

const FIELD_COUNT: u8 = 1u8

fn strict_check_fields()

fn strict_type_info() -> TypeInfo<Self>

impl StrictType for TypeSystem

const STRICT_LIB_NAME: &'static str = STRICT_TYPES_LIB

fn strict_name() -> Option<TypeName>

impl Wrapper for TypeSystem

type Inner = Confined<BTreeMap<SemId, Ty<SemId>>, amplify::::collection::confinement::MediumOrdMap::{constant#0}, amplify::::collection::confinement::MediumOrdMap::{constant#1}>

Inner type wrapped by the current newtype

fn from_inner(inner: <TypeSystem as Wrapper>::Inner) -> TypeSystem

Instantiates wrapper type with the inner data

fn as_inner(&self) -> &<TypeSystem as Wrapper>::Inner

Returns reference to the inner representation for the wrapper type

fn into_inner(self) -> <TypeSystem as Wrapper>::Inner

Unwraps the wrapper returning the inner type

fn to_inner(&self) -> Self::Inner

where Self::Inner: Clone,

Clones inner data of the wrapped type and return them

fn copy(&self) -> Self

where Self: Sized, Self::Inner: Copy,

Copies the wrapped type

impl DefaultBasedStrictDumb for TypeSystem

impl Eq for TypeSystem

impl StrictProduct for TypeSystem

impl StructuralPartialEq for TypeSystem