Skip to main content

Crate macroonz_compiler

Crate macroonz_compiler 

Source
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::shared_receiver;
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 Kind implementation per row, the enumerated set, its KindSet implementation, and its DispositionRecord.
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.