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
|
//
// 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>
//
#pragma once
#include "item.hpp"
#include <filesystem>
#include <immer/flex_vector.hpp>
namespace todo {
struct model
{
immer::flex_vector<item> todos;
};
struct add_todo_action
{
std::string text;
};
using model_action =
std::variant<add_todo_action, std::pair<std::size_t, item_action>>;
model update(model m, model_action a);
void save(const std::string& fname, model todos);
model load(const std::string& fname);
} // namespace todo
LAGER_STRUCT(todo, model, todos);
|
