tiny.choir.composition.source
Defined in composition.
Source-owned semantic partitions, logical boundaries, call sites, and provenance.
API (31)
Actions
Public operations.
Types and contracts
Public types and contracts.
AccessAliasBoundary: An owned, context-independent boundary descriptor.BoundaryIdBoundarySpec: A logical value crossing partition boundaries before physical placement is chosen.CallSiteIdEffectElementTypeFragmentIdOwnershipPartition: An owned semantic region with a frontend-stable identity and source provenance.PartitionIdPartitionSpec: Borrowed facts for one closed semantic region selected by the source compiler.PartitionedModule: Owns verified semantic partitions, logical boundaries, call sites, and provenance.PipelinePipelineInput: Binds one verified source partition to one pipeline product identity.ProvenanceProvenanceSpecSemanticCallSiteSemanticCallSiteSpecVerificationError
Namespaces
Public namespaces.
Source
Source: lib/choir/src/composition/root.zig:6
zig
pub const source = @import("source/root.zig");Source: lib/choir/src/composition/source/root.zig
zig
//! Source-owned semantic partitions, logical boundaries, call sites, and provenance.//! Owned products copy durable descriptors and never retain compiler-context or IR pointers.pub const identity = @import("identity.zig");pub const provenance = @import("provenance.zig");pub const boundary = @import("boundary.zig");pub const partition = @import("partition.zig");pub const callsite = @import("callsite.zig");pub const module = @import("module.zig");pub const input = @import("input.zig");pub const slice = @import("slice.zig");pub const verification = @import("verification/root.zig");pub const PartitionId = identity.PartitionId;pub const BoundaryId = identity.BoundaryId;pub const FragmentId = identity.FragmentId;pub const CallSiteId = identity.CallSiteId;pub const Pipeline = identity.Pipeline;pub const Access = identity.Access;pub const Ownership = identity.Ownership;pub const ProvenanceSpec = provenance.ProvenanceSpec;pub const Provenance = provenance.Provenance;pub const ElementType = boundary.ElementType;pub const Alias = boundary.Alias;pub const BoundarySpec = boundary.BoundarySpec;pub const Boundary = boundary.Boundary;pub const PartitionSpec = partition.PartitionSpec;pub const Partition = partition.Partition;pub const Effect = partition.Effect;pub const SemanticCallSiteSpec = callsite.SemanticCallSiteSpec;pub const SemanticCallSite = callsite.SemanticCallSite;pub const VerificationError = verification.Error;pub const PartitionedModule = module.PartitionedModule;pub const PipelineInput = input.PipelineInput;pub const boundaryIdsEqual = identity.boundaryIdsEqual;Audit
| Definitions | 1 |
|---|---|
| Public names | 1 |
| Members | 0 |
| Version | 26.7.0 |
| Revision | daab053ee433 |