Module cairo_lang_semantic::types

Structs

• ConcreteEnumId
• ConcreteEnumLongId
• ConcreteExternTypeId
• ConcreteExternTypeLongId
• ConcreteStructId
• ConcreteStructLongId
• TypeId
• TypeInfo

Enums

• ConcreteTypeId
• TypeHead
  Head of a type. A non-param non-variable type has a head, which represents the kind of the root node in its type tree. This is used for caching queries for fast lookups when the type is not completely inferred yet.
• TypeLongId

Functions

• generic_type_generic_params
  Query implementation of crate::db::SemanticGroup::generic_type_generic_params.
• maybe_resolve_type
• peel_snapshots
  Peels all wrapping Snapshot (@) from the type. Returns the number of peeled snapshots and the inner type.
• resolve_type
  Resolves a type given a module and a path.
• type_info
  Query implementation of crate::db::SemanticGroup::type_info.
• wrap_in_snapshots
  Wraps a type with Snapshot (@) n_snapshots times.