Module type_safety 

Advanced type safety for preprocessing transformers

This module provides compile-time guarantees for transformation states and pipeline composition using Rust’s advanced type system features including:

• Phantom types for tracking fitted/unfitted states
• Const generics for compile-time dimension checking
• Type-level programming for pipeline validation
• Zero-cost abstractions for transformation composition

Structs

Dynamic

Marker for unknown dimensions (determined at runtime)

Fitted

Fitted state - transformer has been fitted to data and can transform

Known

Marker for known dimensions (determined at compile time)

TypeSafeConfig

Configuration for type-safe transformer

TypeSafePipeline

Type-safe pipeline that chains transformers with compile-time validation

TypeSafeTransformer

Type-safe transformer with compile-time state and dimension tracking

Unfitted

Unfitted state - transformer has not been fitted to data

Traits

Dimension

Trait for dimension types

TransformState

Marker trait for transformation states