telltale-choreography 2.1.0

Choreographic programming for Telltale - effect-based distributed protocols
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66

//! Choreography compilation pipeline
//!
//! This module contains the compilation pipeline that transforms choreographic
//! specifications into executable code.

pub mod analysis;
pub mod choice_analysis;
pub mod codegen;
pub mod concurrency;
pub mod diagnostics;
pub mod effects_codegen;
pub mod extension_parser;
pub mod grammar;
pub mod layout;
pub mod merge;
pub mod parser;
pub mod pretty;
pub mod projection;
pub mod runner;
pub mod typed_runner;

// Re-export compiler pipeline components explicitly
pub use analysis::{
    analyze, generate_dot_graph, AnalysisResult, AnalysisWarning, CommunicationGraph,
    ParticipationInfo,
};
pub use choice_analysis::{
    analyze_choreography_choices, messages_are_distinguishing, ChoiceAnalysisResult,
    ChoiceAnalyzer, ChoiceId, ChoiceKnowledge, KnowledgeSource,
};
pub use codegen::{
    generate_choreography_code, generate_choreography_code_with_namespacing,
    generate_choreography_code_with_topology, generate_helpers, generate_role_implementations,
    generate_session_type, generate_topology_integration, InlineTopology,
};
pub use concurrency::{
    generate_batch_recv, generate_batch_send, generate_broadcast, generate_collection,
    generate_ordered_collection, generate_parallel_broadcast, generate_sequential_broadcast,
    generate_unordered_collection, BatchConfig, BroadcastMode, CollectionMode,
    ProtocolConcurrencyConfig, StatementConcurrencyConfig,
};
pub use diagnostics::{
    check_self_communication, validate_roles, Diagnostic, DiagnosticCode, DiagnosticCollector,
    Severity, SourceLocation,
};
pub use effects_codegen::generate_effects_protocol;
pub use extension_parser::{
    create_standard_extension_parser, ExtensionParseError, ExtensionParser, ExtensionParserBuilder,
    ExtensionStats,
};
pub use grammar::{GrammarComposer, GrammarComposerBuilder, GrammarCompositionError};
pub use merge::{can_merge, merge, merge_all, MergeError};
pub use parser::{
    choreography_macro, collect_dsl_lints, explain_lowering, parse_choreography,
    parse_choreography_file, parse_choreography_str, parse_dsl, render_lsp_lint_diagnostics,
    ErrorSpan, LintDiagnostic, LintLevel, ParseError,
};
pub use pretty::{
    format_choreography, format_choreography_str, format_choreography_with_config, PrettyConfig,
};
pub use projection::{project, ProjectionError};
pub use runner::{generate_all_runners, generate_execute_as, generate_runner_fn};
pub use typed_runner::{
    extract_role_messages, generate_all_typed_runners, generate_typed_runner, MessageDirection,
    RoleMessageInfo, SerializationConfig, SerializationFormat,
};