🥮 mooncakes.io

    mokomoking2501/concord/protocol_ast does not have a README file

    ProtocolIngestError

    source
    pub(all) suberror ProtocolIngestError {
      ParseFailed(String)
      MissingField(String)
      InvalidField(String, String)
    } derive(
    Debug    )

    ConformanceFailure

    source
    pub(all) struct ConformanceFailure {
      source : ConformanceFailureSource
      event_id : Int?
      role : Role?
      reason : String
    } derive(Eq, 
    Debug    )

    ConformanceFailureSource

    source
    pub(all) enum ConformanceFailureSource {
      ObjectContractFailure
      ProtocolContractFailure
    } derive(Eq, 
    Debug    )

    ConformanceFailureSource::label

    source

    ConformanceReport

    source
    pub(all) struct ConformanceReport {
      protocol_id : String
      checked_events : Int
      matched_steps : Int
      object_report : 
    ObjectMonitorReport
      protocol_reports : Array[RoleProtocolReport]
      first_failure : ConformanceFailure?
    } derive(Eq, 
    Debug    )

    ConformanceReport::passes

    source
    fn ConformanceReport::passes(self : ConformanceReport) -> Bool

    GlobalProtocol

    source
    pub(all) struct GlobalProtocol {
      protocol_id : String
      messages : Array[ProtocolMessage]
      terminal_labels : Array[String]
    } derive(
    Debug    )

    GlobalProtocol::copy

    source

    GlobalProtocol::lint

    source

    GlobalProtocol::new

    source
    fn GlobalProtocol::new(protocol_id~ : String) -> GlobalProtocol

    GlobalProtocol::project

    source
    fn GlobalProtocol::project(self : GlobalProtocol, role : Role) -> LocalProtocol

    GlobalProtocol::send

    source
    fn GlobalProtocol::send(self : GlobalProtocol, from~ : Role, to~ : Role, label~ : String, object_id~ : String) -> GlobalProtocol

    GlobalProtocol::with_terminal_label

    source
    fn GlobalProtocol::with_terminal_label(self : GlobalProtocol, label~ : String) -> GlobalProtocol

    LocalDirection

    source
    pub(all) enum LocalDirection {
      Send
      Receive
    } derive(Eq, 
    Debug    )

    LocalDirection::label

    source
    fn LocalDirection::label(self : LocalDirection) -> String

    LocalProtocol

    source
    pub(all) struct LocalProtocol {
      protocol_id : String
      role : Role
      steps : Array[LocalStep]
      terminal_labels : Array[String]
    } derive(
    Debug    )

    LocalProtocol::copy

    source

    LocalStep

    source
    pub(all) struct LocalStep {
      index : Int
      direction : LocalDirection
      label : String
      peer : Role
      object_id : String
    } derive(Eq, 
    Debug    )

    ObserverBackend

    source
    pub(all) struct ObserverBackend {
      registry : 
    ContractRegistry
      protocol : GlobalProtocol
      roles : Array[Role]
    } derive(
    Debug    )

    ProtocolLintIssue

    source
    pub(all) struct ProtocolLintIssue {
      protocol_id : String
      step_index : Int?
      message : String
    } derive(Eq, 
    Debug    )

    ProtocolLintReport

    source
    pub(all) struct ProtocolLintReport {
      issues : Array[ProtocolLintIssue]
    } derive(Eq, 
    Debug    )

    ProtocolLintReport::passes

    source
    fn ProtocolLintReport::passes(self : ProtocolLintReport) -> Bool

    ProtocolMessage

    source
    pub(all) struct ProtocolMessage {
      from : Role
      to : Role
      label : String
      object_id : String
    } derive(Eq, 
    Debug    )

    ProtocolMessage::make

    source
    fn ProtocolMessage::make(from~ : Role, to~ : Role, label~ : String, object_id~ : String) -> ProtocolMessage

    ProtocolMonitor

    source
    pub(all) struct ProtocolMonitor {
      protocol : LocalProtocol
      trace_node_id : String
    } derive(
    Debug    )

    ProtocolMonitor::bind_trace_node_id

    source
    fn ProtocolMonitor::bind_trace_node_id(self : ProtocolMonitor, trace_node_id : String) -> ProtocolMonitor

    ProtocolMonitor::check_trace

    source

    ProtocolMonitor::new

    source
    fn ProtocolMonitor::new(local_protocol~ : LocalProtocol) -> ProtocolMonitor

    ProtocolMonitorReport

    source
    pub(all) struct ProtocolMonitorReport {
      matched_steps : Int
      violations : Array[ProtocolViolation]
      last_event_time : 
    VTime    ?
    } derive(Eq, 
    Debug    )

    ProtocolMonitorReport::passes

    source
    fn ProtocolMonitorReport::passes(self : ProtocolMonitorReport) -> Bool

    ProtocolViolation

    source
    pub(all) struct ProtocolViolation {
      protocol_id : String
      event_id : Int?
      expected_label : String?
      observed_label : String
      reason : String
    } derive(Eq, 
    Debug    )

    Role

    source
    pub(all) enum Role {
      Role(String)
    } derive(Eq, 
    Debug    )

    Role::label

    source
    fn Role::label(self : Role) -> String

    RoleProtocolReport

    source
    pub(all) struct RoleProtocolReport {
      role : Role
      matched_steps : Int
      violations : Array[ProtocolViolation]
      last_event_time : 
    VTime    ?
    } derive(Eq, 
    Debug    )

    RoleProtocolReport::passes

    source
    fn RoleProtocolReport::passes(self : RoleProtocolReport) -> Bool

    axis_authority_protocol

    source
    fn axis_authority_protocol() -> GlobalProtocol

    package_id

    source
    fn package_id() -> String

    parse_global_protocol_json

    source
    fn parse_global_protocol_json(text : String) -> GlobalProtocol raise ProtocolIngestError

    parse_global_protocol_text

    source
    fn parse_global_protocol_text(text : String) -> GlobalProtocol raise ProtocolIngestError

    parse_global_protocol_yaml

    source
    fn parse_global_protocol_yaml(text : String) -> GlobalProtocol raise ProtocolIngestError

    role

    source
    fn role(name~ : String) -> Role

    Source Files

    Powered by MoonBit

    Site sourceReport issueModulesSkillsBuild queueStatistics

    © 2026 mooncakes.io