Skip to content

Menu

Home
Arx
ASTx
IRx
ArxPy
ArxJIT
ArxPM
VS Code
Jupyter Kernel
Douki
GitHub

Palette

Appearance

Browse documentation

IRx

Overview
Installation
Architecture
Learn and Contribute
Python API
irx / irx
analysis
analysis.analyzer
- Module overview
- SemanticAnalyzerclass
analysis.api
analysis.arrow_conversion
analysis.bindings
- Module overview
- VisibleBindingsclass
analysis.builtin_file
- Module overview
- NATIVE_FILE_METHODSattribute
analysis.call_arguments
- Module overview
- collect_literal_contextfunction
analysis.class_lifecycle
analysis.collections
analysis.context
- Module overview
- SemanticContextclass
analysis.contract
analysis.dataframe_literals
- Module overview
- PAIR_SIZEattribute
analysis.exception_types
analysis.extensions
- Module overview
analysis.extensions.calls
analysis.extensions.invalidation
- Module overview
analysis.extensions.records
analysis.factories
analysis.facts
analysis.ffi
analysis.file_io
analysis.float_literals
- Module overview
- FLOAT_EXPONENTSattribute
analysis.flow
analysis.handlers
- Module overview
analysis.handlers._declarations
- Module overview
- DeclarationVisitorMixinclass
analysis.handlers._declarations.blocks
- Module overview
- DeclarationBlockVisitorMixinclass
analysis.handlers._declarations.class_layout
analysis.handlers._declarations.class_members
- Module overview
- DeclarationClassMemberVisitorMixinclass
analysis.handlers._declarations.class_methods
analysis.handlers._declarations.class_support
analysis.handlers._declarations.functions
analysis.handlers._declarations.structs
analysis.handlers._expressions
- Module overview
- ExpressionVisitorMixinclass
analysis.handlers._expressions.arrays
- Module overview
- ExpressionArrayVisitorMixinclass
analysis.handlers._expressions.buffer_views
analysis.handlers._expressions.class_access
- Module overview
- ExpressionClassAccessVisitorMixinclass
analysis.handlers._expressions.class_support
- Module overview
- ExpressionClassSupportVisitorMixinclass
analysis.handlers._expressions.classes
- Module overview
- ExpressionClassVisitorMixinclass
analysis.handlers._expressions.dataframes
- Module overview
- ExpressionDataFrameVisitorMixinclass
analysis.handlers._expressions.lists
- Module overview
analysis.handlers._expressions.literals
- Module overview
- ExpressionLiteralVisitorMixinclass
analysis.handlers._expressions.modules
- Module overview
- ExpressionModuleVisitorMixinclass
analysis.handlers._expressions.mutation
- Module overview
- ExpressionMutationVisitorMixinclass
analysis.handlers._expressions.operators
- Module overview
- ExpressionOperatorVisitorMixinclass
analysis.handlers._expressions.tensor_buffer_support
- Module overview
- ExpressionTensorBufferSupportVisitorMixinclass
analysis.handlers._expressions.tensors
- Module overview
- ExpressionTensorVisitorMixinclass
analysis.handlers._expressions.tensors_buffers
- Module overview
- ExpressionTensorBufferVisitorMixinclass
analysis.handlers._templates
- Module overview
- TemplateVisitorMixinclass
analysis.handlers._templates.analysis
- Module overview
- TemplateAnalysisVisitorMixinclass
analysis.handlers._templates.build
- Module overview
- TemplateBuildVisitorMixinclass
analysis.handlers._templates.resolution
- Module overview
- TemplateResolutionVisitorMixinclass
analysis.handlers._templates.state
analysis.handlers._templates.support
- Module overview
- TemplateSupportVisitorMixinclass
analysis.handlers.base
analysis.handlers.class_helpers
analysis.handlers.control_flow
- Module overview
- ControlFlowVisitorMixinclass
analysis.handlers.declarations
- Module overview
- DeclarationVisitorMixinclass
analysis.handlers.exceptions
- Module overview
analysis.handlers.expressions
- Module overview
- ExpressionVisitorMixinclass
analysis.handlers.imports
- Module overview
- ImportVisitorMixinclass
analysis.handlers.templates
- Module overview
- TemplateVisitorMixinclass
analysis.iterables
- Module overview
- resolve_iteration_capabilityfunction
analysis.module_interfaces
analysis.module_symbols
analysis.normalization
analysis.nullable
analysis.numeric_literals
- Module overview
- default_numeric_literal_typefunction
analysis.numeric_policy
analysis.ownership
analysis.parameters
- Module overview
analysis.reachability
- Module overview
analysis.registry
analysis.resolved_nodes
analysis.scopes
analysis.sequences
- Module overview
- resolve_sequence_accessfunction
analysis.session
analysis.symbols
- Module overview
- variable_symbolfunction
analysis.table_io
analysis.text
- Module overview
analysis.types
analysis.typing
analysis.validation
base
- Module overview
base.visitors
base.visitors.base
- Module overview
- BaseVisitorclass
base.visitors.protocols
- Module overview
- BaseVisitorProtocolclass
buffer
builder
builder.backend
builder.base
builder.casting
- Module overview
builder.core
builder.diagnostics
builder.extensions
- Module overview
builder.extensions.adapters
- Module overview
builder.extensions.calls
builder.lowering
builder.lowering.array
- Module overview
- ArrayVisitorMixinclass
builder.lowering.binary_ops
- Module overview
- BinaryOpVisitorMixinclass
builder.lowering.buffer
- Module overview
- BufferVisitorMixinclass
builder.lowering.classes
- Module overview
builder.lowering.collections
- Module overview
- CollectionVisitorMixinclass
builder.lowering.control_flow
- Module overview
builder.lowering.dataframe
- Module overview
- DataFrameVisitorMixinclass
builder.lowering.exceptions
- Module overview
builder.lowering.file
- Module overview
builder.lowering.functions
- Module overview
- FunctionVisitorMixinclass
builder.lowering.generators
- Module overview
- GeneratorVisitorMixinclass
builder.lowering.list
- Module overview
- ListVisitorMixinclass
builder.lowering.literals
- Module overview
- LiteralVisitorMixinclass
builder.lowering.materialization
- Module overview
builder.lowering.modules
- Module overview
builder.lowering.nullable
- Module overview
- NullableVisitorMixinclass
builder.lowering.sequences
- Module overview
builder.lowering.system
- Module overview
- SystemVisitorMixinclass
builder.lowering.table_io
- Module overview
builder.lowering.temporal
- Module overview
- TemporalVisitorMixinclass
builder.lowering.tensor
- Module overview
- TensorVisitorMixinclass
builder.lowering.text
- Module overview
builder.lowering.unary_ops
- Module overview
- UnaryOpVisitorMixinclass
builder.lowering.variables
- Module overview
- VariableVisitorMixinclass
builder.numeric
- Module overview
builder.protocols
builder.runtime
- Module overview
- safe_popfunction
builder.runtime.array
builder.runtime.array.feature
builder.runtime.arrowcpp
builder.runtime.buffer
- Module overview
- build_buffer_runtime_featurefunction
builder.runtime.buffer.feature
builder.runtime.classes
- Module overview
- build_class_runtime_featurefunction
builder.runtime.classes.feature
- Module overview
- build_class_runtime_featurefunction
builder.runtime.dataframe
- Module overview
- build_dataframe_runtime_featurefunction
builder.runtime.dataframe.feature
- Module overview
- build_dataframe_runtime_featurefunction
builder.runtime.errors
builder.runtime.errors.feature
builder.runtime.errors.reporting
builder.runtime.exceptions
builder.runtime.exceptions.feature
- Module overview
- build_exception_runtime_featurefunction
builder.runtime.exceptions.reporting
builder.runtime.feature_libc
builder.runtime.feature_libm
builder.runtime.features
builder.runtime.file
builder.runtime.file.feature
builder.runtime.linking
builder.runtime.list
- Module overview
- build_list_runtime_featurefunction
builder.runtime.list.feature
builder.runtime.parquet
- Module overview
builder.runtime.record_batch
builder.runtime.record_batch_api
builder.runtime.registry
builder.runtime.sequence
- Module overview
builder.runtime.tensor
- Module overview
- build_tensor_runtime_featurefunction
builder.runtime.tensor.feature
- Module overview
- build_tensor_runtime_featurefunction
builder.runtime.text
- Module overview
builder.runtime.text.feature
- Module overview
- build_text_runtime_featurefunction
builder.state
builder.strings
- Module overview
builder.types
builder.vector
builtins
- Module overview
builtins.collections
builtins.collections.array_primitives
builtins.collections.column_types
builtins.collections.dataframe
builtins.collections.list
builtins.collections.tensor
diagnostics
extensions
extensions.handlers
native
parquet_options
record_batch
record_batch_abi
symbol_table
system
table_io
typecheck

API reference

python:irx:irx.analysis.contract.SemanticPhase.guarantees

attribute guarantees

guarantees: tuple[str, ...]

Source: packages/irx/src/irx/analysis/contract.py:45

Search documentation

Search guides, notebooks, and API docs

Type to search.

arxBuilt with DoukiMD