harmos-runtime 0.1.7

Harmos runtime: managed state, undo, recovery, background work and typed streams.
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
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124

/* ***
 *
 * Harmos
 *
 * SPDX-License-Identifier: Apache-2.0
 *
 * ***
 */

/* === Modules === */

/* === Re-Exports === */

/* === Imports === */

// Standard Library Imports
use std::sync::Arc;
// Third Party Imports
use tokio::sync::OwnedSemaphorePermit;
// Local Imports
use super::OperationInstanceId;
use super::admission::Admission;
use super::caller::{Origin, Source};
use super::execution::{Body, Prepared};
use super::manager::Entry;
use crate::Result;
use crate::operations::OperationDeclaration;

/* === Constants === */

/* === Macros === */

/* === Type Aliases === */

type Prepare<O, P> = dyn Fn(
        (Request<<O as OperationDeclaration>::Request>, P),
        OperationInstanceId,
        Arc<crate::supervision::instance::Instance>,
        Arc<Entry>,
        Admission,
        Source,
        Origin,
        Option<OwnedSemaphorePermit>,
    ) -> Result<Prepared<super::Response<<O as OperationDeclaration>::Response>>>
    + Send
    + Sync;

/* === Structs === */

pub(super) struct Request<T> {
    pub(super) value: T,
    pub(super) retry: Option<super::RetryPolicy>,
    pub(super) lane: Option<&'static str>,
    pub(super) context: Arc<std::sync::OnceLock<super::CallContext>>,
    pub(super) retention: Option<super::RequestClaims>,
    pub(super) binding: Option<Arc<dyn std::any::Any + Send + Sync>>,
    pub(super) grant: Option<harmos_domain::plugin::Grant>,
    pub(super) key: Option<super::CacheKey>,
}

pub(super) struct Typed<O: OperationDeclaration, P = ()> {
    pub(super) prepare: Box<Prepare<O, P>>,
}

/* === Enums === */

/* === Traits === */

/* === Implementations === */

impl<T> From<T> for Request<T> {
    fn from(value: T) -> Self {
        Self {
            value,
            retry: None,
            lane: None,
            retention: None,
            binding: None,
            grant: None,
            key: None,
            context: Arc::new(std::sync::OnceLock::from(super::CallContext::default())),
        }
    }
}
impl<T> Request<T> {
    pub(super) fn owned(value: T, claims: super::RequestClaims) -> Self {
        Self {
            retention: Some(claims),
            ..Self::from(value)
        }
    }

    pub(super) fn charged(item: super::StreamItem<T>) -> Result<Self> {
        let (value, claims) = item.into_request()?;
        Ok(Self {
            value,
            retry: None,
            lane: None,
            retention: Some(claims),
            binding: None,
            grant: None,
            key: None,
            context: Arc::new(std::sync::OnceLock::from(super::CallContext::default())),
        })
    }
}

/* === Public Functions === */

pub(super) fn prepared<O>(entry: &Entry, id: OperationInstanceId, body: Box<dyn Body<O>>) -> Prepared<O> {
    Prepared {
        body,
        policy: entry.declared().policy,
        replay: entry.declared().replay,
        id,
        completed: None,
        refusal: None,
        middleware: None,
    }
}

/* === Private Functions === */

/* === Tests === */