AValidator.h

/*
 * AUI Framework - Declarative UI toolkit for modern C++20
 * Copyright (C) 2020-2025 Alex2772 and Contributors
 *
 * SPDX-License-Identifier: MPL-2.0
 *
 * This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/.
 */
 
#pragma once
 
#include <AUI/Common/AString.h>
#include <type_traits>
 
namespace aui::valid {
   struct validator {}; // flag class which marks class as a validator
 
   namespace impl {
       template<typename Validator1, typename Validator2>
       struct And: validator {
           template<typename T>
           bool operator()(T t) const noexcept {
               return Validator1()(t) && Validator2()(t);
           }
       };
 
       template<typename Validator1, typename Validator2>
       struct Or: validator {
           template<typename T>
           bool operator()(T t) const noexcept {
               return Validator1()(t) || Validator2()(t);
           }
       };
   }
 
   template<typename T>
   constexpr bool is_validator = std::is_base_of_v<validator, T>;
 
   template<typename Validator1, typename Validator2, std::enable_if_t<is_validator<Validator1> &&
                                                                       is_validator<Validator2>, bool> = true>
   auto operator||(Validator1 v1, Validator2 v2) noexcept {
 
       return impl::Or<Validator1, Validator2>();
   }
 
   template<typename Validator1, typename Validator2, std::enable_if_t<is_validator<Validator1> &&
                                                                       is_validator<Validator2>, bool> = true>
   auto operator&&(Validator1 v1, Validator2 v2) noexcept {
 
       return impl::And<Validator1, Validator2>();
   }

   template<auto lower, auto higher>
   struct in_range: validator {
       template<typename T>
       bool operator()(T t) const noexcept {
           return t >= lower && t <= higher;
       }
   };
 
   namespace chars {
       struct latin: validator {
 
           bool operator()(int c) const noexcept {
               return (c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z');
           }
       };

       struct numeric: validator {
           bool operator()(int c) const noexcept {
               return (c >= '0' && c <= '9');
           }
       };

       using latin_numeric = decltype(latin() || numeric());
   }
 
   namespace container {
       template<typename Validator>
       struct any: validator {
           Validator validator;
           any(Validator validator = {}): validator(std::move(validator)) {}
 
           template<typename Container>
           bool operator()(const Container& c) const noexcept {
               for (const auto& elem : c) {
                   if (validator(elem)) return true;
               }
               return false;
           }
       };

       template<typename Validator>
       struct all: validator {
           Validator validator;
           all(Validator validator = {}): validator(std::move(validator)) {}
 
           template<typename Container>
           bool operator()(const Container& c) const noexcept {
               for (const auto& elem : c) {
                   if (!Validator()(elem)) return false;
               }
               return true;
           }
       };
   }
 
 
   namespace string {

       using latin = aui::valid::container::all<chars::latin>;

       using numeric = aui::valid::container::all<chars::numeric>;

       using latin_numeric = aui::valid::container::all<chars::latin_numeric>;
   }
}

© 2025 AUI Framework Contributors. Documentation contributions included herein are the copyrights of their respective owners. The documentation provided herein is licensed under the terms of the GNU Free Documentation License version 1.3 as published by the Free Software Foundation. All trademarks are property of their respective owners.