// {
// 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)
