Enum IacType 

#[non_exhaustive]
pub enum IacType {
    String,
    Integer,
    Float,
    Numeric,
    Boolean,
    List(Box<IacType>),
    Set(Box<IacType>),
    Map(Box<IacType>),
    Object {
        name: String,
        fields: Vec<IacAttribute>,
    },
    Enum {
        values: Vec<String>,
        underlying: Box<IacType>,
    },
    Any,
}

Platform-independent type representation.

Richer than any single platform’s type system – preserves Object structure and Enum values needed by Pulumi schemas, Crossplane CRDs, etc.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

String

Integer

Float

Numeric

Platform-independent numeric type.

Terraform’s number type accepts both integers and floats. This variant preserves that ambiguity rather than forcing a choice between Integer and Float at schema-import time.

Boolean

List(Box<IacType>)

Set(Box<IacType>)

Map(Box<IacType>)

Object

Fields

name: String

fields: Vec<IacAttribute>

Enum

Enum constraint wrapping an underlying type.

values lists the allowed enum variants. underlying is the base type (typically IacType::String).

Fields

values: Vec<String>

underlying: Box<IacType>

Any

Implementations

impl IacType

pub fn is_scalar(&self) -> bool

Whether this type is a scalar (String, Integer, Float, Numeric, Boolean).

pub fn is_composite(&self) -> bool

Whether this type is a composite (List, Set, Map, Object).

pub fn inner_type(&self) -> Option<&IacType>

Returns the inner (element) type for container types.

• List(T) → Some(&T)
• Set(T) → Some(&T)
• Map(T) → Some(&T) (value type; keys are always strings)
• Enum { underlying, .. } → Some(&underlying)
• All others → None

Trait Implementations

impl Clone for IacType

fn clone(&self) -> IacType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IacType

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for IacType

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for IacType

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

Formats the value using the given formatter.

impl Eq for IacType

impl FromSExpr for IacType

fn from_sexpr(s: &SExpr) -> Result<Self, SExprError>

Errors

impl Hash for IacType

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 PartialEq for IacType

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for IacType

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 IacType

impl ToSExpr for IacType

fn to_sexpr(&self) -> SExpr

fn content_hash(&self) -> ContentHash

Convenience: content hash of this value’s canonical emission.