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
|
//
// lager - library for functional interactive c++ programs
// Copyright (C) 2017 Juan Pedro Bolivar Puente
//
// This file is part of lager.
//
// lager is free software: you can redistribute it and/or modify
// it under the terms of the MIT License, as detailed in the LICENSE
// file located at the root of this source code distribution,
// or here: <https://github.com/arximboldi/lager/blob/master/LICENSE>
//
#include <catch2/catch.hpp>
#include <lager/event_loop/manual.hpp>
#include <lager/setter.hpp>
#include <lager/store.hpp>
TEST_CASE("combine setter with store")
{
auto store = lager::make_store<int, lager::transactional_tag>(
0,
lager::with_manual_event_loop{},
lager::with_reducer([](int s, int a) { return a; }));
auto cursor =
store.xform(zug::identity).setter([&](int x) { store.dispatch(x); });
CHECK(cursor.get() == 0);
store.dispatch(42);
CHECK(cursor.get() == 0);
lager::commit(store);
CHECK(store.get() == 42);
CHECK(cursor.get() == 42);
cursor.set(5);
CHECK(cursor.get() == 42);
CHECK(store.get() == 42);
lager::commit(store);
CHECK(cursor.get() == 5);
CHECK(store.get() == 5);
}
TEST_CASE("combine automatic setter with store")
{
auto store = lager::make_store<int, lager::transactional_tag>(
0,
lager::with_manual_event_loop{},
lager::with_reducer([](int s, int a) { return a; }));
auto cursor =
store.xform(zug::identity).setter<lager::automatic_tag>([&](int x) {
store.dispatch(x);
});
CHECK(cursor.get() == 0);
store.dispatch(42);
CHECK(cursor.get() == 0);
lager::commit(store);
CHECK(store.get() == 42);
CHECK(cursor.get() == 42);
cursor.set(5);
CHECK(cursor.get() == 5);
CHECK(store.get() == 42);
lager::commit(store);
CHECK(cursor.get() == 5);
CHECK(store.get() == 5);
}
|
