Swamp Types

Core data structures for representing the type system of the Swamp programming language.

This crate defines the Type enum and associated structs used throughout the Swamp compiler and tooling to represent and manipulate types.

Overview

Type Enum: The central enum representing all possible types in Swamp, including:
- Primitives (Int, Float, String, Bool, Unit, Never)
- Containers (Tuple, Slice, SlicePair)
- User-Defined Types (NamedStruct, AnonymousStruct, Enum)
- Functions (Function with Signature)
- Modifiers (Optional, MutableReference)
- Generics (Generic, Blueprint, Variable)
- External/FFI types (External)
Supporting Structs: Detailed definitions for complex types like NamedStructType, EnumType, Signature, ParameterizedTypeBlueprint, etc.
Type Compatibility: Includes logic (compatible_with, assignable_type) for checking type relationships.
Source Information: Integrates with swamp-node to link types back to source code locations.

Add this to your Cargo.toml:

[dependencies]
swamp-types = "0.0.14"

This project is licensed under the MIT License - see the LICENSE file for details.