Expand description
omnitype: A hybrid type checker for Python and other dynamic languages.
This library provides static and runtime type checking capabilities, with support for type inference and automatic type annotation.
Modules§
- analyzer
- Static analysis for type inference and checking.
- error
- Error types for the omnitype crate.
- fixer
- Module for automatically fixing type-related issues in source code.
- parser
- Parser module for converting source code into an abstract syntax tree (AST).
- prelude
- Re-exports commonly used types and traits.
- solver
- Constraint-based type inference engine.
- tracer
- Runtime type tracing for dynamic type information collection.
- types
- Type system definitions for omnitype.
- utils
- Utility functions and helpers for omnitype.
Functions§
- run
- The main entry point for the omnitype application.