meerkat-core 0.5.0

Core agent logic for Meerkat (no I/O deps)
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
67
68
69

// @generated — protocol helpers for `comms_drain_spawn`
// Composition: comms_drain_lifecycle, Producer: comms_drain, Effect: SpawnDrainTask
// Closure policy: AckRequired
// Liveness: eventual feedback under task-scheduling fairness

use crate::comms_drain_lifecycle_authority::{
    CommsDrainLifecycleAuthority, CommsDrainLifecycleEffect, CommsDrainLifecycleError,
    CommsDrainLifecycleInput, CommsDrainLifecycleMutator, CommsDrainMode, DrainExitReason,
};

#[derive(Debug, Clone)]
pub struct CommsDrainSpawnObligation {
    pub mode: CommsDrainMode,
}

#[derive(Debug)]
pub struct CommsDrainSpawnExecutionResult {
    pub effects: Vec<CommsDrainLifecycleEffect>,
    pub obligation: Option<CommsDrainSpawnObligation>,
}

pub fn execute_ensure_running(
    authority: &mut CommsDrainLifecycleAuthority,
    mode: CommsDrainMode,
) -> Result<CommsDrainSpawnExecutionResult, CommsDrainLifecycleError> {
    let transition = authority.apply(CommsDrainLifecycleInput::EnsureRunning { mode })?;
    let obligation = transition.effects.iter().find_map(|effect| match effect {
        CommsDrainLifecycleEffect::SpawnDrainTask { mode } => {
            Some(CommsDrainSpawnObligation { mode: *mode })
        }
        _ => None,
    });
    Ok(CommsDrainSpawnExecutionResult {
        effects: transition.effects,
        obligation,
    })
}

pub fn submit_task_spawned(
    authority: &mut CommsDrainLifecycleAuthority,
    _obligation: CommsDrainSpawnObligation,
) -> Result<Vec<CommsDrainLifecycleEffect>, CommsDrainLifecycleError> {
    let transition = authority.apply(CommsDrainLifecycleInput::TaskSpawned)?;
    Ok(transition.effects)
}

pub fn notify_task_spawned(
    authority: &mut CommsDrainLifecycleAuthority,
) -> Result<Vec<CommsDrainLifecycleEffect>, CommsDrainLifecycleError> {
    let transition = authority.apply(CommsDrainLifecycleInput::TaskSpawned)?;
    Ok(transition.effects)
}

pub fn submit_task_exited(
    authority: &mut CommsDrainLifecycleAuthority,
    _obligation: CommsDrainSpawnObligation,
    reason: DrainExitReason,
) -> Result<Vec<CommsDrainLifecycleEffect>, CommsDrainLifecycleError> {
    let transition = authority.apply(CommsDrainLifecycleInput::TaskExited { reason })?;
    Ok(transition.effects)
}

pub fn notify_task_exited(
    authority: &mut CommsDrainLifecycleAuthority,
    reason: DrainExitReason,
) -> Result<Vec<CommsDrainLifecycleEffect>, CommsDrainLifecycleError> {
    let transition = authority.apply(CommsDrainLifecycleInput::TaskExited { reason })?;
    Ok(transition.effects)
}