rsynko-memory 0.1.0

Deterministic in-memory interpreters for Rsynko specifications
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

use rsynko_x::*;

/// Asks about tweets by writing down the address that would be asked.
///
/// Nothing here reaches anywhere: a request is the address itself, which is what makes what a
/// tweet source decides before it asks anything readable without asking anything.
#[derive(Clone, Copy, Debug, Default)]
pub struct ReferenceXEnv;

/// Holds one file a tweet carries.
#[derive(Clone, Debug, PartialEq, Eq)]
pub struct XAttachment {
    identity: String,
    kind: AttachmentKind,
    address: String,
}

impl XSorts for ReferenceXEnv {
    type Request = String;
    type Attachment = XAttachment;
}

impl XRequestAlg for ReferenceXEnv {
    fn tweet_request(&self, address: impl Into<String>) -> String {
        address.into()
    }
}

impl XRequestViewAlg for ReferenceXEnv {
    fn request_address<'a>(&self, request: &'a String) -> &'a str {
        request
    }
}

impl XAttachmentAlg for ReferenceXEnv {
    fn attachment(
        &self,
        identity: impl Into<String>,
        kind: AttachmentKind,
        address: impl Into<String>,
    ) -> XAttachment {
        XAttachment {
            identity: identity.into(),
            kind,
            address: address.into(),
        }
    }
}

impl XAttachmentViewAlg for ReferenceXEnv {
    fn attachment_identity<'a>(&self, attachment: &'a XAttachment) -> &'a str {
        &attachment.identity
    }

    fn attachment_kind(&self, attachment: &XAttachment) -> AttachmentKind {
        attachment.kind
    }

    fn attachment_address<'a>(&self, attachment: &'a XAttachment) -> &'a str {
        &attachment.address
    }
}