Struct ResolvedType 

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

SimplicityHL type without type aliases.

Implementations

impl ResolvedType

pub fn as_inner(&self) -> &TypeInner<Arc<Self>>

Access the inner type primitive.

impl ResolvedType

Nominal enum types.

These methods are inherent rather than part of TypeConstructible and TypeDeconstructible. Those traits model the structural type algebra that every type universe (aliased, resolved, structural) shares, while a nominal enum exists only at the resolved level.

At the structural level its identity is erased into a balanced sum, and at the source level enums enter types by name only. Keeping the constructor off the shared traits also means that only crate::ast’s scope (which owns the uniqueness of declaration ids) can mint enum types.

pub const fn enumeration(info: EnumInfo) -> Self

Create a nominal enum type from the given definition.

pub const fn as_enum(&self) -> Option<&EnumInfo>

Access the enum definition if this is an enum type.

pub fn contains_enum(&self) -> bool

Check whether the type mentions an enum, at any nesting depth.

Trait Implementations

impl Clone for ResolvedType

fn clone(&self) -> ResolvedType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResolvedType

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

Formats the value using the given formatter.

impl Display for ResolvedType

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

Formats the value using the given formatter.

impl Eq for ResolvedType

impl From<&ResolvedType> for StructuralType

fn from(value: &ResolvedType) -> Self

Converts to this type from the input type.

impl From<UIntType> for ResolvedType

fn from(value: UIntType) -> Self

Converts to this type from the input type.

impl Hash for ResolvedType

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl ParseFromStr for ResolvedType

fn parse_from_str(s: &str) -> Result<Self, Diagnostic>

Parse a value from the string s.

impl PartialEq for ResolvedType

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ResolvedType

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ResolvedType

impl TreeLike for &ResolvedType

fn as_node(&self) -> Tree<Self>

Interpret the node as an abstract node.

fn n_children(&self) -> usize

Accessor for the number of children this node has.

fn nth_child(&self, n: usize) -> Option<Self>

Accessor for the nth child of the node, if a child with that index exists.

fn pre_order_iter(self) -> PreOrderIter<Self>

Obtains an iterator of all the nodes rooted at the node, in pre-order.

fn verbose_pre_order_iter(self) -> VerbosePreOrderIter<Self>

Obtains a verbose iterator of all the nodes rooted at the DAG, in pre-order.

fn post_order_iter(self) -> PostOrderIter<Self>

Obtains an iterator of all the nodes rooted at the DAG, in post order.

impl TryFrom<&ResolvedType> for UIntType

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: &ResolvedType) -> Result<Self, Self::Error>

Performs the conversion.

impl TypeConstructible for ResolvedType

fn either(left: Self, right: Self) -> Self

Create a sum of the given left and right types.

fn option(inner: Self) -> Self

Create an option of the given inner type.

fn boolean() -> Self

Create the Boolean type.

fn tuple<I: IntoIterator<Item = Self>>(elements: I) -> Self

Create a tuple from the given elements.

fn array(element: Self, size: usize) -> Self

Create an array with size many values of the element type.

fn list(element: Self, bound: NonZeroPow2Usize) -> Self

Create a list with less than bound many values of the element type.

fn unit() -> Self

Create the unit type.

fn product(left: Self, right: Self) -> Self

Create a product of the given left and right types.

fn byte_array(size: usize) -> Self

Create an array of size many bytes.

fn u1() -> Self

Create the type of 1-bit integers.

fn u2() -> Self

Create the type of 2-bit integers.

fn u4() -> Self

Create the type of 4-bit integers.

fn u8() -> Self

Create the type of 8-bit integers.

fn u16() -> Self

Create the type of 16-bit integers.

fn u32() -> Self

Create the type of 32-bit integers.

fn u64() -> Self

Create the type of 64-bit integers.

fn u128() -> Self

Create the type of 128-bit integers.

fn u256() -> Self

Create the type of 256-bit integers.

impl TypeDeconstructible for ResolvedType

fn as_either(&self) -> Option<(&Self, &Self)>

Access the left and right types of a sum.

fn as_option(&self) -> Option<&Self>

Access the inner type of an option.

fn is_boolean(&self) -> bool

Check if the type is Boolean.

fn as_integer(&self) -> Option<UIntType>

Access the internals of an integer type.

fn as_tuple(&self) -> Option<&[Arc<Self>]>

Access the element types of a tuple.

fn as_array(&self) -> Option<(&Self, usize)>

Access the element type and size of an array.

fn as_list(&self) -> Option<(&Self, NonZeroPow2Usize)>

Access the element type and bound of a list.

fn is_unit(&self) -> bool

Check if the type is the unit (empty tuple).