is_forward_iterator.hpp

Go to the documentation of this file.

//
//  CeresEngine - A game development framework
//
//  Created by Rogiel Sulzbach.
//  Copyright (c) 2018-2022 Rogiel Sulzbach. All rights reserved.
//
 
#pragma once
 
#include "CeresEngine/Foundation/Traits/is_derived_from.hpp"
#include "CeresEngine/Foundation/Traits/is_incrementable.hpp"
#include "CeresEngine/Foundation/Traits/is_input_iterator.hpp"
#include "CeresEngine/Foundation/Traits/is_sentinel_for.hpp"
#include "CeresEngine/Foundation/Traits/iter_concept.hpp"
 
#include <type_traits>
 
namespace CeresEngine::traits {
 
    template<class I, class = void> struct is_forward_iterator : std::false_type {};
 
    template<class I>
    struct is_forward_iterator<I,
        std::enable_if_t<
            // clang-format off
            is_input_iterator_v<I> &&
            is_derived_from_v<iter_concept_t<I>, std::forward_iterator_tag> &&
            is_incrementable_v<I> &&
            is_sentinel_for_v<I, I>
            // clang-format on
            >> : std::true_type {};
 
    template<class I> bool constexpr is_forward_iterator_v = is_forward_iterator<I>::value;
 
    template<class I>
    concept forward_iterator = is_forward_iterator_v<I>;
 
} // namespace CeresEngine::traits