Enum Rule

Source

pub enum Rule {
Show 184 variants    EOI,
    WHITESPACE,
    COMMENT,
    choreography,
    top_level_decl,
    module_decl,
    import_decl,
    expose_list,
    protocol_decl,
    where_block,
    locals_block,
    local_protocol_decl,
    proof_bundle_decl,
    proof_bundle_meta,
    proof_bundle_version,
    proof_bundle_issuer,
    proof_bundle_constraint,
    proof_bundle_requires,
    capability_list,
    protocol_requires,
    protocol_uses,
    protocol_profiles,
    profile_decl,
    profile_meta,
    profile_fairness,
    profile_admissibility,
    profile_escalation_window,
    agreement_profile_decl,
    agreement_profile_body,
    agreement_profile_meta,
    agreement_profile_visibility,
    agreement_profile_rule,
    agreement_profile_usable_at,
    agreement_profile_finalized_at,
    agreement_profile_evidence,
    type_decl,
    type_alias_decl,
    union_type_decl,
    union_ctor_block,
    union_ctor_decl,
    ctor_type_payload,
    effect_decl,
    effect_body,
    effect_op_decl,
    effect_op_head,
    effect_op_authority_class,
    effect_op_meta_body,
    effect_op_meta,
    effect_op_semantic_class,
    effect_op_progress,
    effect_op_region,
    effect_op_agreement_use,
    effect_op_reentrancy,
    type_expr,
    type_record,
    type_result,
    type_maybe,
    type_unit,
    role_set_decl,
    role_set_expr,
    role_set_members,
    role_set_subset,
    topology_decl,
    topology_kind,
    topology_members,
    fragment_decl,
    ident_list,
    integer_list,
    operation_decl,
    operation_params,
    operation_param_decl,
    operation_within,
    operation_progress,
    operation_agreement,
    operation_prestate,
    operation_compose,
    guest_runtime_decl,
    guest_runtime_body,
    guest_runtime_stmt,
    guest_runtime_uses,
    guest_runtime_entry,
    header_roles,
    roles_decl,
    role_list,
    role_decl,
    role_param,
    role_param_expr,
    protocol_body,
    block_protocol,
    statement,
    progress_attachment,
    progress_meta,
    progress_requires,
    progress_within,
    progress_on_timeout,
    progress_on_stall,
    begin_stmt,
    begin_args,
    await_stmt,
    resolve_stmt,
    resolve_outcome,
    resolve_success,
    resolve_failure,
    resolve_timeout,
    resolve_cancelled,
    invalidate_stmt,
    authority_let_in_stmt,
    authority_let_stmt,
    observe_let_in_stmt,
    observe_let_stmt,
    let_in_stmt,
    let_stmt,
    case_stmt,
    case_block,
    case_branch,
    match_pattern,
    match_pattern_payload,
    timeout_stmt,
    authority_expr,
    check_expr,
    observe_expr,
    transfer_expr,
    result_ctor_expr,
    maybe_ctor_expr,
    ctor_value_payload,
    effect_call,
    call_expr,
    argument_list,
    authority_atom,
    ident_expr,
    duration,
    time_unit,
    call_stmt,
    publish_authority_stmt,
    publish_stmt,
    materialize_stmt,
    handoff_stmt,
    dependent_work_stmt,
    continue_stmt,
    send_stmt,
    broadcast_stmt,
    annotated_sender_ref,
    role_metadata_record,
    role_annotation_entries,
    role_annotation_entry,
    role_annotation_value,
    role_ref,
    role_index,
    role_index_expr,
    range_expr,
    choice_stmt,
    choice_head,
    choice_block,
    block_choice,
    choice_branch,
    par_stmt,
    par_block,
    par_branch,
    guard,
    predicate_guard,
    evidence_guard,
    guard_expr,
    loop_stmt,
    loop_spec,
    loop_decide,
    loop_repeat,
    loop_while,
    loop_forever,
    int_expr,
    rec_stmt,
    block,
    branch_body,
    message,
    message_of,
    type_spec,
    type_path,
    type_path_segment,
    type_generics,
    payload,
    payload_paren,
    payload_brace,
    ident,
    integer,
    string,
}