Expand description
A compiler that informs declared structure and seals every requested projection into one complete expansion.
The crate README specifies the paved recipe contract, the raw callable extension road, what each generation step settles, and which semantic facts remain the caller’s. Every home below carries its own README as its module documentation. 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.
Re-exports§
pub use bounded::Bounded;pub use bounded::Capped;pub use bounded::Capping;pub use bounded::DuplicateKey;pub use bounded::Empty;pub use bounded::ForeignRosterReference;pub use bounded::KeyedRoster;pub use bounded::KeyedRosterAssignment;pub use bounded::KeyedRosterAssignmentError;pub use bounded::KeyedRosterError;pub use bounded::NonEmpty;pub use bounded::NonEmptyError;pub use bounded::Overflow;pub use bounded::UnassignedRosterMember;pub use closure::CLOSURE_ISSUE_LIMIT;pub use closure::CarriedTokens;pub use closure::Closure;pub use closure::ClosureError;pub use closure::ClosureIssue;pub use closure::PartitionCargo;pub use closure::PartitionedEmission;pub use diagnostic::ASSEMBLY_FAMILY;pub use diagnostic::BENCH_HELPER_FAMILY;pub use diagnostic::BINDING_FAMILY;pub use diagnostic::CAPTURE_FAMILY;pub use diagnostic::CLOSURE_FAMILY;pub use diagnostic::CODEC_DECLARATION_FAMILY;pub use diagnostic::CONCURRENCY_HELPER_FAMILY;pub use diagnostic::DECLARATION_FAMILY;pub use diagnostic::Diagnostic;pub use diagnostic::DiagnosticName;pub use diagnostic::DiagnosticNameRefusal;pub use diagnostic::EXPLANATION_FAMILY;pub use diagnostic::FIRST_HELPER_FAMILY;pub use diagnostic::Family;pub use diagnostic::Line;pub use diagnostic::LineBody;pub use diagnostic::LineSite;pub use diagnostic::NETWORK_HELPER_FAMILY;pub use diagnostic::Observed;pub use diagnostic::PLANNING_FAMILY;pub use diagnostic::Phase;pub use diagnostic::Placement;pub use diagnostic::RELATED_ISSUE_LIMIT;pub use diagnostic::RENDERING_FAMILY;pub use diagnostic::REPAIR_LIMIT;pub use diagnostic::RefusalClass;pub use diagnostic::Refused;pub use diagnostic::RelatedIdentity;pub use diagnostic::RelatedSet;pub use diagnostic::RenderedMagnitude;pub use diagnostic::Repair;pub use diagnostic::Route;pub use diagnostic::SECOND_HELPER_FAMILY;pub use diagnostic::SHADOW_HELPER_FAMILY;pub use diagnostic::SHELL_FAMILY;pub use diagnostic::SUPPORT_DECLARATION_FAMILY;pub use diagnostic::Site;pub use diagnostic::SiteCoordinate;pub use diagnostic::composed;pub use expansion::Accounted;pub use expansion::BINDING_FACT;pub use expansion::BindError;pub use expansion::Expansion;pub use explanation::ASSUMPTION_LIMIT;pub use explanation::AnsweredOutput;pub use explanation::DECLARED_QUESTION_LIMIT;pub use explanation::EXPLANATION_ISSUE_LIMIT;pub use explanation::ExplanationError;pub use explanation::ExplanationIssue;pub use explanation::RELATED_KIND_LIMIT;pub use explanation::RelatedDisposition;pub use explanation::UNIVERSAL_QUESTION_COUNT;pub use explanation::UniversalAnswer;pub use explanation::UniversalQuestion;pub use explanation::View;pub use identity::Anchoring;pub use identity::BUNDLE_PROFILE;pub use identity::CAPTURED_DECLARATION_PROFILE;pub use identity::CAPTURED_HELPER_PROFILE;pub use identity::CLOSED_EXPANSION_PROFILE;pub use identity::CLOSURE_PROFILE;pub use identity::ClosedExpansionId;pub use identity::ClosureId;pub use identity::DECLARATION_DOCUMENTATION_PROFILE;pub use identity::DECLARED_NAME_PROFILE;pub use identity::DIAGNOSTIC_RELATION_PROFILE;pub use identity::EXPLANATION_PROFILE;pub use identity::ExplanationId;pub use identity::GENERATED_UNIT_PROFILE;pub use identity::GENERATOR;pub use identity::GENERATOR_VERSION_PROFILE;pub use identity::GeneratorIdentity;pub use identity::HUMAN_TEXT_LIMIT;pub use identity::HumanProjection;pub use identity::Identity;pub use identity::MACROONZ_STEM;pub use identity::ORIGIN_NODE_PROFILE;pub use identity::OwnerFact;pub use identity::OwnerIdentity;pub use identity::PLAN_PROFILE;pub use identity::PROJECTION_CONTENT_PROFILE;pub use identity::PROJECTION_INTENT_PROFILE;pub use identity::PROJECTION_KIND_PROFILE;pub use identity::PlanId;pub use identity::Profile;pub use identity::Provenance;pub use identity::RENDERED_UNIT_PROFILE;pub use identity::ShapeVersion;pub use identity::Subject;pub use identity::Transcript;pub use identity::Version;pub use identity::encode_bytes;pub use identity::encode_length;pub use identity::names_are_separating;pub use kind::Answer;pub use kind::CanonicalContent;pub use kind::Destination;pub use kind::Disposition;pub use kind::DispositionRecord;pub use kind::DispositionSet;pub use kind::DispositionSetError;pub use kind::Kind;pub use kind::KindSet;pub use kind::NoQuestions;pub use kind::Question;pub use kind::Role;pub use kind::SoleRole;pub use origin::DecisionTrace;pub use origin::Nonclaim;pub use origin::ORIGIN_EDGE_LIMIT;pub use origin::OriginEdge;pub use origin::OriginRelation;pub use origin::OriginTrail;pub use origin::TRACE_ENTRY_LIMIT;pub use origin::TraceDecision;pub use origin::TraceEntry;pub use origin::TrailError;pub use plan::Account;pub use plan::BoundAxis;pub use plan::ContentBinding;pub use plan::Context;pub use plan::ContradictionPair;pub use plan::DEPENDENCY_LIMIT;pub use plan::DigestContract;pub use plan::Intent;pub use plan::InvalidationSet;pub use plan::InvalidationTrigger;pub use plan::MEMBERSHIP_LIMIT;pub use plan::Membership;pub use plan::NONCLAIM_LIMIT;pub use plan::PLAN_ISSUE_LIMIT;pub use plan::Plan;pub use plan::PlanDecisions;pub use plan::PlanError;pub use plan::PlanIssue;pub use plan::PlannedMember;pub use plan::PlannedOutput;pub use plan::TRIGGER_LIMIT;pub use relation::AbsencePosture;pub use relation::CompletenessPosture;pub use relation::CompletenessStanding;pub use relation::CyclePosture;pub use relation::CycleStanding;pub use relation::DensityPosture;pub use relation::DensityStanding;pub use relation::EmptyPosture;pub use relation::KeyedRosterRelation;pub use relation::KeyedRosterRows;pub use relation::KeyedRosterRowsError;pub use relation::MembershipPosture;pub use relation::OccupancyStanding;pub use relation::Reachability;pub use relation::ReachabilityError;pub use relation::RepeatedRelationPair;pub use relation::RepeatedRelationPairs;pub use relation::RepetitionPosture;pub use relation::RepetitionStanding;pub use relation::RosterRelationStanding;pub use relation::RowOrder;pub use relation::SameRosterRequired;pub use relation::SelfRelationPosture;pub use relation::SelfRelationStanding;pub use relation::StructuralMismatch;pub use relation::StructuralRequirement;pub use render::Output;pub use render::RENDERED_BYTE_LIMIT;pub use render::RenderError;pub use render::RenderedProjection;pub use render::RenderedUnit;pub use request::CrateBinding;pub use request::Door;pub use request::Producer;pub use request::RUST_DECLARATION_PROFILE;pub use request::Request;pub use request::SELECTION_FACT;pub use request::bound_content;pub use token::AuthoredItem;pub use token::AuthoredItemKind;pub use token::AuthoredItemReadIssue;pub use token::AuthoredItemReadRefusal;pub use token::CAPTURE_WORK_LIMIT;pub use token::CAPTURED_TOKEN_LIMIT;pub use token::CAPTURED_TREE_TOKEN_LIMIT;pub use token::CaptureBound;pub use token::CaptureBuildRefusal;pub use token::CaptureBuilder;pub use token::CaptureCursor;pub use token::CaptureExpectation;pub use token::CaptureLevel;pub use token::CaptureReadIssue;pub use token::CaptureReadRefusal;pub use token::CaptureWalk;pub use token::CapturedAtom;pub use token::CapturedDelimiter;pub use token::CapturedFragment;pub use token::CapturedInput;pub use token::CapturedPayload;pub use token::CapturedSpacing;pub use token::CapturedTokenTree;pub use token::CoordinateRole;pub use token::FragmentGenerationIssue;pub use token::FragmentGenerationRefusal;pub use token::GENERATED_TOKEN_LIMIT;pub use token::GeneratedDelimiter;pub use token::GeneratedLiteral;pub use token::GeneratedLiteralRefusal;pub use token::GeneratedRowRefusal;pub use token::GeneratedSpacing;pub use token::GeneratedToken;pub use token::GeneratedTree;pub use token::LiteralReadCause;pub use token::SourceCoordinate;pub use token::SpanHandle;pub use token::SpanResolutionRefusal;pub use token::SpanTable;pub use token::TEXT_SOURCE_BYTE_LIMIT;pub use token::TOKEN_PATH_DEPTH_LIMIT;pub use token::TextCapture;pub use token::TextLexicalCause;pub use token::TextReadCause;pub use token::TextReadRefusal;pub use token::TokenPath;pub use token::absolute_path;pub use token::and_all;pub use token::associated_constant;pub use token::associated_function;pub use token::associated_type;pub use token::attribute;pub use token::bound_local;pub use token::bound_path;pub use token::call;pub use token::capture_literal;pub use token::comma;pub use token::comma_many;pub use token::constant;pub use token::consuming_receiver;pub use token::decorated;pub use token::documentation;pub use token::enumeration;pub use token::equality;pub use token::exclusive_receiver;pub use token::function;pub use token::function_item;pub use token::function_signature;pub use token::generic_parameters;pub use token::group;pub use token::implementation;pub use token::inline_module;pub use token::keyed_assignment_items;pub use token::keyed_assignment_slice;pub use token::keyed_roster_items;pub use token::keyed_roster_slice;pub use token::match_arm;pub use token::match_expression;pub use token::metavariable;pub use token::method_call;pub use token::method_chain;pub use token::named_field;pub use token::named_struct;pub use token::named_variant;pub use token::pinned_receiver;pub use token::rendered_identifier;pub use token::rendered_name;pub use token::result_type;pub use token::roster;pub use token::rust_keyword;pub use token::text_pair;pub use token::trait_declaration;pub use token::tuple_struct;pub use token::tuple_variant;pub use token::twin_path;pub use token::type_alias;pub use token::typed_parameter;pub use token::unit_struct;pub use token::unit_variant;pub use token::use_item;pub use token::where_clause;
Modules§
- bounded
- bounded — collection shape under an owned ceiling
- closure
- closure — the proof that what was rendered is what was planned
- codec
codec- descriptor
descriptor— the kinds that speak to the harness- diagnostic
- diagnostic — one typed value per observation
- expansion
- expansion — one request’s sealed result
- explanation
- explanation — the answer sheet nothing is generated without
- host
- host — the bridge to
proc_macro - identity
- identity
- kind
- kind
- origin
- origin — where a generated thing came from
- plan
- plan — everything a request settles before any syntax exists
- recipe
- recipe — one informed structural account through every projection host
- relation
- relation — checked structure between caller-owned rosters
- render
- render — what a renderer actually materialized
- request
- request — the front door
- stamp
- stamp — one authored pattern, published as source
- support
- support — inert cargo across a consumption boundary
- token
- token — the public seam on both sides
Macros§
- kinds
- Declares one set of kinds: a marker type and its
Kindimplementation per row, the enumerated set, itsKindSetimplementation, and itsDispositionRecord. - roster
- Declares one closed vocabulary: the enum, its complete roster, and one declared name per row.
- subjects
- Declares one roster of identity subjects under one stem, as the home’s README shows.