plotnik-bytecode 0.3.2

Bytecode format and runtime types for Plotnik
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

//! Core type system definitions shared between analysis and bytecode.
//!
//! This module provides the canonical type model used across:
//! - Type checking/inference (`query::type_check`)
//! - Bytecode emission and runtime (`bytecode`)
//! - TypeScript code generation

mod arity;
mod kind;
mod primitives;
mod quantifier;

#[cfg(test)]
mod arity_tests;
#[cfg(test)]
mod kind_tests;
#[cfg(test)]
mod primitives_tests;
#[cfg(test)]
mod quantifier_tests;

pub use arity::Arity;
pub use kind::TypeKind;
pub use primitives::{PrimitiveType, TYPE_CUSTOM_START, TYPE_NODE, TYPE_STRING, TYPE_VOID};
pub use quantifier::QuantifierKind;