omnitype 0.1.0

A hybrid type checker for Python and other dynamic languages
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

//! 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.

#![warn(missing_docs)]
#![warn(rustdoc::missing_crate_level_docs)]

pub mod analyzer;
pub mod constraint_solver;
pub mod error;
pub mod fixer;
pub mod parser;
pub mod runtime_tracer;
pub mod types;
pub mod utils;

/// Re-exports commonly used types and traits.
pub mod prelude {
    pub use crate::error::{Error, Result};
}

/// The main entry point for the omnitype application.
pub fn run() -> crate::error::Result<()> {
    // Application initialization and execution will be implemented here
    Ok(())
}