Skip to main content

meta_language/
lib.rs

1pub mod access;
2pub mod api_styles;
3pub mod benchmark;
4mod binary_format;
5mod concept_ontology;
6pub mod configuration;
7mod data_format_parser;
8pub mod document_formatting;
9mod docx_parser;
10mod embedded_region_parser;
11pub mod grammar;
12pub mod graphql_adapter;
13mod incremental;
14mod language_fixtures;
15pub mod language_parser;
16pub mod language_profile;
17pub mod link_flags;
18pub mod link_network;
19mod lino_parser;
20pub mod lino_serialization;
21pub mod mixed_regions;
22mod natural_language;
23mod natural_language_grammar;
24pub mod parity;
25mod parity_fixtures;
26pub mod parser_registry;
27mod pdf_parser;
28pub mod query;
29pub mod query_algebra;
30pub mod query_plan;
31mod reconstruction;
32pub mod rust_codec;
33pub mod semantics;
34pub mod snapshots;
35pub mod source;
36mod source_generation;
37pub mod storage;
38pub mod substitution;
39pub mod transform;
40pub mod translation_rules;
41pub mod verification;
42
43pub use access::{EngineNetwork, ReadOnlyNetwork, ReadOnlyViolation};
44pub use api_styles::{
45    run_api_style_fixture, ApiOperation, ApiOperationEntry, ApiStyle, ApiStyleCell,
46    ApiStyleFixture, FluentNetworkApi, FluentPipeline, LinkCliSubstitution,
47    LinkCliSubstitutionError, LinkCliSubstitutionKind, API_OPERATIONS,
48};
49pub use concept_ontology::{ConceptOntologyImportReport, ConceptOntologySeedReport};
50pub use configuration::{
51    AccessMode, FormalizationLevel, LanguageIdentificationDetector, NaturalizationDirection,
52    ParseConfiguration, RegionDetectionPolicy, TriviaAttachmentPolicy,
53};
54pub use document_formatting::{
55    canonical_document_format, document_format_profile, docx_package_is_recognized,
56    docx_profile_is_recognized, parse_docx_document, parse_docx_package, parse_markup_document,
57    parse_pdf_document, pdf_profile_is_recognized, render_docx_document, render_docx_package,
58    render_pdf_document, BlockNode, DocumentFormatInstance, DocumentFormatMatch,
59    DocumentFormattingSeedReport, FormattingDocument, InlineNode, CROSS_FORMAT_CONCEPTS,
60    DOCUMENT_FORMATS,
61};
62pub use grammar::{
63    annotate_grammar_concepts, build_structural_prior, canonical_grammar_format, categorise,
64    clean_structural_acceptance, default_pattern_catalog, emit_abnf, emit_bnf, emit_ebnf,
65    emit_gbnf, emit_javascript_parser, emit_peggy, emit_pest, emit_rust_parser,
66    emit_tree_sitter_grammar_js, emit_tree_sitter_grammar_js_with_report, evaluate, evaluate_atom,
67    evaluate_clause, evaluate_constraint, evaluate_probabilistic,
68    grammar_concept_translation_rules, grammar_expr_concept_id, grammar_format_profile,
69    grammar_from_lino, grammar_to_lino, import_abnf, import_antlr, import_bnf, import_ebnf,
70    import_gbnf, import_lark, import_pest, import_tree_sitter_json, infer_cfg,
71    infer_cfg_with_advisors, infer_dfa, infer_lexical_classes, learn_dfa, learn_grammar, mdl,
72    mdl_cost, mine_semantic_constraints, minimize, parse_grammar_surface, register_grammar,
73    render_rust_type, rule_concept_id, run_corpus, run_named_corpus, run_sequitur, sample,
74    size_symbols, translate_grammar_surface, validate, with_grammar, write_grammar_surface,
75    ActiveLearningConfig, ActiveLearningError, ActiveLearningOracle, ActiveSymbol, AdviceDecision,
76    AdviceDecisionKind, AdviceSource, BenchmarkReport, ByteSpan, CharCategory, CharClassItem,
77    ConceptNamingAdvisor, ConstraintAtom, ConstraintClause, ConstraintPattern, Delimiter, Dfa,
78    DiagnosticKind, EmitReport, EvalError, ExprBuilder, FallbackAdvisor, GoldenCorpus, Grammar,
79    GrammarAcceptorOracle, GrammarBuilder, GrammarConcept, GrammarDiagnostic, GrammarEmitError,
80    GrammarExpr, GrammarFidelityLevel, GrammarFormat, GrammarFormatProfile, GrammarImportError,
81    GrammarOracle, GrammarParser, GrammarRule, GrammarSurfaceError, GrammarTranslateError,
82    InferenceOptions, InferenceReport, InferenceResult, InferredAutomaton, JsParserArtifacts,
83    LeafKind, LengthUnit, LexicalConfig, LexicalModel, Mdl, MdlMergeAdvisor, MembershipOracle,
84    MergeAdvisor, MergeCandidate, MergeRequest, MergeScore, MergeStrategy, MetricScores,
85    MinimizeOptions, MinimizeReport, MinimizeResult, NameCandidate, NamingAdvisor, NamingRequest,
86    NonTerminalRef, Oracle, ParserAcceptancePredicate, ParserMembershipOracle, PositiveOnlyOracle,
87    PriorOptions, RuleKind, RuleSpan, RustParserArtifacts, Sample, SampleConfig,
88    SamplingEquivalenceOracle, ScoringMode, SeedNode, SeedTree, SemanticConstraint,
89    SemanticInferenceConfig, Severity, StructuralPrior, Symbol, Token, WhitespacePolicy,
90    GOLDEN_CORPORA, GRAMMAR_CONCEPTS, GRAMMAR_CONSTRUCTS, GRAMMAR_FORMATS,
91};
92#[cfg(feature = "llm-assist")]
93pub use grammar::{LlmClient, LlmError, LlmMergeAdvisor, LlmNamingAdvisor};
94pub use graphql_adapter::{
95    lower_graphql, GraphQlAdapterError, GraphQlArgumentRole, GraphQlOperationType,
96    GraphQlRootMapping, GraphQlSchemaRegistry, LoweredQueryPlan,
97};
98pub use language_parser::{BuiltInLanguageParser, LanguageParser};
99pub use language_profile::{LanguageProfile, LanguageProfileLinks, LanguageProfileViolation};
100pub use link_flags::LinkFlags;
101pub use link_network::{Link, LinkId, LinkMetadata, LinkNetwork, LinkType, NetworkProjection};
102pub use lino_serialization::LinoSerializationError;
103pub use mixed_regions::EmbeddedRegion;
104pub use natural_language_grammar::{
105    NaturalLanguageGrammarFixture, NATURAL_LANGUAGE_GRAMMAR_FIXTURES,
106};
107pub use parity::{
108    GrammarEmbeddingTarget, LanguageFamily, LanguageFixture, LanguageTarget, ParityCapability,
109    ParityFixture, ParityTarget, ParityTransformExpectation, ParityVerificationExpectation,
110    DATA_FORMAT_TARGETS, GRAMMAR_EMBEDDING_TARGETS, LANGUAGE_FIXTURES, MARKUP_LANGUAGE_TARGETS,
111    NATURAL_LANGUAGE_TARGETS, PARITY_FIXTURES, PARITY_TARGETS, PROGRAMMING_LANGUAGE_TARGETS,
112    SECOND_TIER_PROGRAMMING_LANGUAGE_TARGETS,
113};
114pub use parser_registry::ParserRegistry;
115pub use query::{
116    LinkQuery, QueryCapture, QueryCaptures, QueryMatch, QueryParseError, QueryPredicate,
117    QueryPredicateArgument, QueryPredicateHost,
118};
119pub use query_algebra::{
120    LinkRule, LinkRuleCapture, LinkRuleCaptures, LinkRuleMatch, LinkRuleParseError,
121    LinkRuleRegistry, LinkRuleSnapshotCase, LinkRuleSnapshotExpectation, LinkRuleSnapshotReport,
122    LinkRuleSnapshotResult, LinkRuleSnapshotSuite, TraversalReport, TraversalStrategy,
123};
124pub use query_plan::{
125    QueryAggregate, QueryAggregateFunction, QueryComparisonOperator, QueryFilter, QueryOperation,
126    QueryOrder, QueryPlan, QuerySortDirection, QuerySourceEvidence, QueryValue, QUERY_PLAN_VERSION,
127};
128pub use rust_codec::{
129    FromLinks, LinksCodecError, LinksDecoder, LinksEncoder, LinksObject, RustFieldShape,
130    RustTypeKind, RustTypeShape, ToLinks,
131};
132pub use semantics::{ProbabilisticTruthValue, Probability, TruthValue};
133pub use snapshots::{MutableNetworkSnapshot, NetworkSnapshot, StructuralDiff};
134pub use source::{ByteRange, Point, SourceSpan};
135#[cfg(feature = "doublets")]
136pub use storage::DoubletsLinkStore;
137pub use storage::{EngineLinkStore, LinkStore, LinkStoreBackend, LinkStoreQuery, StorageError};
138pub use substitution::{
139    SubstitutionBindings, SubstitutionReport, SubstitutionRule, SubstitutionValue,
140    VariableSubstitutionRule,
141};
142pub use transform::{
143    QuasiquoteError, QuasiquoteTemplate, ReplacementReport, ReplacementRule,
144    SourceTextPredicateHost, TextReplacement,
145};
146pub use translation_rules::{
147    TranslationRule, TranslationRuleRegistry, TranslationRuleSet, TranslationRuleSetLoadError,
148    TranslationTemplate,
149};
150pub use verification::{VerificationIssue, VerificationIssueKind, VerificationReport};
151
152mod self_description;
153mod tree_sitter_adapter;