// {
#include <boost/assert.hpp>
#include <optional>
#include <set>
#include <string>
#include <variant>
// likely part of C++20
template <class... Ts>
struct overloaded : Ts... {
using Ts::operator()...;
};
template <class... Ts>
overloaded(Ts...)->overloaded<Ts...>;
// }
// given
bool send_mail(std::string recipient, std::string token) {
return true;
}
// end given
enum class UserLevel { logged_out, normal, admin };
struct AuthConfig {
std::set<std::string> users;
std::set<std::string> admins;
};
class AuthenticationProcedure {
private:
struct LoggedOut {};
struct TokenRequested {
std::string token;
std::string email;
};
struct LoggedIn {
std::string email;
};
using State = std::variant<LoggedOut, TokenRequested, LoggedIn>;
public:
struct VisibleState {
UserLevel level;
std::optional<std::string> email;
};
enum class LoginResult { success, failure };
enum class RequestTokenResult { mail_sent, mail_send_error, not_authorized };
explicit AuthenticationProcedure(AuthConfig config)
