Module type_safety

Module type_safety 

Source
Expand description

Type Safety Enhancements for Kernel Approximation Methods

This module provides compile-time type safety using phantom types and const generics to prevent common errors in kernel approximation usage.

Structs§

ApproximationParameters
Parameters for kernel approximation methods ApproximationParameters
ArcCosineKernel
Arc-cosine kernel type ArcCosineKernel
BoundedQualityMetrics
Enhanced quality metrics with compile-time bounds BoundedQualityMetrics
FastfoodMethod
Fastfood approximation method FastfoodMethod
FittedTypeSafeKernelApproximation
Fitted kernel approximation that can transform data FittedTypeSafeKernelApproximation
KernelPresets
Configuration presets for common kernel approximation scenarios
LaplacianKernel
Laplacian kernel type LaplacianKernel
NystromMethod
Nyström approximation method NystromMethod
PolynomialKernel
Polynomial kernel type PolynomialKernel
ProductKernel
Product composition of two kernels
ProductKernel
ProfileGuidedConfig
Profile-guided optimization configuration ProfileGuidedConfig
QualityMetrics
Quality metrics for approximation assessment QualityMetrics
RBFKernel
RBF (Gaussian) kernel type RBFKernel
RandomFourierFeatures
Random Fourier Features approximation method RandomFourierFeatures
SerializableFittedParams
Serializable fitted model parameters SerializableFittedParams
SerializableKernelConfig
Serializable kernel approximation configuration SerializableKernelConfig
SumKernel
Sum composition of two kernels SumKernel
Trained
Trained state - method has been fitted and can transform data Trained
TypeSafeKernelApproximation
Type-safe kernel approximation with compile-time guarantees TypeSafeKernelApproximation
TypeSafeKernelConfig
Advanced type-safe kernel configuration builder TypeSafeKernelConfig
Untrained
Untrained state - method hasn’t been fitted yet Untrained
ValidatedComponents
Zero-cost abstraction for validated component counts ValidatedComponents
ValidatedFeatures
Zero-cost wrapper for validated feature dimensions ValidatedFeatures
ValidatedKernelApproximation
Zero-cost wrapper for compile-time validated approximations ValidatedKernelApproximation

Enums§

ComplexityClass
Computational complexity classes ComplexityClass
OptimizationLevel
Optimization level for profile-guided optimization OptimizationLevel
PerformanceTier
Performance tiers for different kernel-method combinations PerformanceTier
TargetArchitecture
Target hardware architecture for optimization TargetArchitecture
TransformationParameters
Transformation parameters for different approximation methods TransformationParameters

Traits§

ApproximationMethod
Phantom type to represent approximation methods
ApproximationQualityBounds
Advanced approximation quality bounds
ApproximationState
Phantom type to represent the state of a kernel approximation method
ComposableKernel
Advanced Zero-Cost Kernel Composition Abstractions
FittableKernel
Marker trait for kernels that can be fitted with specific methods
FittableMethod
Marker trait for methods that can be fitted with specific kernels
KernelMethodCompatibility
Compile-time compatibility checking between kernels and methods
KernelType
Phantom type to represent kernel types
KernelTypeWithBandwidth
Marker trait for kernel types that support bandwidth parameters
ParameterValidation
Advanced compile-time parameter validation traits
PolynomialKernelType
Marker trait for polynomial kernel types
SerializableKernelApproximation
Trait for serializable kernel approximation methods
ValidatedFeatureSize
Compile-time feature size validation

Type Aliases§

AcceptableQualityMetrics
Type alias for acceptable quality metrics (>70% alignment, <15% error)
FittedLaplacianRandomFourierFeatures
FittedRBFNystrom
FittedRBFRandomFourierFeatures
Fitted type aliases
HighQualityMetrics
Type alias for high-quality metrics (>90% alignment, <5% error)
LaplacianRandomFourierFeatures
PolynomialNystrom
RBFFastfood
RBFNystrom
RBFRandomFourierFeatures
Type aliases for common kernel approximation combinations
ValidatedLaplacianNystrom
ValidatedPolynomialRFF
ValidatedRBFRandomFourier
Type aliases for common validated configurations