macroonz_compiler/
lib.rs

1//! A compiler for declared code: one complete request goes in, one sealed expansion comes out, or one diagnostic that says exactly why not.
2//!
3//! The crate README is the specification — what a kind is, what each step of the road settles, and which half of the work is the caller's.
4//! Every home below carries its own README as its module documentation.
5//! The module list is a reading order: homes cite their semantic owners directly, including the request-owned door whose diagnostic projections are consumed by the diagnostic home, and the crate depends on nothing else in this workspace.
6
7#[cfg(feature = "host")]
8extern crate proc_macro;
9
10pub mod bounded;
11pub mod identity;
12pub mod token;
13pub mod kind;
14pub mod origin;
15pub mod diagnostic;
16pub mod plan;
17pub mod render;
18pub mod closure;
19pub mod explanation;
20pub mod expansion;
21pub mod support;
22pub mod descriptor;
23pub mod codec;
24pub mod stamp;
25pub mod request;
26
27#[cfg(feature = "host")]
28pub mod host;
29
30pub use bounded::{Bounded, Capped, Capping, Empty, NonEmpty, NonEmptyError, Overflow};
31pub use closure::{
32    CLOSURE_ISSUE_LIMIT, CarriedTokens, Closure, ClosureError, ClosureIssue, PartitionCargo,
33    PartitionedEmission,
34};
35pub use diagnostic::{
36    ASSEMBLY_FAMILY, BENCH_HELPER_FAMILY, BINDING_FAMILY, CAPTURE_FAMILY, CLOSURE_FAMILY,
37    CODEC_DECLARATION_FAMILY, CONCURRENCY_HELPER_FAMILY, DECLARATION_FAMILY, Diagnostic,
38    DiagnosticName, DiagnosticNameRefusal, EXPLANATION_FAMILY, FIRST_HELPER_FAMILY, Family, Line,
39    LineBody, LineSite, NETWORK_HELPER_FAMILY, Observed, PLANNING_FAMILY, Phase, Placement,
40    RELATED_ISSUE_LIMIT, RENDERING_FAMILY, REPAIR_LIMIT, RefusalClass, Refused, RelatedIdentity,
41    RelatedSet, RenderedMagnitude, Repair, Route, SECOND_HELPER_FAMILY, SHADOW_HELPER_FAMILY,
42    SHELL_FAMILY, SUPPORT_DECLARATION_FAMILY, Site, SiteCoordinate, composed,
43};
44pub use expansion::{Accounted, BINDING_FACT, BindError, Expansion};
45pub use explanation::{
46    ASSUMPTION_LIMIT, AnsweredOutput, DECLARED_QUESTION_LIMIT, EXPLANATION_ISSUE_LIMIT,
47    ExplanationError, ExplanationIssue, RELATED_KIND_LIMIT, RelatedDisposition,
48    UNIVERSAL_QUESTION_COUNT, UniversalAnswer, UniversalQuestion, View,
49};
50pub use identity::{
51    Anchoring, BUNDLE_PROFILE, CAPTURED_DECLARATION_PROFILE, CAPTURED_HELPER_PROFILE,
52    CLOSED_EXPANSION_PROFILE, CLOSURE_PROFILE, ClosedExpansionId, ClosureId,
53    DECLARATION_DOCUMENTATION_PROFILE, DECLARED_NAME_PROFILE, DIAGNOSTIC_RELATION_PROFILE,
54    EXPLANATION_PROFILE, ExplanationId, GENERATED_UNIT_PROFILE, GENERATOR,
55    GENERATOR_VERSION_PROFILE, GeneratorIdentity, HUMAN_TEXT_LIMIT, HumanProjection, Identity,
56    MACROONZ_STEM, ORIGIN_NODE_PROFILE, OwnerFact, OwnerIdentity, PLAN_PROFILE,
57    PROJECTION_CONTENT_PROFILE, PROJECTION_INTENT_PROFILE, PROJECTION_KIND_PROFILE, PlanId,
58    Profile, Provenance, RENDERED_UNIT_PROFILE, ShapeVersion, Subject, Transcript, Version,
59    encode_bytes, encode_length, names_are_separating,
60};
61pub use kind::{
62    Answer, CanonicalContent, Destination, Disposition, DispositionRecord, DispositionSet,
63    DispositionSetError, Kind, KindSet, NoQuestions, Question, Role, SoleRole,
64};
65pub use origin::{
66    DecisionTrace, Nonclaim, ORIGIN_EDGE_LIMIT, OriginEdge, OriginRelation, OriginTrail,
67    TRACE_ENTRY_LIMIT, TraceDecision, TraceEntry, TrailError,
68};
69pub use plan::{
70    Account, BoundAxis, ContentBinding, Context, ContradictionPair, DEPENDENCY_LIMIT,
71    DigestContract, Intent, InvalidationSet, InvalidationTrigger, MEMBERSHIP_LIMIT, Membership,
72    NONCLAIM_LIMIT, PLAN_ISSUE_LIMIT, Plan, PlanDecisions, PlanError, PlanIssue, PlannedMember,
73    PlannedOutput, TRIGGER_LIMIT,
74};
75pub use render::{Output, RENDERED_BYTE_LIMIT, RenderError, RenderedProjection, RenderedUnit};
76pub use request::{
77    CrateBinding, Door, Producer, RUST_DECLARATION_PROFILE, Request, SELECTION_FACT, bound_content,
78};
79pub use token::{
80    CAPTURE_WORK_LIMIT, CAPTURED_TOKEN_LIMIT, CAPTURED_TREE_TOKEN_LIMIT, CaptureBound,
81    CaptureBuildRefusal, CaptureBuilder, CaptureLevel, CaptureWalk, CapturedAtom,
82    CapturedDelimiter, CapturedInput, CapturedPayload, CapturedTokenTree, CoordinateRole,
83    GENERATED_TOKEN_LIMIT, GeneratedDelimiter, GeneratedSpacing, GeneratedToken, GeneratedTree,
84    LiteralReadCause, SourceCoordinate, SpanHandle, SpanResolutionRefusal, SpanTable,
85    TEXT_SOURCE_BYTE_LIMIT, TOKEN_PATH_DEPTH_LIMIT, TextCapture, TextLexicalCause, TextReadCause,
86    TextReadRefusal, TokenPath, absolute_path, and_all, attribute, bound_local, bound_path, call,
87    capture_literal, comma, comma_many, constant, documentation, equality, function, group,
88    metavariable, method_call, method_chain, rendered_identifier, rendered_name, result_type,
89    roster, rust_keyword, text_pair, twin_path,
90};
macroonz_compiler/lib.rs

macroonz_compiler/
lib.rs
