harmos-runtime 0.1.4

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

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

/* === Modules === */

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

pub use harmos_domain::inventory::contracts::Required;

/* === Imports === */

// Standard Library Imports

// Third Party Imports

// Local Imports
use super::{CallContext, Contract, Definition, OperationGeneration};
use crate::{Identifier, Result};

/* === Constants === */

/* === Macros === */

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

/* === Structs === */

// Borrow Original Live Provider Metadata; This Is Not Another Catalog.
pub struct Provider<'a> {
    pub owner: &'a Identifier,
    pub plugin: bool,
    pub generation: OperationGeneration,
    pub definition: &'a Definition,
    pub contract: &'a Contract,
}

/* === Enums === */

#[derive(Clone, Debug)]
pub enum Authorization {
    Full(Contract),
    Restricted(Required),
}

/* === Traits === */

// Synchronous, Bounded And Nonblocking. No Request Probing Or Role Inference.
// None Denies Access; Both Selections Must Match The Original Contract.
pub trait Authorizer: Send + Sync + 'static {
    fn authorize(&self, context: &CallContext, provider: Provider<'_>) -> Result<Option<Authorization>>;
}

/* === Implementations === */

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

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

/* === Tests === */