fhy-core 0.1.2

Core utilities for the FhY compiler infrastructure.

FhY Core

FhY Core is a collection of utilities for FhY and other parts of the compiler.

Utility	Description
Identifier	Unique naming class with a non-unique name hint and a unique ID.
Error	Custom error registration and core errors for the compiler.
Expression	General expression represented as an AST with a parser and printer.
Constraint	General logical constraint.
Parameter	Real, integer, ordinal, categorical, and permutation parameters.
Types	Extensible type system with open dispatchers for binding, substitution, unification, and structural equivalence; type checking for expressions.
Symbol Table	Nested symbol table.
Pass Infrastructure	CompilerPass, VisitablePass, and register_pass for building IR passes with diagnostics (PassDiagnostic, DiagnosticLevel) and preserved-analysis tracking.
Pass Manager	PassManager sequences transformations and returns PassManagerResult/PassRunRecord; FixpointPassGroup drives until-fixpoint iteration.
Analysis Manager	Analysis/AnalysisVisitablePass with AnalysisManager for caching and invalidating analysis results across pass runs.
Validation Manager	ValidationManager runs every validator against the IR (collect-all, never fail-fast) and returns a ValidationReport; ValidationFailedError surfaces ERROR diagnostics.
Serializable Trait	Serializable/WrappedFamilySerializable with dict, JSON, and binary formats plus registered type IDs.
Compiler Traits - Identity	HasIdentifier for stable object identity.
Compiler Traits - Provenance	HasProvenance for source/origin tracking.
Compiler Traits - Type Carrier	HasType for objects carrying an explicit type.
Compiler Traits - Operands	HasOperands for operand-bearing operation/expression nodes.
Compiler Traits - Results	HasResults for multi-result operation-like nodes.
Compiler Traits - Freezing	Frozen/FrozenMixin for runtime and dataclass immutability.
Compiler Traits - Equality	PartialEqual/Equal for dataclass-aware equality semantics.
Compiler Traits - Ordering	PartialOrderable/Orderable for dataclass-aware ordering semantics.
Compiler Traits - Verification	Verifiable + VerificationError for structural invariant checks.
Compiler Traits - Folding	Foldable for constant-fold-like evaluation hooks.
Compiler Traits - Canonicalization	Canonicalizable for local canonical form rewrites.
Compiler Traits - Structural Equivalence	StructuralEquivalence for shape/value-level IR comparisons.
Compiler Traits - Interned	Interned for interned components.
Data Structure - Lattice	Lattice (order theory) data structure represented with a POSET.
General Utility - Logging	Core logging utilities for all compiler components.
General Utility - Python 3.11 Enums	String and integer enum types only introduced in Python 3.11
General Utility - Stack	General stack utility that wraps deque.
General Utility - POSET	General partially ordered set utility represented as a directed graph.
General Utility - Dictionary Utilities	Additional dictionary helper functions.
General Utility - Numeric Predicates	is_strict_int rejects bool so contexts requiring a strict integer do not silently accept True/False.

Table of Contents

• Installing FhY Core
  • Install FhY Core from PyPi
  • Build FhY Core from Source Code
• Contributing - For Developers

Install FhY Core from PyPi

Coming Soon

Build FhY Core from Source Code

1. Clone the repository from GitHub.

   git clone https://github.com/actlab-fhy/FhY-core.git
   

2. Create and prepare a Python virtual environment.

   cd FhY-core
   python -m venv .venv
   source .venv/bin/activate
   python -m pip install -U pip
   pip install setuptools wheel
   

3. Install FhY.

   # Standard Installation
   pip install .
   
   # For contributors
   pip install ".[dev]"
   

Contributing - For Developers

Want to start contributing the FhY Core? Please take a look at our contribution guide