turnframe-test 0.1.2

Test kit for Turnframe: fixtures, scripted providers, fake stores, workflow exploration and replay assertions
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

//! Strategies for understandings grounded in a text: every word range is words of it.

use proptest::prelude::*;
use turnframe_core::ids::{OperationKey, TargetToken};
use turnframe_core::plan::AnswerBasis;
use turnframe_core::understanding::{
    ActAction, ActId, ActStatus, ActTarget, ConstraintKind, QuestionTopic, TurnConstraint,
    Understanding, UnderstoodAct, UnderstoodQuestion, UnitId, WordRange,
};
use turnframe_understand::{Span, Words};

use crate::strategies::ids::label;

/// A range of the words of `text`, or `None` for a text with no words.
#[must_use]
pub fn word_range(text: &str) -> Option<BoxedStrategy<WordRange>> {
    let words = Words::split(text);
    if words.is_empty() {
        return None;
    }
    let count = words.len();
    Some(
        (0..count, 0..count)
            .prop_map(move |(a, b)| {
                let span = Span::new(a.min(b), a.max(b));
                words
                    .range(span)
                    .unwrap_or_else(|_| unreachable!("indices are in range"))
            })
            .boxed(),
    )
}

/// An understanding of `text` with acts, questions and constraints on its words.
pub fn grounded_understanding(text: &str) -> BoxedStrategy<Understanding> {
    let Some(range) = word_range(text) else {
        return Just(Understanding::default()).boxed();
    };
    let act = (range.clone(), label(), label()).prop_map(|(words, operation, token)| {
        (
            words,
            OperationKey::from(operation),
            TargetToken::from(token),
        )
    });
    (
        proptest::collection::vec(act, 0..3),
        proptest::collection::vec(range.clone(), 0..2),
        proptest::collection::vec(range, 0..2),
    )
        .prop_map(|(acts, questions, constraints)| {
            let mut unit = 0u16;
            let mut next = || {
                unit += 1;
                UnitId(unit)
            };
            Understanding {
                acts: acts
                    .into_iter()
                    .map(|(words, operation, token)| UnderstoodAct {
                        id: ActId::new(next(), 1),
                        action: ActAction::Apply { operation },
                        target: ActTarget::Record { token },
                        arguments: std::collections::BTreeMap::new(),
                        words,
                        depends_on: Vec::new(),
                        status: ActStatus::Ready,
                    })
                    .collect(),
                questions: questions
                    .into_iter()
                    .map(|words| UnderstoodQuestion {
                        unit: next(),
                        words,
                        workflow: None,
                        record: None,
                        subjects: Vec::new(),
                        basis: AnswerBasis::CurrentCommittedState,
                        topic: QuestionTopic::default(),
                        continues_previous: false,
                    })
                    .collect(),
                constraints: constraints
                    .into_iter()
                    .map(|words| TurnConstraint {
                        unit: next(),
                        kind: ConstraintKind::DoNotSubmit,
                        words,
                    })
                    .collect(),
                ..Understanding::default()
            }
        })
        .boxed()
}