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